IEEE Transactions on Computers
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
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Schedulability Analysis of Window-Constrained Execution Time Tasks for Real-Time Control
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Automated Model-Based Generation of Ravenscar-Compliant Source Code
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Sustainable Scheduling Analysis
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Sensitivity analysis for fixed-priority real-time systems
Real-Time Systems
Blocking time monitoring in the real-time specification for Java
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
Proceedings of the ACM SIGAda annual international conference on SIGAda
Design and implementation of a Ravenscar extension for multiprocessors
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
ORK+/XtratuM: an open partitioning platform for Ada
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Ada ravenscar code archetypes for component-based development
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Charting the evolution of the Ada Ravenscar code archetypes
ACM SIGAda Ada Letters
Hi-index | 0.00 |
Modern methodologies for the development of high-integrity real-time systems leverage forms of static analysis that gather relevant characteristics directly from the architectural description of the system. In those approaches it is paramount that consistency is kept between the system model as analyzed and the system as executing at run time. One of the aspects of interest is the timing behavior. In this paper we discuss how the timing properties of a Ravenscar compliant system can be actively preserved at run time. The Ravenscar profile is an obvious candidate for the construction of high-integrity real-time systems, for it was designed with that objective in mind. Our motivation was to assess how effective the Ravenscar profile provisions are to the attainment of property preservation. The conclusions we came to was that a minor but important extension to its standard definition completes a valuable host of mechanisms well suited for the enforcement and monitoring of timing properties as well as for the specification of handling and recovery policies in response to violation events.