Verifying, validating and monitoring the open Ravenscar real time kernel

Authors:
R. Maia;F. Moreira;R. Barbosa;D. Costa;Kjeld Hjortaes;Patricia Rodriguez;Luis Miguel Pinho
Affiliations:
Critical Software, SA, Coimbra, Portugal;Critical Software, SA, Coimbra, Portugal;Critical Software, SA, Coimbra, Portugal;Critical Software, SA, Coimbra, Portugal;ESTEC/ESA, Noordwijk, The Netherlands;SoftWcare, S.L., Vigo, Spain;Polytecnique Institute of Porto, Porto, Portugal
Venue:
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Year:
2003

Citing 2
Cited 1

An Investigation of the Therac-25 Accidents

Computer
The Ravenscar tasking profile for high integrity real-time programs

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Session: status and future of the Ravenscar profile

IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

Business and mission critical real-time systems need to be fully predictable, in order that their behavior is known before deployment, even in the presence of faults. The Open Ravenscar Real Time Kernel (ORK) is a small size with reduced complexity kernel designed to be used in this type of applications. This kernel was implemented to be fully compliant with the Ravenscar profile, which defines a subset of the tasking features of Ada which can be used to implement a small and reliable kernel. Critical Software has recently conducted an evaluation on this kernel as well as started a new project to provide a monitoring tool for ORK, thus further enhancing the already existing range of hard real-time verification and validation tools. This paper summarizes the objectives and results of the ORK evaluation and presents the main goals and functionalities of the monitoring tool.