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

@inproceedings{Audsley2001IssuesWU,
  title={Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems},
  author={Neil C. Audsley and Andy J. Wellings},
  booktitle={IRTAW '00},
  year={2001}
}
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.