GNATDIST: a configuration language for distributed Ada 95 applications
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
The Ravenscar tasking profile for high integrity real-time programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Automated Model-Based Generation of Ravenscar-Compliant Source Code
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Property-Preserving Reuse-Geared Approach to Model-Driven Development
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Safety critical Java™ technology
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
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
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
A framework for real-time utilities for Ada 2005
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
MP1: languages for safety-critical software: issues and assessment
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
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
A comparison of ada and real-time Java™ for safety-critical applications
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A new strategy for the HRT-HOOD to ada mapping
Ada-Europe'05 Proceedings of the 10th 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
Hi-index | 0.00 |
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.