Using the Ravenscar profile for space applications: the OBOSS case
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
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
Space & Time Partitioning with ARINC 653 and pragma profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
A new approach for distributed computing in avionics systems
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Issues in building an ANRTS platform
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Hierarchical scheduling with ada 2005
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
The requirement to support software partitioning is a recurring theme within High Integrity and Safety Critical systems. The partition concept is used to implement differing access protection levels for applications of varying criticality levels executing on the same processor. Partitions can also be used in fault tolerant systems that require high availability, redundancy or dynamic re-configuration.The Ravenscar Profile was a major output of the 8th International Real-Time Ada Workshop. The profile defines a subset of the Ada95 tasking constructs that matches the requirements of Safety Critical, High Integrity and Hard Real-Time systems by eliminating constructs with high overhead or non-deterministic behavior (semantically or temporally) whilst retaining those elements that form the basic building blocks for constructing analyzable and deterministic real-time software.This paper describes how a COTS Ada95 compilation system that implements the Ravenscar Profile can be used in the implementation of a partitioned architecture in an Integrated Modular Avionics context based on the ARINC 653 Application Executive (APEX) standard.