Use of Static Code Analysis to Support the Safety Certification of Airborne Software

  • Richard Granville
  • Keith Harrison
Conference paper

Abstract

The UK MoD will shortly take delivery of the Hercules C-130J transport aircraft, which contains a large number of safety-critical software systems. It was therefore decided to carry out a detailed third-party assessment of this software, using Static Code Analysis techniques. This paper describes the experience gained from the assessment project and summarises the benefits obtained.

Keywords

Clarification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1998

Authors and Affiliations

  • Richard Granville
    • 1
  • Keith Harrison
    • 2
  1. 1.System Integrity and Risk Management DepartmentLloyd’s RegisterCroydonUK
  2. 2.Avionics Engineering GroupAerosystems InternationalYeovilUK

Personalised recommendations