Using the SPARK toolset for showing the absence of run-time errors in safety-critical software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2043, Issue , 2001, Pages 229-240

  Foulger, Darren ^a   King, Steve ^b  

^a BAE SYSTEMS   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); SAFETY ENGINEERING;

RUN-TIME CHECKS; RUN-TIME ERRORS; SAFETY CRITICAL SOFTWARE; TOOLSETS;

ERRORS;

EID: 33847161641     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45136-6_18     Document Type: Conference Paper

References (8)

1. J. Barnes. High integrity Ada: The SPARK approach. Addison-Wesley, 1997.
2. D.M. Foulger. Evaluation of the SPARK toolset in checking for run-time errors in safety-critical software. MSc report, University of York, Heslington, York, UK, 2000.
3. D.M. Foulger. Results of study into run-time checks of SPARK programs. Technical Report BAe-BSY-RP-GEN-000008, Issue 1, BAE SYSTEMS, Brough, E. Yorkshire, July 2000.
4. MOD. The procurement of safety related software in defence equipment. UK Ministry of Defence, August 1997. DEF STAN 00-55 (Part 1: Requirements and Part 2: Guidance).
5. K.A. Nyberg, editor. The annotated Ada Reference Manual. ANSI, 1983. ANSI/ MIL-STD-1815A-1983.
6. M. Saaltink and S. Michell. Ada95 trustworthiness study: guidance on the use of Ada95 in the development of high integrity systems. Technical Report TR-97-5499-04a, Version 2.0, Department of National Defence, Ottawa, Canada, March 1997.
7. SPARK — The SPADE Ada Kernel. Praxis Critical Systems, August 1997. Edition 3.3.
8. J.P. Thornley. Static analysis and diversity in the software development process — experiences with the use of SPARK. In K. Hardy and J. Briggs, editors, Reliable software technologies — Ada-Europe '97, number 1251 in Lecture Notes in Computer Science, pages 266-277. Springer-Verlag, 1997.