Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems

Authors:
M. Bordin;M. Panunzio;S. Puri
Affiliations:
AdaCore, Paris;-;-
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 4
Cited 0

Ada 2005 code patterns for metamodel-based code generation

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Fitting Schedulability Analysis Theory into Model-Driven Engineering

ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
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
A metamodel-driven process featuring advanced model-based timing analysis

Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-driven technologies offer a most attractive framework for rapid, iterative software development cycles by facilitating a productive merge of high-level modeling with automated model transformation and verification. In the high- integrity application domain it is of paramount importance to assure semantics preservation across each view of the system produced as part of the development process, most notably the design model, the analysis model, the executable. In this short paper we present a toolset that assures the preservation of properties of interest across all stages of an MDE-geared development.