Static analysis and diversity in the software development process — experiences with the use of SPARK

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

Volumn 1251, Issue , 1997, Pages 266-277

  Thornley, J Phil ^a  

^a BAE SYSTEMS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); SOFTWARE ENGINEERING; STATIC ANALYSIS;

BEST PRACTICES; DEVELOPMENT PROCESS; SAFETY CRITICAL SOFTWARE; SOFTWARE DEVELOPMENT PROCESS;

SOFTWARE DESIGN;

EID: 84957673746     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63114-3_24     Document Type: Conference Paper

References (12)

1. Defence Standard 00-55, The Procurement of Safety Related Software in Defence Equipment, Issue 2
2. Defence Standard 00-56, Safety Management Requirements for Defence Systems, Issue 2
3. IEEE SESC Software Safety Planning Group, Action Plan, 15 October 1996
4. Ricky W Butler and George B Finelli, The Infeasibility of Experimental Quantification of Life-Critical Software Reliability Proceedings of the ACM SIGSOFT'91 Conference on Software for Critical Systems, December 1991
5. Bev Littlewood and Lorenzo Strigini, Validation of Ultrahigh Dependability for Software-Based Systems, Communications of the ACM, Volume 36, No 11
6. SPARK - The SPADE Ada Kernel Edition 3.2, October 1996 available from Praxis Critical Systems
7. A Study of High Integrity Ada: Language Review, Study for UK MoD, Document Reference SLS31c/73-l-D, 9 July 1992
8. A Study of High Integrity Ada: Analysis of Ada Programs, Study for UK MoD, Document Reference SLS31e/73-2-D, 30 April 1993
9. Jacques Brygier and Marc Richard-Foy, Certification of Ada Real Time Executives for Safety Critical Applications Proceedings of Ada-Europe '93, Michel Gauthier (Ed), Springer-Verlag 1993
10. John Barnes (with Praxis Critical Systems), High Integrity Ada: The SPARK Approach, Addison Wesley Longman 1997
11. Mark Saaltink and Steve Michell, Ada 95 Trustworthiness Study: Analysis of Ada 95 for Critical Systems ORA Canada Technical Report, TR-96-5499-03a, January 1997
12. Bernard Carré, Jon Gamsworth and William Marsh, SPARK - A Safety- Related Ada Subset Proceedings of the 1992 Ada UK International Conference, October 1992, 'Ada in Transition', WJ Taylor (Ed), IOS Press 1992