Abstract
High-integrity computer systems are usually required to go through a strict verification and validation process, often leading to certification according to some safety or security standard. Verification activities may include some kind of static analysis because some types of errors cannot be removed just with testing. Temporal analysis techniques are available for systems with hard real-time requirements, but they are limited to systems complying with a well-defined computational model and with a restricted semantics that ensures a predictable temporal behaviour. The Ravenscar profile implements such a model for Ada programs running on single processor platforms, but it cannot be used in distributed high-integrity real-time systems, which are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties.
This work has been funded in part by the Spanish Ministry of Science, project no. TIC2005-08665-C03-01 (THREAD), and by the IST Programme of the European Commission under project IST-004033 (ASSERT).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Joseph, M., Pandya, P.K.: Finding response times in real-time systems. BCS Computer Journal 29(5), 390–395 (1986)
Klein, M.H., Ralya, T., Pollack, B., Obenza, R., González Harbour, M.: A Practitioner’s Handbook for Real-Time Analysis. In: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993)
ISO/IEC: TR 15942:2000 — Guide for the use of the Ada programming language in high integrity systems (2000)
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998)
ISO/IEC: Std. 8652:1995/Amd 1:2007 — Ada 2005 Reference Manual. Language and Standard Libraries. Springer, Heidelberg (2007) ISBN 978-3-540-69335-2
González Harbour, M., Moody, S.A.: Session summary: Distributed Ada and real-time. ACM SIGAda Ada Letters 19(2), 15–18 (1999); IRTAW 1999: Proceedings of the Ninth International Workshop on Real-time Ada
Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: An approach to real-time synchronization. IEEE Tr. on Computers 39(9) (1990)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40(2–3), 117–134 (1994); Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems)
Palencia Gutiérrez, J.C., González Harbour, M.: Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pp. 328–339 (December 1999)
Singhoff, F., Plantec, A., Dissaux, P.: Can we increase the usability of real time scheduling theory? the Cheddar project. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 240–253. Springer, Heidelberg (2008)
González Harbour, M., Gutiérrez, J.J., Palencia, J.C., Drake, J.M.: MAST modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, pp. 125–134. IEEE Computer Society Press, Los Alamitos (2001)
Pérez, H., Gutiérrez, J.J., Sangorrín, D., Harbour, M.G.: Real-time distribution middleware from the Ada perspective. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 268–281. Springer, Heidelberg (2008)
Audsley, N., Wellings, A.: Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In: IRTAW 2000: Proceedings of the 10th International Real-Time Ada Workshop, pp. 33–39. ACM Press, New York (2001)
López Campos, J., Gutiérrez, J.J., González Harbour, M.: The chance for Ada to support distribution and real-time in embedded systems. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 91–105. Springer, Heidelberg (2004)
Pautet, L., Tardieu, S.: GLADE: a framework for building large object-oriented real-time distributed systems. In: Proc. of the 3rd IEEE Intl. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (March 2000)
Urueña, S., Zamorano, J.: Building high-integrity distributed systems with Ravenscar restrictions. Ada Letters XXVII(2), 29–36 (2007); Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007)
Hugues, J., Pautet, L., Zalila, B.: From MDD to full industrial process: Building distributed real-time embedded systems for the high-integrity domain. In: Kordon, F., Sokolsky, O. (eds.) Monterey Workshop 2006. LNCS, vol. 4888, pp. 35–52. Springer, Heidelberg (2007)
SAE: Architecture Analysis and Design Language (AADL) — AS5506A. (January 2009), http://www.sae.org
de la Puente, J.A., Zamorano, J., Pulido, J.A., Urueña, S.: The ASSERT Virtual Machine: A predictable platform for real-time systems. In: Chung, M.J., Misra, P. (eds.) Proceedings of the 17th IFAC World Congress, IFAC-PapersOnLine (2008)
OMG: Real-Time CORBA Specification, version 1.2. OMG TC Document formal/05-01-04 (2005)
Hugues, J., Pautet, L., Kordon, F.: Revisiting COTS middleware for DRE systems. In: Proceedings of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pp. 72–79 (2005)
ARINC: Avionics Application Software Standard Interface — ARINC Specification 653-1 (October 2003)
IEEE: Portable Operating System Interface (POSIX) — Part 1: System Application Program Interface (API) [C Language]. (1990) ISO/IEC 9945-1:1990; IEEE 1003.1-1990
OMG: CORBA Specification, version 3.1. OMG TC Document formal/2008-01-04 (2008)
OMG: Data Distribution Service for Real-time Systems. Version 1.2 edn. (January 2007)
Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)
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)
Jackson, D., Thomas, M., Millett, L.I.: Software for dependable systems: Sufficient evidence? Technical report, Committee on Certifiably Dependable Software Systems — National Academy of Science (2007)
Urueña, S., Pulido, J.A., Zamorano, J., de la Puente, J.A.: Adding new features to the Open Ravenscar Kernel. In: Proc. 1st International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2005), Palma de Mallorca, Spain (July 2005)
Urueña, S., Pulido, J.A., Redondo, J., Zamorano, J.: Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Letters XXVII(2), 61–66 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urueña, S., Zamorano, J., de la Puente, J.A. (2009). A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. In: Kordon, F., Kermarrec, Y. (eds) Reliable Software Technologies – Ada-Europe 2009. Ada-Europe 2009. Lecture Notes in Computer Science, vol 5570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01924-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-01924-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01923-4
Online ISBN: 978-3-642-01924-1
eBook Packages: Computer ScienceComputer Science (R0)