Building high-integrity distributed systems with Ravenscar restrictions

The Ravenscar profile was a qualitative leap in the development of single-processor hard real-time systems with certification requirements. But nowadays more and more safety-critical systems are distributed, so a new Ada profile is needed for multi-node applications. This work discusses the restrictions and additions to the language needed to certify and obtain the required predictability and timeliness in a high-integrity hard real-time Ada distributed application.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

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

[4]  Lui Sha,et al.  The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation , 1995, Proceedings Real-Time Technology and Applications Symposium.

[5]  Sajjan G. Shiva,et al.  Interpartition communication with shared active packages , 1996, TRI-Ada '96.

[6]  Yvon Kermarrec.  CORBA vs. Ada 95 DSA: a programmer's view , 1999 .

[7]  L. Pautet,et al.  What future for the distributed systems annex? , 1999, SIGAda '99.

[8]  Lars Asplund,et al.  The Ravenscar Profile and Implementation Issues , 1999 .

[9]  Hal Hart,et al.  Proceedings of the 1999 annual ACM SIGAda international conference on Ada , 1999 .

[10]  Michael González Harbour,et al.  Exploiting precedence relations in the schedulability analysis of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[11]  José Carlos Palencia Gutiérrez.  Análisis de planificabilidad de sistemas distribuidos de tiempo real basados en prioridades fijas , 1999 .

[12]  J. Javier Gutiérrez,et al.  Schedulability analysis of distributed hard real-time systems with multiple-event synchronization , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[13]  Andy Wellings,et al.  Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems , 2001, IRTAW '00.

[14]  Chris Plummer,et al.  The spacecraft onboard interfaces, SOIF, standardisation activity , 2002 .

[15]  Luis Miguel Pinho,et al.  Using Ravenscar to support fault-tolerant real-time applications , 2002 .

[16]  John G. P. Barnes,et al.  High Integrity Software - The SPARK Approach to Safety and Security , 2003 .

[17]  Laurent Pautet,et al.  PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications , 2004, Ada-Europe.

[18]  J. Javier Gutiérrez,et al.  The Chance for Ada to Support Distribution and Real-Time in Embedded Systems , 2004, Ada-Europe.

[19]  César Sánchez,et al.  On efficient distributed deadlock avoidance for real-time and embedded systems , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[20]  Alejandro Alonso,et al.  Predictable Serialization in Java , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[21]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .