Affiliation:
1. Technical University of Madrid (UPM), Boadilla del Monte, Spain
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference25 articles.
1. Ada Rapporteur Group. Ada Issue 249 --- Ravenscar profile for high-integrity systems. Ada Letters XXV(3) September 2005. Ada Rapporteur Group. Ada Issue 249 --- Ravenscar profile for high-integrity systems. Ada Letters XXV(3) September 2005.
2. Ada Issue 208 --- What is the meaning of "same representation" in all partitions? August 1999. Ada Issue 208 --- What is the meaning of "same representation" in all partitions? August 1999.
3. The Ravenscar Profile and implementation issues (session summary)
4. Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献