Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ECSS. ECSS-Q-80B Space Product Assurance — Software Product Assurance, 2003. Available from ESA.
RTCA Inc. Software Considerations in Airborne Systems and Equipment Certification — RTCA/DO-178B, 2002.
ISO/IEC. TR 24718:2005 — Guide for the use of the Ada Ravenscar Profile in high integrity systems, 2005. Based on the University of York Technical Report YCS-2003-348 (2003).
Ken Tindell and John Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2–3):117–134, April 1994. Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems).
Juan Carlos Palencia Guti’errez and Michael Gonz’alez Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pages 328–339, December 1999.
Santiago Urueña and Juan Zamorano. Building high-integrity distributed systems with Ravenscar restrictions. volume XXVII, pages 29–36, August 2007. Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007).
Hermann Kopetz and Günther Bauer. The time-triggered architecture. Proceedings of the IEEE, 91(1):112–126, January 2003.
Neil Audsley and Andy Wellings. Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In IRTAW ’00: Proceedings of the 10th international workshop on Real-time Ada workshop, pages 33–39, New York, NY, USA, 2001. ACM Press.
ISO SC22/WG9. Ada 2005 Annotated Reference Manual. ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1, 2006. Available on http://www.adaic.com/standards/ada05.html.
Lui Sha, Ragunathan Rajkumar, and John P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Tr. on Computers, 39(9), 1990.
J. Javier Gutiérrez, J. Carlos Palencia, and Michael González Harbour. Schedulability analysis of distributed hard real-time systems with multiple- event synchronization. In Proc. 12th Euromicro Conference on Real-Time Systems, pages 15–24. IEEE CS Press, June 2000.
Juan Carlos Palencia Gutiérrez. Análisis de planificabilidad de Sistemas Distribuidos de Tiempo Real basados en prioridades fijas. PhD thesis, Universidad de Cantabria, 1999. Supervisor: Michael González Harbour.
César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, and Christopher Gill. On efficient distributed deadlock avoidance for real-time and embedded systems. In Proceedings of the 20th International Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. IEEE Computer Society, April 2006.
Daniel Tejera, Alejandro Alonso, and Miguel Ángel de Miguel. Predictable serialization in Java. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’07), May 2007.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this paper
Cite this paper
Urueña, S., Zamorano, J., Pulido, J.A., de la Puente, J.A. (2008). Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. In: Kleinjohann, B., Wolf, W., Kleinjohann, L. (eds) Distributed Embedded Systems: Design, Middleware and Resources. DIPES 2008. IFIP – The International Federation for Information Processing, vol 271. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09661-2_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-09661-2_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09660-5
Online ISBN: 978-0-387-09661-2
eBook Packages: Computer ScienceComputer Science (R0)