AdaCore Technologies for Space Systems Software

Benjamin M. Brosgol & Jean-Paul Blanquart

Software development presents daunting challenges when the resulting system needs to operate reliably, safely, and securely while meeting hard real-time deadlines on a memory-limited target platform. Correct program execution can literally be a matter of life and death, but such is the reality facing developers of space software systems.

This book explains how the Ada and SPARK programming languages, together with AdaCore’s products, can reduce system life cycle costs and facilitate conformance with applicable software certification / qualification standards.