skip to main content
research-article

TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

Although the Ravenscar profile of Ada has achieved a measure of success in the development of high-integrity system, it is often criticised for not having enough expressive power to deal with common real-time programming patterns. This has led to a call for more facilities to be added to the profile. These have been turned down by the Ada standardization body for fear of "feature creep" and the lack of clear and consistent motivation. This paper proposes a coherent profile to support the construction of fault-tolerant high-integrity real-time programs.

References

  1. T. Anderson and P.A. Lee. Fault Tolerance Principles and Practice:. Prentice-Hall International, 2nd edition, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Jeremy Andrews. Balancing real time threads, http://kerneltrap.org/linux/balancing real time threads, 2007.Google ScholarGoogle Scholar
  3. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11--33, Jan-March 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 4th edition, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Flaviu Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34:56--78, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Linux Kernel Documentation. Real-time group scheduling, http://www.mjmwired.net/kernel/documentation/scheduler/sched-rt-group.txt.Google ScholarGoogle Scholar
  7. O. Marchi dos Santos and A.J.Wellings. Run time detection of blocking time violations in real-time systems. Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Dario Faggioli, Antonio Mancina, Fabio Checconi, and Giuseppe Lipari. Design and implementation of a POSIX compliant sporadic server. In Proceedings of the 10th Real-Time Linux Workshop (RTLWS 2008), Colotlan, Mexico, October 2008.Google ScholarGoogle Scholar
  9. Paul Menage. Cgroups, http://www.mjmwired.net/kernel/documentation/cgroups.txt, 2004.Google ScholarGoogle Scholar
  10. Enrico Mezzetti, Marco Panunzio, and Tullio Vardanega. Temporal isolation with the Ravenscar profile and Ada 2005. Ada Lett., 30:45--55, May 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. José F. Ruiz. Towards a Ravenscar extension for multi-processor systems. Ada Lett., 30:86--90, May 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Sven thorsten Dietrich and Daniel Walker. The evolution of Real-Time Linux, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.6125.Google ScholarGoogle Scholar
  13. Tullio Vardanega. Ravenscar design patterns: reflections on use of the Ravenscar profile. Ada Lett., XXIII:65--73, September 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications

      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 33, Issue 1
        April 2013
        171 pages
        ISSN:1094-3641
        DOI:10.1145/2492312
        Issue’s Table of Contents

        Copyright © 2013 Authors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 11 June 2013

        Check for updates

        Qualifiers

        • research-article
      • Article Metrics

        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0

        Other Metrics

      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!