Operational Semantics of Ada Ravenscar

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.

• Type: Conference
• Year: 2008
• Where: ADAEUROPE
• Authors: Irfan Hamid, Elie Najm
• Keywords: Ada 2005 Language, Ada Programming Language, Ada Ravenscar Code, ADAEUROPE 2008, Software Engineering