TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

A. Burns; A.J. Wellings; A.H. Malik

TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	Undefined/Unknown
Title of host publication	Proceeding of the 15th IRTAW
Publisher	ACM
Pages	15-23
Number of pages	9
Volume	XXXII
Publication status	Published - 1 Apr 2013

Cite this

@inproceedings{37b4e6f15cfc423f839c389594e42557,

title = "TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications",

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.",

author = "A. Burns and A.J. Wellings and A.H. Malik",

year = "2013",

month = apr,

day = "1",

language = "Undefined/Unknown",

volume = "XXXII",

pages = "15--23",

booktitle = "Proceeding of the 15th IRTAW",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

AU - Burns, A.

AU - Wellings, A.J.

AU - Malik, A.H.

PY - 2013/4/1

Y1 - 2013/4/1

N2 - 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.

AB - 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.

M3 - Conference contribution

VL - XXXII

SP - 15

EP - 23

BT - Proceeding of the 15th IRTAW

PB - ACM

ER -