HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
The design and implementation of the open Ravenscar kernel
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
An Open Ravenscar Real-Time Kernel for GNAT
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
Patterns, frameworks, and middleware: their synergistic relationships
Proceedings of the 25th International Conference on Software Engineering
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Session: status and future of the Ravenscar profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Temporal isolation with the ravenscar profile and Ada 2005
ACM SIGAda Ada Letters
Hi-index | 0.00 |
In this paper we discuss the issues we have explored, as part of the ASSERT project, in the definition and implementation of Ada coding patterns for the support of the automated code generation stage of a comprehensive approach to model-driven development for high-integrity systems.