skip to main content
research-article

A methodology for avoiding known compiler problems using static analysis

Published:24 October 2010Publication History
Skip Abstract Section

Abstract

EN-50128, the European standard for railway software safety, requires that software be demonstrated as free from using language features that would trigger known bugs in the compiler.

Given a list of problem reports provided by the compiler vendor, this paper presents a methodology to achieve this goal by identifying conditions that are sufficient to prove that the problem does not happen, and then using a static analysis tool to verify the sufficient conditions.

The methodology has been used and accepted for the certification of SIL4 software, the highest certification level for railway systems.

References

  1. ISO/IEC 15291:1999. Information technology --- Programming languages --- Ada Semantic Interface Specification (ASIS)Google ScholarGoogle Scholar
  2. EN-50128:2001. Railway applications. Communications, signalling and processing systems. Software for railway control and protection systems. ISBN 058037584 6Google ScholarGoogle Scholar
  3. AdaControl web site, http://www.adalog.fr/adacontrol2.htmGoogle ScholarGoogle Scholar
  4. "On the benefits for industrials of sponsoring free software development", Ada User Journal, Volume 26, n° 4, December 2005.Google ScholarGoogle Scholar

Index Terms

  1. A methodology for avoiding known compiler problems using static analysis

      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 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 24 October 2010

        Check for updates

        Qualifiers

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