Embedded

Co serial Czarnobyl ma wspólnego ze sztuczną intel...

ucgosu.pl 6 lat temu Ostatnio nie miałem weny na pisanie o technicznych tematach (co widać po ostatnim braku aktywności). Dlatego dzisiejszy wpis będzie się mocno różnił od ostatnich. Punktem wyjścia będzie dla mnie bijący ostatnio rekordy popularności serial „Czarnobyl”...

Interfejsy w C

ucgosu.pl 6 lat temu Poprzednio pisałem o obiektowości w C, dzisiaj kolej na kolejny wzorzec zapożyczony z języków wyższego poziomu – interfejsy. W tym artykule opiszę jak je implementować w C i jakie dzięki temu możemy odnieść korzyści. Do czego służą interfejsy? W...

Jak uzyskać obiektowość w C?

ucgosu.pl 6 lat temu W języku C nie mamy czegoś takiego jak klasy. o ile chcemy pisać programy w sposób obiektowy musimy wykorzystać w tym celu struktury i funkcje. Traktowanie modułów większego systemu jako obiektów zawierających pewne dane i umożliwiających operacje na...

Generowanie plików runtime Ady – część 2

ucgosu.pl 6 lat temu W poprzednim wpisie opisałem proces generowania runtime Ady dla STM32F401. Myślałem, iż to już koniec przeprawy z konfiguracją, ale okazuje się, iż nie. Pliki wygenerowane zgodnie z instrukcją z poprzedniego postu wymagają jeszcze małej modyfikacji. ...

Generowanie plików runtime Ady dla mikrokontroleró...

ucgosu.pl 6 lat temu Po zainstalowaniu toolchaina GNAT dla ARMów otrzymujemy wsparcie jedynie dla niewielkiej liczby procesorów. Aby wygenerować pliki runtime dla innych, musimy skorzystać ze skryptów dostępnych w repozytorium bb-runtimes od AdaCore. Ostatnio potrzebował...

Typy limited w Adzie

ucgosu.pl 6 lat temu Mimo, iż „Tydzień z Adą” już się skończył, temat tego języka będzie się jeszcze przez jakiś czas przewijał. Jako, iż w internecie dosyć trudno znaleźć informacje choćby na temat wydawałoby się dosyć podstawowych konstrukcji języka, będę tutaj opisywa...

Ravenscar i ZFP – czyli profile runtime w Adzie

ucgosu.pl 6 lat temu Dzisiaj zgłębię temat profili runtime’owych w Adzie. Pozwalają one określić z jakich funkcji języka możemy korzystać w projekcie. Dzięki temu mamy lepszą kontrolę nad zużyciem pamięci, wydajnością i bezpieczeństwem aplikacji. Rozwiązanie w Adzie jest...

Unit testy w Adzie

ucgosu.pl 6 lat temu Ada została wymyślona jako język, w który swoją składnią utrudnia popełnianie błędów. Dlatego część przypadków sprawdzanych zwykle przez unit testy w Adzie w ogóle się nie skompiluje. Jednak mimo wszystko unit testy pozostają ważnym elementem sprawdz...

Ada na STM32

ucgosu.pl 6 lat temu Po pierwszych próbach z Adą na PC, pora uruchomić ją na mikrokontrolerze. W tym celu posłużę się płytką STM32F4DISCO. W dzisiejszym odcinku dowiesz się, czy trudno jest zacząć z Adą na STM32 i jakimi gotowymi bibliotekami możesz się wspomagać....

Mój pierwszy program w Adzie

ucgosu.pl 6 lat temu Mamy już za sobą wprowadzenie do języka Ada. Pora więc coś w niej napisać. W tym artykule pokażę całą drogę od instalacji toolchaina aż do napisania pierwszego programu – kolejki FIFO opartej na buforze cyklicznym. W trakcie implementacji poznamy...

Ada – najlepszy język do systemów safety-critical

ucgosu.pl 6 lat temu Ada to najbardziej zalecany język do systemów safety-critical. Zainteresowałem się nim bardziej już jakiś czas temu, ale do tej pory nie było okazji się w niego bardziej zagłębić. Sytuacja zmieniła się podczas Embedded World, kiedy to otrzymałem dwie...

Wiosenne konferencje – SegFault University, Boilin...

ucgosu.pl 6 lat temu Ostatnie tygodnie upłynęły mi pod znakiem konferencji. Byłem w Gdańsku na SegFault University, we Wrocławiu na Boiling Frogs i w Warszawie na 4Developers. A wcześniej jeszcze w Norynberdze na Embedded World, co już zdążyłem opisać na blogu. Na trzech...

Jakość systemu – prezentacje z Embedded World

