skip to main content
short-paper

Developing a profile for using object-oriented Ada in high-integrity systems

Published:15 July 2011Publication History
Skip Abstract Section

Abstract

This paper reports on the workshop that was held on Oct 27th, 2010 during the SIGAda conference in Fairfax, VA. The goal of the workshop was to start an effort for defining a restricted profile for Object Oriented programming with Ada for high integrity systems, following the example of the Ravenscar profile for the concurrency aspects.

References

  1. RTCA/EuroCAE, DO-178B, "Software Considerations in Airborne Systems and Equipment Certification"Google ScholarGoogle Scholar
  2. EN-50128:2001. Railway applications. Communications, signaling and processing systems. Software for railway control and protection systems. ISBN 058037584 6Google ScholarGoogle Scholar
  3. Alan Burns, Brian Dobbing and Tullio Vardanega. "Guide for the use of the Ada Ravenscar Profile in high integrity systems". ACM SIGAda Ada Letters XXIV (2): 1--74.OOTiA Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. AdaControl web site, http://www.adalog.fr/adacontrol2.htmGoogle ScholarGoogle Scholar
  5. B. Liskov and J. Wing, "A Behavioral Notion of Subtyping", ACM Transactions on Programming Languages and Systems, Nov. 1994, vol. 16, no. 6, ACM, New-York. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Developing a profile for using object-oriented Ada in high-integrity systems

            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

            • 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!