Embedded SPARK and Ada Use Cases
This book is a sampling of AdaCore blogs, including some of our
engineers’ ARM project creations! They illustrate how embedded
system developers can take advantage of Ada’s benefits in software
reliability, early error detection, code readability, and maintainability
while still satisfying performance requirements.
The blogs were written by Raphaël Amiard, Jonas Attertun, Arnaud Charlet, Fabien Chouteau, Tristan Gingold, Anthony Leonardo Gracio, Johannes Kanig, Jérôme Lambourg, Yannick Moy, Jorge Real, J. German Rivera, Pat Rogers and Rob Tice.
For more blogs, visit our AdaCore Blog Page http://blog.adacore.com.