Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems

Authors:
Neil Audsley;Andy Wellings
Affiliations:
Real-Time Systems Group, Dept. of Computer Science, University of York, York, UK;Real-Time Systems Group, Dept. of Computer Science, University of York, York, UK
Venue:
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Year:
2001

Citing 0
Cited 7

Using Ravenscar to support fault-tolerant real-time applications

IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Transparent Environment for Replicated Ravenscar Applications

Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Building high-integrity distributed systems with Ravenscar restrictions

IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile

ACM SIGAda Ada Letters
A survey on standards for real-time distribution middleware

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Distributed Systems Annex (DSA) was designed for general-purpose distributed systems programming. This paper explores the practical use of the DSA in terms of high-integrity real-time distributed systems. In particular, it defines a high-integrity subset of the DSA and considers how such a subset can be implemented using SPARK and Ravenscar.