Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An Open Ravenscar Real-Time Kernel for GNAT
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
A Formal Model of a Run-Time Kernel for Ravenscar
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Formal development of a real-time kernel
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Eclipse Modeling Framework
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
A Generative Approach to Building a Framework for Hard Real-Time Applications
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
On the Timed Automata-Based Verification of Ravenscar Systems
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
On the Timed Automata-Based Verification of Ravenscar Systems
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |
The 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 language standard. Here we describe the operational semantics for Ada Ravenscar code generated automatically from an architecture description of the system given in the Architecture Analysis and Design Language.