Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements

The development and maintenance of high-integrity software is very expensive, and a specialized development process is required due to its distinctive characteristics. Namely, safety-critical systems usually execute over a distributed embedded platform with few hardware resources which must provide real-time communication and fault-tolerance. This work discusses the adequate communication paradigms for high-integrity distributed applications with hard real-time requirements, and proposes a restricted middleware based on the current schedulability theory which can be certified and capable to obtain the required predictability and timeliness of this kind of systems.

[1]  ZamoranoJuan,et al.  Building high-integrity distributed systems with Ravenscar restrictions , 2007 .

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

[3]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[4]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[5]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

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

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

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

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

[10]  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.

[11]  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).

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