Implementing Ada 9X features using POSIX Threads: design issues
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
A software process for the construction of predictable on-board embedded real-time systems
Software—Practice & Experience
A Linux kernel module implementation of restricted Ada tasking
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
The design and implementation of the open Ravenscar kernel
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
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
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Execution-time control for interrupt handling
ACM SIGAda Ada Letters
Towards a ravenscar extension for multi-processor systems
ACM SIGAda Ada Letters
Polynomial homotopies on multicore workstations
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Proceedings of the Conference on Design, Automation and Test in Europe
Design and implementation of a Ravenscar extension for multiprocessors
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 computers. The static and simple tasking model defined by the Ravenscar profile allows for a streamlined implementation of the run-time system directly on top of bare machines. The reduced size and complexity of the run time, together with its configurability, makes it suitable for mission-critical space applications in which certification or reduced footprint is needed. Software reliability and predictability is also increased by excluding non-deterministic and non analysable tasking features. Product validation has been achieved by means of a comprehensive test suite intended to check compliance with the Ravenscar profile and Ada standards, and correct behaviour of specialised features and supplemental tools. Code coverage analysis is also part of the validation campaign, with the goal of achieving 100% statement coverage.