Requirements on the Target Programming Language for High-Integrity MDE

This paper discusses the requirements on the selection of a programming language as the target of automated code generation in a high-integrity model driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.

[1]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[2]  Tullio Vardanega,et al.  A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications , 2006, ICSR.

[3]  Satoshi Matsuoka,et al.  ECOOP'97 — Object-Oriented Programming , 1997, Lecture Notes in Computer Science.

[4]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

[5]  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.

[6]  C. Douglass Locke.  Safety critical Java™ technology , 2006, JTRES '06.

[7]  Maurizio Morisio,et al.  Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings , 2006, ICSR.

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

[9]  Tullio Vardanega.  Property-Preserving Reuse-Geared Approach to Model-Driven Development , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[10]  Pedro J. Clemente,et al.  AspectCCM: an aspect-oriented extension of the CORBA Component Model , 2002, Proceedings. 28th Euromicro Conference.

[11]  Alan Burns,et al.  A framework for real-time utilities for Ada 2005 , 2007 .

[12]  Benjamin M. Brosgol.  A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM , 2008, Ada-Europe.

[13]  Juan Ángel Pastor Franco,et al.  A systematic approach to developing safe tele-operated robots , 2006 .

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

[15]  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.

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

[17]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[18]  Tullio Vardanega,et al.  Automated model-based generation of Ravenscar-compliant source code , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[19]  Tullio Vardanega,et al.  Real-time Java from an automated code generation perspective , 2007, JTRES.

[20]  Aniruddha S. Gokhale,et al.  Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component Middleware , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[21]  Laurent Pautet,et al.  GNATDIST: a configuration language for distributed Ada 95 applications , 1996, TRI-Ada '96.

[22]  Tullio Vardanega,et al.  A New Strategy for the HRT-HOOD to Ada Mapping , 2005, Ada-Europe.

[23]  Francisco José Ortiz Zaragoza,et al.  A reference control architecture for service robots implemented on a climbing vehicle. , 2005 .

[24]  Benjamin M. Brosgol.  Languages for Safety-Critical Software: Issues and Assessment , 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

[25]  Andy Wellings.  Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? , 2003 .

[26]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[27]  L. M. Sherer,et al.  RADIO TECHNICAL COMMISSION FOR AERONAUTICS , 1947 .

[28]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[29]  Tullio Vardanega,et al.  On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels , 2004, Real-Time Systems.

[30]  Ben Brosgol.  MP1: languages for safety-critical software: issues and assessment , 2007 .

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

[32]  Andy J. Wellings,et al.  A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications , 2006, Ada-Europe.

[33]  Juan Zamorano,et al.  Building high-integrity distributed systems with Ravenscar restrictions , 2007 .

[34]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .