Maciej Gajdzica / GAndaLF - ucgosu.pl
Robotyka, Embedded, C
Ostatnio opublikowane artykuły
Ravenscar i ZFP – czyli profile runtime w Adzie
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 dużo lepsze niż w innych językach, z którymi miałem do czynienia, ponieważ blokuje użycie niechcianych konstrukcji już na poziomie kompilacji. Artykuł […]
Unit testy w Adzie
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 sprawdzania poprawności działania systemu. Co więcej normy dotyczące systemów safety-critical często nakazują wykorzystanie unit testów i osiągnięcie odpowiedniego pokrycia kodu. […]
Ada na STM32
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ć. Zobaczymy też sobie kilka cech Ady ważnych z punktu widzenia embedded jak na przykład deklarowanie zmiennych […]
Mój pierwszy program w Adzie
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 kilka podstawowych “ficzerów” Ady Artykuł powstał w ramach “Tygodnia z Adą” podczas którego od poniedziałku do […]
Ada – najlepszy język do systemów safety-critical
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 książki o Adzie. Po ich lekturze nabrałem przekonania, że więcej systemów (nie tylko safety-critical) powinno powstawać w […]
Ostatnio opublikowane filmy
Micromouse - test regulatora prędkości obrotowej
Więcej info o regulatorze: http://ucgosu.pl/2018/07/zmiany-w-regulatorze-predkosci-katowej/
Lista repozytoriów
| Nazwa | Data utworzenia | Ostatnia aktualizacja |
|---|---|---|
| tdd_cyclic_buffer | 4 weeks ago | 4 weeks ago |
| cmsis-nn-example | 1 month ago | 1 month ago |
| assembly_line | 1 month ago | 1 month ago |
| solwit_space_robot | 6 months ago | 4 months ago |
| stm32f4_template | 2 years ago | 6 months ago |
| mm_legend_v2 | 2 years ago | 9 months ago |
| libfloatmatrix | 1 year ago | 1 year ago |
| robot_simulation | 1 year ago | 1 year ago |
| mocklib | 1 year ago | 1 year ago |
| tdd_embedded_basic | 1 year ago | 1 year ago |
| motor_music | 2 years ago | 2 years ago |
| crc | 2 years ago | 2 years ago |