TTF-ravenscar-Reference-Cited by-同舟云学术

TTF-ravenscar

Published:2013-06-11 Issue:1 Volume:33 Page:15-23
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Burns A.¹,Wellings A. J.¹,Malik A. H.¹

Affiliation:

1. University of York, Heslington, York, UK

Abstract

Although the Ravenscar profile of Ada has achieved a measure of success in the development of high-integrity system, it is often criticised for not having enough expressive power to deal with common real-time programming patterns. This has led to a call for more facilities to be added to the profile. These have been turned down by the Ada standardization body for fear of "feature creep" and the lack of clear and consistent motivation. This paper proposes a coherent profile to support the construction of fault-tolerant high-integrity real-time programs.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/2492312.2492315

Reference13 articles.

1. T. Anderson and P.A. Lee. Fault Tolerance Principles and Practice:. Prentice-Hall International 2nd edition 1990. T. Anderson and P.A. Lee. Fault Tolerance Principles and Practice:. Prentice-Hall International 2nd edition 1990.

2. Jeremy Andrews. Balancing real time threads http://kerneltrap.org/linux/balancing real time threads 2007. Jeremy Andrews. Balancing real time threads http://kerneltrap.org/linux/balancing real time threads 2007.

3. Basic concepts and taxonomy of dependable and secure computing

4. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley 4th edition 2009. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley 4th edition 2009.

5. Understanding fault-tolerant distributed systems