Abstract
This AI moves existing restriction identifiers to Annex J, and modifies the definition of the Ravenscar profile. It also completes the definition of the Ravenscar profile by including new restrictions that concern new features of the language.
Index Terms
Ada Issue 00394: redundant restriction identifiers and completing Ravenscar definition
Recommendations
Operational Semantics of Ada Ravenscar
Ada-Europe '08: Proceedings of the 13th Ada-Europe international conference on Reliable Software TechnologiesThe Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has incorporated the Ravenscar Profile for high-integrity systems into the ...
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
Ada-Europe '99: Proceedings of the 1999 Ada-Europe International Conference on Reliable Software TechnologiesThe definition of the Ravenscar Tasking Profile for Ada95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description of the model. The complete model of the Protected Object ...
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe Distributed Systems Annex (DSA) was designed for general-purpose distributed systems programming. This paper explores the practical use of the DSA in terms of high-integrity real-time distributed systems. In particular, it defines a high-integrity ...






Comments