Automated Model-Based Generation of Ravenscar-Compliant Source Code

Authors:
Matteo Bordin;Tullio Vardanega
Affiliations:
University of Padua;University of Padua
Venue:
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Year:
2005

Citing 0
Cited 12

Real-time Java from an automated code generation perspective

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
From the prototype to the final embedded system using the Ocarina AADL tool suite

ACM Transactions on Embedded Computing Systems (TECS)
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Requirements on the Target Programming Language for High-Integrity MDE

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Correctness by construction for high-integrity real-time systems: a metamodel-driven approach

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Generating distributed high integrity applications from their architectural description

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
From MDD to full industrial process: building distributed real-time embedded systems for the high-integrity domain

Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Temporal isolation with the ravenscar profile and Ada 2005

ACM SIGAda Ada Letters
Preservation of timing properties with the ada ravenscar profile

Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
A UML2 profile for reusable and verifiable software components for real-time applications

ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Gem #89

ACM SIGAda Ada Letters
Charting the evolution of the Ada Ravenscar code archetypes

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with as much success to automated source code generation. Several hurdles cause the model-to-code translation to often lapse in the preservation of the desired semantics. This paper illustrates the choices we have made to provide the HRT-UML design method with an automated Ravenscar-compliant source code generation engine. Compliance with the Ravenscar computational model warrants static analysability of the source code and predictability of execution. By elevating this compliance to the design stage, we earn semantic preservation across the whole development process.