Embedded

Problemy z architekturą w systemach embedded

ucgosu.pl 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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....

Code review – prosty sposób na poprawienie jakości...

ucgosu.pl 5 lat temu O code review napisano już całkiem sporo. W internecie można znaleźć dokładne opisy jak powinny wyglądać, jakie dają efekty, czy ile kodu sprawdzać na raz. Dlatego nie będę dokładnie analizować tych aspektów. Zamiast tego krótko opiszę najważniejsze ...

Wielka korporacja, czy mała firma?

ucgosu.pl 5 lat temu Ostatnio czytałem książkę „Mit przedsiębiorczości”, która mówi, iż każda firma od samego początku powinna mieć jasno określoną strukturę i dobrze zdefiniowane procesy. Skłoniło mnie to do refleksji jaki wpływ takie procesy mają na mnie jako pracownik...