Embedded

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...

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

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

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

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

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

ucgosu.pl 8 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 8 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 8 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ż...

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

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