-
1. Data: 2015-06-13 23:29:32
Temat: Książka: Ada and SPARK on ARM Cortex-M
Od: Maciej Sobczak <s...@g...com>
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