Advertisement

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT

  • Roderick Chapman
  • Robert Dewar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)

Abstract

This paper describes a new development of the GNAT Ada95 compilation system (GNORT) that is appropriate for the development of high integrity embedded systems.We describe GNORT, the motivation for its development, and give some technical detail of its implementation. The latter part of the paper goes on to describe SHOLIS—an existing safety-critical application written in SPARK 83 that has been re-engineered to take advantage of SPARK 95 and GNORT.We assess the benefits of this approach through metrics on the SHOLIS application source and object code. These data may be of interest to engineers who are considering Ada95 for a new project or converting an existing Ada83 application to Ada95.

Keywords

High Integrity Systems Ada Language and Tools 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    The procurement of safety-critical Software in Defence Equipment, Ministry of Defence, Interim Defence Standard 00-55 (Parts 1 and 2), Issue 1, April 1991.Google Scholar
  2. 2.
    SPARKüThe SPADE Ada Kernel, Edition 3.2, Praxis Critical Systems, October 1996.Google Scholar
  3. 3.
    AlsysAda Compiler Cross Development Guide for UNIX workstations to Motorola 68k Targets. Version 5.5.2. Alsys Ltd. September 1993.Google Scholar
  4. 4.
    Safety Critical Solutions. Aonix Inc. 1998 http://www.aonix.com/Pdfs/CSDS/safecrit/safe.crit.pdf
  5. 5.
    High Integrity AdaüThe SPARK Approach. John Barnes with Praxis Critical Systems Limited. Addison-Wesley, 1997.Google Scholar
  6. 6.
    Proceedings of the 8th International Real-Time Ada Workshop: Tasking Profiles. ACM Ada Letters, September 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Roderick Chapman
    • 1
  • Robert Dewar
    • 2
  1. 1.Praxis Critical Systems LimitedBathUK
  2. 2.Ada Core Technologies Inc.New YorkUSA

Personalised recommendations