The SPARC architecture manual: version 8
The SPARC architecture manual: version 8
Implementing Ada 9X features using POSIX Threads: design issues
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
A Linux kernel module implementation of restricted Ada tasking
IRTAW '99 Proceedings of the ninth international workshop on Real-time Ada
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
Static-Priority Scheduling on Multiprocessors
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Tight Performance Bounds of Heuristics for a Real-Time Scheduling Problem
Tight Performance Bounds of Heuristics for a Real-Time Scheduling Problem
An Analysis of Fixed-Priority Schedulability on a Multiprocessor
Real-Time Systems
Towards a ravenscar extension for multi-processor systems
ACM SIGAda Ada Letters
GNAT pro for on-board mission-critical space applications
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Preservation of timing properties with the ada ravenscar profile
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Going real-time with Ada 2012 and GNAT
ACM SIGAda Ada Letters
Parallelism in Ada: general model and ravenscar
ACM SIGAda Ada Letters
On real-time partitioned multicore systems
ACM SIGAda Ada Letters
Hi-index | 0.00 |
New software architectures demand increasing processing power, and multiprocessor hardware platforms are spreading as the answer to achieve the required performance. Embedded real-time systems are also subject to this trend, but in the case of real-time high-integrity systems, the properties of reliability, predictability and analyzability are also paramount. The Ada 2005 language defined a subset of its tasking model, the Ravenscar profile, that provides the basis for the implementation of deterministic and time analyzable applications on top of a streamlined run-time system. This Ravenscar tasking profile, originally designed for single processors, has proven remarkably useful for modelling verifiable real-time monoprocessor systems. The forthcoming Ada 2012 language proposes a simple extension to the Ravenscar profile to support multiprocessor systems using a fully partitioned approach. The implementation of this scheme is simple, and it can be used to develop applications amenable to schedulability analysis. This paper describes the design and implementation of a restricted run time supporting the Ravenscar tasking model on a bare board multiprocessor machine for safety-critical development.