Abstract
The United Kingdom Ministry of Defence (MoD) has pioneered the use of software static code analysis (SCA) methodologies, some of the tools and their application. This paper discusses, what is meant by static analysis, reviews some of the tools and considers some of the lessons learnt from the practical application of SCA when used to evaluate military avionics software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGARD (Advisory Group for Aerospace Research and Development) Conference Proeedings 545
Barnes John, High Integrity Ada — The SPARK approach, 1997, Addison-Wesley
Graham Buckle, Static Analysis of Safety Critical Software, 1998, Proceedings of the sixth safety-critical system symposium, Springer.
Ministry of Defence, Defence Standard 00–55 “Requirements for safety related software in defence equipment”, Part 1, Issue 2, 01/08/97
Ministry of Defence, Defence Standard 00–56 Part 2 Issue 2 “Safety Management Requirements for Defence Systems Part 1, Issue 2, dated 13/12/96
Ministry of Defence, Defence Standard 00–970, Design and airworthiness requirements for service aircraft Part) Issue 2, 01/12/99.
Ministry of Defence, Defence Standard 00–971, “General specification for aircraft gas turbine engines”, Issue 1, 29/05/87.
Harrion KJ. Static Code Analysis on the C-130J Herciles Safety-Critical Software Aei 1999.
M Hill and L Whiting, “Risk reduction for C coding”, DERA Malvern, 1999.
AdaTEST and Cantata http://www.iplbath.com
Ministry of Defence, JSP318b “Regulation Of The Airworthiness Of Ministry Of Defence Aircraft” Edition 4 November 1999
Neil Storey, Safety Critical Computer Systems, 1995, Addison-Wesley
Notes T A Consultancy Services Ltd, MALPAS Training Course, TACS/9093/15 dated 12/08/92
Wichmann B A, Canning A A, Clutterbuck D L, Winsbarrow L A, Ward N J, and Marsh D W R, 1995, Industrial perspective on static analysis, Software Engineering Journal.
RTCA DO 178B, Software considerations in airborne systems and equipment certification, RTCA Inc, 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this paper
Cite this paper
German, A., Mooney, G. (2001). Air vehicle Software Static Code Analysis Lessons Learnt. In: Redmill, F., Anderson, T. (eds) Aspects of Safety Management. Springer, London. https://doi.org/10.1007/978-1-4471-0713-2_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0713-2_13
Publisher Name: Springer, London
Print ISBN: 978-1-85233-411-6
Online ISBN: 978-1-4471-0713-2
eBook Packages: Springer Book Archive