Embedded SPARK and Ada Use Cases

Multiple Authors

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.