-
Data: 2015-06-13 23:29:32
Temat: Książka: Ada and SPARK on ARM Cortex-M
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Z przyjemnością informuję, że coś, co jakiś czas temu powstało jako tutorial nt.
użycia Ady na mikrokontrolerach ARM Cortex-M, zostało rozszerzone do postaci
kompletnej książki:
http://www.lulu.com/shop/maciej-sobczak/ada-and-spar
k-on-arm-cortex-m/paperback/product-22195745.html
Cała treść jest nadal dostępna on-line:
http://inspirel.com/articles/Ada_On_Cortex.html
Tutorial został rozbudowany o praktyczne przykłady w SPARKu, który pozwala statycznie
udowodnić, że program nie powoduje sytuacji wyjątkowych w czasie wykonania. Płytka
Arduino Due została wykorzystana jako baza do wszystkich przykładów, ale ponieważ
książka pokazuje jak można do wszystkich konstrukcji dojść od podstaw, to da się ją
zastosować również z innymi płytkami albo innymi mikrokontrolerami Cortex-M.
Wszelkie uwagi mile widziane.
--
Maciej Sobczak * http://www.inspirel.com
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-10-18 Gdańsk => Technical Lead ( (Java Background)) <=
- 2024-10-18 Warszawa => Head of International Freight Forwarding Department <=
- 2024-10-18 uwazajmy na haczyki w umowach
- 2024-10-18 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2024-10-18 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-10-18 Gdańsk => Software .Net Developer <=
- 2024-10-18 Warszawa => Junior Rekruter <=
- 2024-10-18 Warszawa => Key Account Manager <=
- 2024-10-18 Przeróbka na zgrzewarkę "równoległą"
- 2024-10-18 Ostrów Wielkopolski => Laravel PHP Developer <=
- 2024-10-18 Warszawa => Data Scientist / Data Engineer (modele predykcyjne) <=
- 2024-10-18 doładowania 5zł
- 2024-10-17 Prośba o identyfikację komponentu
- 2024-10-17 Warszawa => Expert Recruiter 360 <=
- 2024-10-17 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=