ucgosu.pl 7 lat temu Pod koniec lutego byłem na targach i konferencji Embedded World 2019. Poza relacją z samego wydarzenia (do przeczytania pod tym linkiem) postanowiłem opisać tematy poruszane na prezentacjach z części konferencyjnej. Było już więc o Embedded Security ...

Embedded World – prezentacje o RTOSach

ucgosu.pl 7 lat temu Podczas Embedded World jednym z często powtarzających się tematów były systemy operacyjne czasu rzeczywistego, czyli RTOSy. Nie zabrakło także Linuxa. W tym wpisie opiszę kilka prezentacji na ten temat. Jakob Benningo – „42 Reasons Using FreeRTOS Sho...

Embedded Security – wprowadzenie

ucgosu.pl 7 lat temu Podczas Embedded World 2019 dużo miejsca poświęcono tematowi Embedded Security. To wyraźne odwrócenie trendu ignorowania problemów podatności i zabezpieczeń tego typu systemów, które dominowało do tej pory. Na pewno duży wpływ na to ma rozwój Interne...

Embedded World 2019 – relacja

ucgosu.pl 7 lat temu W dniach 26-28 lutego byłem w Norynberdze na targach i konferencji Embedded World 2019. Jest to jedno z największych wydarzeń tego typu w Europie. Na liście mailingowej oraz w social mediach pisałem już co nieco na ten temat. Teraz...

Jak uczyć się systemów embedded?

ucgosu.pl 7 lat temu Po ostatnim artykule, gdzie opisałem, co trzeba umieć do pierwszej pracy, dostałem od Was pytania jak zdobyć wymaganą wiedzę. Z jakich kursów korzystać? Jakie książki czytać? Jakie projekty robić? Od czego zacząć? W tym wpisie znajdziesz odpowiedź na...

Co musisz umieć do pierwszej pracy w embedded?

ucgosu.pl 7 lat temu Pytania o wymagania na pozycję junior developera są bardzo popularne. Dotyczą one zwykle frontendu, Javy, czy C# i w internecie można znaleźć na ten temat już całkiem sporo, o embedded natomiast takich informacji brakuje. Są osoby, które traktują sys...

Wzorce projektowe przydatne w systemach embedded

ucgosu.pl 7 lat temu Wzorce projektowe są bardzo popularnym tematem wśród programistów. Zwykle rozmawia się o nich w kontekście języków obiektowych i dużych systemów. Jednak podobnie jak z innymi zagadnieniami dotyczącymi architektury – część wzorców da się z powodzeniem...

Ewolucja architektury

ucgosu.pl 7 lat temu Dobra architektura nie powstaje od razu. Jest ona raczej wypracowana na bazie różnych doświadczeń. Jednak w większości systemów jest ona określana na sztywno na samym początku, kiedy jeszcze nie mamy wystarczającej wiedzy, aby zrobić ją dobrze. Jest ...

Podstawy architektury embedded – warstwy i moduły

ucgosu.pl 7 lat temu Z czego składa się architektura? Z modułów i warstw. To jest intuicyjny podział wynikający z potrzeby dzielenia złożonych problemów na mniejsze i grupowania podobnych zadań. Jednak o ile co do samego istnienia warstw i modułów nikt nie ma zastrzeżeń,...

Problemy z architekturą w systemach embedded

ucgosu.pl 7 lat temu W systemach embedded zwykle skupiamy się na niskopoziomowych interakcjach ze sprzętem. Poznajemy nowe interfejsy, wykorzystujemy kolejne zewnętrzne układy i wykorzystujemy nowe rodziny procesorów. Jednak to z czym sobie naprawdę nie radzimy to poskro...

Distortos – pierwsze kroki

ucgosu.pl 7 lat temu Distortos to system operacyjny czasu rzeczywistego (RTOS) napisany w C++ z myślą o procesorach ARM Cortex-M, a szczególnie STM32. Pisałem już o nim przy okazji ciekawych projektów C++ Embedded i łazika na NASA Space Apps. Aplikacja na STM w...

Catch2 – framework testowy C++ wspomagający BDD

ucgosu.pl 7 lat temu Ostatnio trochę eksperymentowałem z nowym frameworkiem do unit testów – Catch2. Główną różnicą od innych frameworków takich jak CppUTest czy GoogleTest jest rezygnacja z grup testowych na rzecz struktury Given-When-Then wspierającej Behavior Driven D...

Ile kosztuje system safety-critical?

ucgosu.pl 7 lat temu Zwykle przyjmujemy, iż koszt wytworzenia systemu safety-critical spełniającego wymagane normy jest dziesięciokrotnie wyższy, niż zwykły projekt posiadający te same wymagania funkcjonalne. Po przeczytaniu poprzednich części serii powinniście mieć całk...

SOUP – Wykorzystanie zewnętrznego softu w safety-c...

