Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems

Neil Audsley; Andy Wellings

doi:10.1145/374370.374378

Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems

Neil Audsley, Andy Wellings

Computer Science

Research output: Contribution to conference › Paper › peer-review

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.

Original language	English
Pages	33-39
Number of pages	7
DOIs	https://doi.org/10.1145/374370.374378
Publication status	Published - 1 Apr 2001
Event	10th International Real-Time Ada Workshop, IRTAW 2000 - Las Navas del Marques, Avila, Spain Duration: 18 Sept 2000 → 22 Sept 2000

Conference

Conference	10th International Real-Time Ada Workshop, IRTAW 2000
Country/Territory	Spain
City	Las Navas del Marques, Avila
Period	18/09/00 → 22/09/00

Access to Document

10.1145/374370.374378

Cite this

@conference{4b9ced7f867f4d968a6a909527e3e356,

title = "Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems",

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

author = "Neil Audsley and Andy Wellings",

year = "2001",

month = apr,

day = "1",

doi = "10.1145/374370.374378",

language = "English",

pages = "33--39",

note = "10th International Real-Time Ada Workshop, IRTAW 2000 ; Conference date: 18-09-2000 Through 22-09-2000",

}

TY - CONF

T1 - Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems

AU - Audsley, Neil

AU - Wellings, Andy

PY - 2001/4/1

Y1 - 2001/4/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=85012895210&partnerID=8YFLogxK

U2 - 10.1145/374370.374378

DO - 10.1145/374370.374378

M3 - Paper

AN - SCOPUS:85012895210

SP - 33

EP - 39

T2 - 10th International Real-Time Ada Workshop, IRTAW 2000

Y2 - 18 September 2000 through 22 September 2000

ER -

Issues with using Ravenscar and the ada Distributed Systems Annex for high-integrity systems

Abstract

Conference

Access to Document

Other files and links

Cite this