skip to main content
article

Building high-integrity distributed systems with Ravenscar restrictions

Authors Info & Claims
Published:17 April 2007Publication History
Skip Abstract Section

Abstract

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.

References

  1. Ada Rapporteur Group. Ada Issue 249 --- Ravenscar profile for high-integrity systems. Ada Letters, XXV(3), September 2005.Google ScholarGoogle Scholar
  2. Ada Issue 208 --- What is the meaning of "same representation" in all partitions?, August 1999.Google ScholarGoogle Scholar
  3. L. Asplund, B. Johnson, and K. Lundqvist. Session summary: The Ravenscar profile and implementation issues. Ada Letters, XIX(25):12--14, 1999. Proceedings of the 9th International Real-Time Ada Workshop. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. N. Audsley and A. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. J. J. Gutiérrez and M. González Harbour. Towards a realtime Distributed System Annex in Ada. Ada Letters, XXI(1), 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. J. J. Gutiérrez, J. C. Palencia, and M. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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.Google ScholarGoogle Scholar
  10. M. Joseph and P. Pandya. Finding response times in realtime systems. BCS Computer Journal, 29(5):390--395, 1986.Google ScholarGoogle ScholarCross RefCross Ref
  11. Y. Kermarrec. CORBA vs. Ada 95 DSA: a programmer's view. In SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on Ada, pages 39--46, New York, NY, USA, October 1999. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. P. Ledru and S. G. Shiva. Interpartition communication with shared active packages. In TRI-Ada '96: Proceedings of the conference on TRI-Ada '96, pages 57--62, New York, NY, USA, 1996. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. J. López Campos, J. J. Gutiérrez, and M. González Harbour. The chance for Ada to support distribution and real-time in embedded systems. In A. Llamosí and A. Strohmeier, editors, 9th International Conference on Reliable Software Technologies --- Ada-Europe 2004, number 3063 in LNCS, pages 91--105, Palma de Mallorca (Spain), 2004. Springer-Verlag.Google ScholarGoogle Scholar
  14. S. A. Moody. Session summary: Distributed Ada and realtime. In IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada, pages 15--18, New York, NY, USA, March 1999. ACM Press. Chairman: Michael González Harbour. Rapporteur: Scott Arthur Moody. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. J. C. 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.Google ScholarGoogle Scholar
  16. J. C. Palencia Gutiérrez and M. González 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. L. Pautet and S. Tardieu. What future for the distributed systems annex? In SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on Ada, pages 77--82, New York, NY, USA, 1999. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. L. M. Pinho and F. Vasques. Using Ravenscar to support fault tolerant real-time applications. Ada Letters, XXII(4):47--52, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. C. Plummer and P. Plancke. The spacecraft onboard interfaces, SOIS, standardisation activity. In DASIA 2002 --- Data Systems in Aerospace, 2002.Google ScholarGoogle Scholar
  20. R. Rajkumar, M. Gagliardi, and L. Sha. The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. In Proceedings of the First IEEE Real-Time Technology and Applications Symposium (RTAS'95), 1995., pages 66--75, Los Alamitos, CA, USA, May 1995. IEEE Computer Society. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. C. Sánchez, H. B. Sipma, Z. Manna, V. Subramonian, and C. Gill. On efficient distributed deadlock avoidance for realtime and embedded systems. In Proceedings of the 20th International Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. IEEE Computer Society, April 2006.Google ScholarGoogle Scholar
  22. D. Tejera, A. Alonso, and M. Á. de Miguel. Predictable serialization in Java. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'07), May 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. K. Thomas. Parallel programming in Ada 95 and MPI. Ada User Journal, 21(2):143--152, July 2000.Google ScholarGoogle Scholar
  24. K. Tindell and J. 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). Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04), volume LNCS 3063, pages 106--119, Palma de Mallorca, Spain, June 2004. Springer Verlag.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Building high-integrity distributed systems with Ravenscar restrictions

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in

                  Full Access

                  • Published in

                    cover image ACM SIGAda Ada Letters
                    ACM SIGAda Ada Letters  Volume XXVII, Issue 2
                    Papers of the 13th International Real-Time Ada Workshop (IRTAW-13)
                    August 2007
                    83 pages
                    ISSN:1094-3641
                    DOI:10.1145/1316002
                    Issue’s Table of Contents
                    • cover image ACM Other conferences
                      IRTAW '07: Proceedings of the 13th international workshop on Real-time Ada
                      April 2007
                      116 pages
                      ISBN:9781450378406
                      DOI:10.1145/1316003

                    Copyright © 2007 ACM

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 17 April 2007

                    Check for updates

                    Qualifiers

                    • article

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!