skip to main content
tutorial

Use of object oriented technologies in high reliability system

Published:24 October 2010Publication History
Skip Abstract Section

Abstract

This tutorial presents the new challenges brought by the advent of object oriented technologies (OOT) into the realm of high reliability systems.

For a long time, OOP was deemed too dynamic a model for highly reliable systems, especially levels A/B of the DO178B, although the standard in itself does not preclude the use of any technology. However, interest for introducing OO techniques is growing in the community; the FAA sponsored OOTiA (Object-Oriented Technology in Aviation), a handbook intended to identify and address these issues. Although not an official policy of the FAA, this handbook is a major input for the upcoming revision of DO178B (DO178C).

The tutorial provides an overview of software safety related standards (DO178B in airborne systems, EN5018 for railway systems). Based on the extensive work of the OOTiA, it explains the issues of object oriented technologies in high reliability systems, and how such technologies can be used while ensuring the high degree of control, review, and testing mandated by these systems. Finally, it shows how Ada's object oriented model differs from the traditional model, and brings better solutions for introducing OOP to high reliability systems.

The tutorial will help participants to understand what software safety standards are about, discover the issues of object oriented technologies in high reliability systems, get an up to date view of current trends with regard to OOT and the DO178B, and learn how Ada's model of object oriented programming is especially appropriate for secure systems

Index Terms

  1. Use of object oriented technologies in high reliability system

      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 30, Issue 3
        SIGAda 2010
        December 2010
        63 pages
        ISSN:1094-3641
        DOI:10.1145/1879097
        Issue’s Table of Contents
        • cover image ACM Conferences
          SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
          October 2010
          90 pages
          ISBN:9781450300278
          DOI:10.1145/1879063

        Copyright © 2010 Copyright is held by the author/owner(s)

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 24 October 2010

        Check for updates

        Qualifiers

        • tutorial
      • Article Metrics

        • Downloads (Last 12 months)1
        • 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!