Real-time Java from an automated code generation perspective

In this paper we investigate the fitness criteria of programming languages used as the target platform in a model-driven engineering process that includes automated code generation. We are in particular interested in the fitness of the Real-Time Specification for Java, which combines the Java object-oriented semantics with a fairly rich concurrency model. We contend that the impact of the target programming language for the development of highly-critical real-time systems is becoming smaller and smaller as new model-driven engineering frameworks emerge.

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

[2]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

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

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

[5]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

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

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

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

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

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

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

[12]  L. Sha,et al.  The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks , 1988, IRTAW '88.

[13]  Andy J. Wellings,et al.  Ravenscar‐Java: a high‐integrity profile for real‐time Java , 2002, JGI '02.

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

[15]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

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

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