Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
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.
KeywordsHigh Integrity Systems Ada Language and Tools
Unable to display preview. Download preview PDF.
- 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.SPARKüThe SPADE Ada Kernel, Edition 3.2, Praxis Critical Systems, October 1996.Google Scholar
- 3.AlsysAda Compiler Cross Development Guide for UNIX workstations to Motorola 68k Targets. Version 5.5.2. Alsys Ltd. September 1993.Google Scholar
- 4.Safety Critical Solutions. Aonix Inc. 1998 http://www.aonix.com/Pdfs/CSDS/safecrit/safe.crit.pdf
- 5.High Integrity AdaüThe SPARK Approach. John Barnes with Praxis Critical Systems Limited. Addison-Wesley, 1997.Google Scholar
- 6.Proceedings of the 8th International Real-Time Ada Workshop: Tasking Profiles. ACM Ada Letters, September 1997.Google Scholar