Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ADAEUROPE
2008
Springer

favoriteEmaildiscussreport

87views Software Engineering» more ADAEUROPE 2008»

Operational Semantics of Ada Ravenscar

13 years 11 months ago

Operational Semantics of Ada Ravenscar

Download www.infres.enst.fr

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 deﬁnition which has incorporated the Ravenscar Proﬁle 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.

Irfan Hamid, Elie Najm

Real-time Traffic

Ada 2005 Language | Ada Programming Language | Ada Ravenscar Code | ADAEUROPE 2008 | Software Engineering |

claim paper

Related Content

» Charles A Data Structure Library for Ada95

» Speedingup Multirobot Exploration by Considering Semantic Place Information

» MATOU An Implementation of ModeAutomata

» Design and implementation of a comprehensive realtime java virtual machine

Post Info
More Details (n/a)

Added	01 Jun 2010
Updated	01 Jun 2010
Type	Conference
Year	2008
Where	ADAEUROPE
Authors	Irfan Hamid, Elie Najm

Comments (0)