A Model-Based Framework for Developing Real-Time Safety Ada Systems

This paper describes an MDE framework for real-time systems with safety requirements. The framework is based on industry standards, such as UML 2.2, MARTE, and the Ada Ravenscar profile. It integrates pre-existing technology with newly developed tools. Special care has been taken to ensure consistency between models and final code. Temporal analysis is integrated in the framework in order to ensure that the real-time behaviour of the models and the final code is consistent and according to the specification.

[1]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[2]  Erhard Plödereder,et al.  Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 , 2007, Lecture Notes in Computer Science.

[3]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[4]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[5]  Miguel A. de Miguel,et al.  Model-based development for RTSJ platforms , 2012, JTRES '12.

[6]  Emilio Salazar,et al.  Design of On-Board Software for an Experimental Satellite ∗ , 2013 .

[7]  Jérôme Hugues,et al.  The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. , 2010 .

[8]  Fabrice Kordon,et al.  Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings , 2007, Ada-Europe.

[9]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[10]  Alan Burns,et al.  The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.

[11]  Alfred Strohmeier,et al.  Reliable Software Technologies — Ada-Europe 2003 , 2003, Lecture Notes in Computer Science.

[12]  Tullio Vardanega,et al.  Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings , 2008, Ada-Europe.

[13]  Tullio Vardanega,et al.  Ada 2005 code patterns for metamodel-based code generation , 2007 .

[14]  Tullio Vardanega,et al.  A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis , 2007, Ada-Europe.

[15]  Irfan Hamid,et al.  Operational Semantics of Ada Ravenscar , 2008, Ada-Europe.

[16]  J. Javier Gutiérrez,et al.  MAST: Modeling and analysis suite for real time applications , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[17]  Laurent Pautet,et al.  From the prototype to the final embedded system using the Ocarina AADL tool suite , 2008, TECS.

[18]  David Harel,et al.  Rhapsody: A Complete Life-Cycle Model-Based Development System , 2002, IFM.

[19]  Tullio Vardanega,et al.  An MDE methodology for the development of high-integrity real-time systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[20]  Tullio Vardanega,et al.  Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach , 2007, Ada-Europe.