ucgosu.pl 7 lat temu W większości projektów, gdy mamy możliwość wykorzystania jakiegoś istniejącego rozwiązania, w ogóle się nie zastanawiamy. Dużo publicznego kodu znajdziemy na GitHubie, a w JavaScripcie wychodzi tyle nowych bibliotek, iż są one choćby częścią pijackie...

Analiza ryzyka w systemach safety-critical

ucgosu.pl 7 lat temu Było już o technikach wykorzystywanych na poziomie projektu i kodu oraz o wpływie języka programowania na bezpieczeństwo. Dzisiaj odpowiemy sobie na pytanie w jaki sposób zarządzać ryzykiem, wykrywać potencjalnie niebezpieczne zachowania i dodawać od...

Języki programowania w safety-critical

ucgosu.pl 7 lat temu W poprzednim artykule opisywałem ogólne techniki zalecane przy developmencie systemów safety-critical. Dzisiaj natomiast przyjrzymy się bliżej zaleceniom dotyczącym języków programowania. Wiemy już, iż język używany w tego typu systemach powinien być...

Techniki zalecane przy tworzeniu systemów safety-c...

ucgosu.pl 7 lat temu Jak wspomniałem w poprzednim wpisie, normy definiują różne poziomy bezpieczeństwa w zależności od możliwych skutków błędnego działania systemu. Tym poziomom odpowiadają konkretne wskaźniki statystyczne. O ile sprawdzają się one w przypadku układów ps...

Podcast, artykuł i newsletter

ucgosu.pl 7 lat temu Ostatnio byłem gościem Grzegorza z devsession.pl w podcaście „Ja, programista”, gdzie rozmawialiśmy o systamach embedded: Ja, programista – Maciej Gajdzica – systemy Embedded Ukazał się również mój gościnny artykuł na Forbot.pl o różnicach między pis...

Poziomy bezpieczeństwa w systemach safety-critical...

ucgosu.pl 7 lat temu Nie każdy system jest tak samo krytyczny dla bezpieczeństwa. choćby o ile wiele różnych systemów znajduje się na przykład w samolocie, nie oznacza to, iż każdy z nich został wykonany wykorzystując tak samo rygorystyczne techniki. W końcu inaczej pode...

V-model – proces wytwarzania systemów safety-criti...

ucgosu.pl 7 lat temu Analiza błędnie działających systemów safety-critical takich jak Therac-25, czy Ariane-5, a także doświadczenie z wielu projektów zakończonych sukcesem doprowadziły do konkluzji, iż same umiejętności inżynierów to za mało, aby zapewnić niezawodność s...

Łazik z NASA Space Apps Challenge – szczegóły tech...

ucgosu.pl 7 lat temu Ostatnio pisałem relację z NASA Space Apps Challenge. Dzisiaj pora na trochę szczegółów technicznych dotyczących naszej konstrukcji. Wybraliśmy temat „Can you build a …” i podtemat „Make Sense Out of Mars”. Celem było stworzenie sensora, który mógłby...

NASA Space Apps Challenge 2018

ucgosu.pl 7 lat temu W ostatni weekend brałem udział w NASA Space Apps Challenge. Jest to hackaton NASA organizowany jednocześnie w wielu miejscach na świecie. Polska edycja miała miejsce w Gdańsku w Parku Naukowo-Technologicznym. Zebraliśmy ekipę z pracy i postanowiliśm...

4Developers Gdańsk 2018

ucgosu.pl 7 lat temu W ostatnim tygodniu września byłem jeszcze na jednej konferencji przed opisywanym ostatnio Programistokiem – na 4Developers Gdańsk, która odbyła się we wtorek 25 września. Był to dla mnie debiut w roli prelegenta. Moja prezentacja o systemach safety-...

Programistok 2018 – relacja

ucgosu.pl 7 lat temu Już ponad tydzień minął od Programistoku (28-29.09.2018) było to dla mnie przełomowe wydarzenie, dlatego wymaga odpowiedniej relacji 🙂 Wiele się nasłuchałem o fantastycznej atmosferze tego wydarzenia i chciałem koniecznie pojechać. Rzuciłem się od ra...

Kod zniżkowy na 4Developers Gdańsk

ucgosu.pl 7 lat temu Już 25 września występuję na 4Developers Gdańsk z prezentacją „Kiedy od softu zależy ludzkie życie – o systemach safety-critcal”. Z tej okazji mam dla Was zniżkę 15% na bilet. Wystarczy podczas rejestracji użyć kodu: amozenadmorze? Na 4Developers Gda...

Ariane 5 – int overflow, który wysadził w powietrz...

