Building high-integrity distributed systems with Ravenscar restrictions
Santiago Urueña, Juan Zamorano · ACM SIGAda Ada Letters · 2007
The Ravenscar profile was a qualitative leap in the development of single-processor hard real-time systems with certification requirements. But nowadays more and more safety-critical systems are distributed, so a new Ada profile is needed for multi-node applications. This work discusses the restrictions and additions to the language needed to certify and obtain the required predictability and timeliness in a high-integrity hard real-time Ada distributed application.