The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Automated Model-Based Generation of Ravenscar-Compliant Source Code
ECRTS '05 Proceedings of the 17th 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
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
On automated prepared statement generation to remove SQL injection vulnerabilities
Information and Software Technology
A component framework for java-based real-time embedded systems
Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware
Requirements on the Target Programming Language for High-Integrity MDE
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
A Java and OWL based approach for system interoperability
Proceedings of the 15th WSEAS international conference on Computers
Hi-index | 0.00 |
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.