ucgosu.pl 7 lat temu Dzisiaj opowieść o kolejnym znanym bugu, który miał ogromne konsekwencje. Podobnie jak w przypadku Therac-25, analiza katastrofy rakiety Ariane 5 przyczyniła się do poprawy procesów wytwarzania systemów safety-critical. Jak wyglądał pierwszy lot Aria...

Therac-25, czyli błąd w sofcie medycznym powodując...

ucgosu.pl 7 lat temu W dzisiejszym wpisie omawiam najbardziej znany przypadek błędu systemu safety-critical z branży medycznej prowadzący do ciężkich obrażeń i śmierci pacjentów. Został on wnikliwie przeanalizowany teraz służy jako case study w różnego rodzaju materiała...

Piramida testów – do czego służą poszczególne pozi...

ucgosu.pl 7 lat temu W tym artykule odpowiemy sobie na pytanie jakie rodzaje testów powinniśmy wykonywać i w jakich proporcjach. Pomoże nam w tym piramida testów, czyli prosta graficzna reprezentacja ilości testów, kosztu ich utrzymania i szybkości wykonywania. Opiszemy ...

Zmiany na blogu

ucgosu.pl 7 lat temu W ostatnim czasie blog przechodzi zmiany. Duża część z nich nie rzuca się w oczy. Między innymi poprawiłem bezpieczeństwo, przyspieszyłem wczytywanie strony, zainstalowałem nowe pluginy, zacząłem ułatwiać dostęp do najważniejszych wpisów, a choćby zw...

Czy na pewno stać Cię na oszczędności w projekcie?...

ucgosu.pl 7 lat temu Ostatnio na portalu embedded.com zaczęła pojawiać się seria artykułów omawiających 10 najczęstszych problemów w projektach embedded napisana przez Jacka Gannsle. Pierwszym omówionym zagadnieniem były złudne oszczędności (link tutaj). Czytając artyku...

Maksymalne wartości zmiennych – biblioteki limits....

ucgosu.pl 7 lat temu Ostatnio straciłem pół dnia poprawiając wiele pozornie nie powiązanych ze sobą błędy w unit testach. Dokonana przeze mnie zmianie polegała w uproszczeniu na zmianie w kilku miejscach typu zmiennej z uint16_t na int32_t. Jak nietrudno się domyślić, pr...

Woodstock, karcianka IT Startup i konferencje

ucgosu.pl 7 lat temu Ostatnio przez długi czas na blogu panowała cisza spowodowana oczywiście wakacjami. Jednak powoli już wracam do codziennej rzeczywistości, a więc także i do regularnego zamieszczania nowych wpisów. Na początek jeszcze będzie trochę ogórkowo, ponieważ...

Poprawienie dokładności regulacji silników

ucgosu.pl 7 lat temu Pokazany w poprzednim wpisie filmik obrazował jak wyrobiły się otwory w mocowaniu silnika z drukarki 3D. W sumie można się było tego spodziewać, w końcu te tworzywa nie są super wytrzymałe, a ja używam je już od roku. W...

Działający regulator i problem z mocowaniem silnik...

ucgosu.pl 7 lat temu Wprowadziłem zmiany opisane w poprzednim wpisie i wyniki są wręcz niewiarygodne. Testy pokrywają się z obliczeniami teoretycznymi i symulacją! Działanie nowego regulatora ruchu obrotowego możecie obejrzeć na filmiku: Program testowy po naciśnięciu pr...

Zmiany w regulatorze prędkości kątowej

ucgosu.pl 7 lat temu Po wyeliminowaniu błędów w PID opisanych w poprzednim artykule, mogłem przejść do kolejnych poprawek w module silników. Moją uwagę przykuł regulator prędkości kątowej. Postanowiłem wprowadzić w nim zmiany, aby zwiększyć precyzję obrotu robota i zwięk...

Błędy w regulatorze silników

ucgosu.pl 7 lat temu Dobry regulator prędkości silników jest niezbędny do nawigacji w labiryncie. Robot powinien być w stanie zarówno robić małe skręty podczas jazdy w celu korekty ustawienia oraz skręty o 45, 90 i 180 stopni podczas eksploracji labiryntu i speed runu......

Unit testy funkcji statycznych w C

ucgosu.pl 7 lat temu W idealnym świecie nie testujemy szczegółów implementacyjnych jakimi są funkcje statyczne. To samo tyczy się prywatnych pól i metod klasy w językach obiektowych. Zamiast tego piszemy testy dla publicznego API i z pomocą odpowiednich mocków jesteśmy w...

Jak testować nieskończone pętle?

ucgosu.pl 7 lat temu Częstą wymówką, aby nie pisać unit testów jest „Tego kodu nie da się przetestować.”, otóż zwykle jednak się da, tylko trzeba chwilę pomyśleć jak się do tego zabrać. Jednym z takich trudniejszych przypadków jest testowanie nieskończonych pętli. W tym....