论文信息 - Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems

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

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.

Andy Wellings | Neil Audsley | N. Audsley | A. Wellings

[1] Laurent Pautet,et al. Inside the Distributed Systems Annex , 1998, Ada-Europe.

[2] Alan Burns,et al. The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.

[3] John Barnes,et al. High Integrity Ada: The Spark Approach , 1997 .

[4] John A. Clark,et al. Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[5] Thomas Wolf. Transparent replication for fault tolerance in distributed Ada 95 , 1999, IRTAW '99.

[6] Alan Burns,et al. Guaranteeing message latencies on controller area network (can) , 1994 .

[7] B. A. Wichmann. High Integrity Ada , 1997, SAFECOMP.

[8] Ada 95 Rationale , 1995, Lecture Notes in Computer Science.

[9] Alan Burns,et al. Calculating controller area network (can) message response times , 1994 .

[10] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[11] B. A. Wichmann,et al. Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.