AdaCore’s Paris division was contracted by the European Space Agency to develop a high‑integrity software development kit for creating mission‑ and safety‑critical satellite systems. The ESA required support for the Ravenscar profile, a refined subset of Ada designed to enable real‑time features in a provably safe manner. A key element of the new kit was its target run‑time environment, which managed all aspects of executing applications. To meet ESA’s demanding quality standards, AdaCore placed strong emphasis on rigorous testing and reliability throughout the system’s development.

Join for free to read