An analysis of ordnance software using the MALPAS tools

Author

Hayman, Ken

Author_Institution

Defence Sci. & Technol. Organ., Salisbury, SA, Australia

fYear

1990

fDate

25-28 June 1990

Firstpage

86

Lastpage

94

Abstract

Results of using the MALPAS static analysis package are presented, both as they relate to the specific software being analyzed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. The translation of the software into the intermediate language used by the MALPAS analyzers, the results of code analysis, the answers to questions posed about the software, and the conclusions arising from the analysis are discussed. Two significant safety-related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are made between the findings of the analysis and currently proposed standards for writing safety-critical software.<>

Keywords

military computing; program compilers; program verification; real-time systems; safety; standards; MALPAS analyzers; MALPAS static analysis package; code analysis; ordnance software; real-time software; safety-critical software; safety-related flaws; standards; static analysis techniques; Humans; Information analysis; Laboratories; Packaging; Safety devices; Software packages; Software safety; Software standards; Software systems; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on

Conference_Location

Gaithersburg, MD, USA

Type

conf

DOI

10.1109/CMPASS.1990.175404

Filename

175404