Accession Number:

ADA220578

Title:

An Analysis of Ordnance Software Using the MALPAS Tools

Descriptive Note:

Technical rept.

Corporate Author:

ELECTRONICS RESEARCH LAB ADELAIDE (AUSTRALIA)

Personal Author(s):

Report Date:

1989-10-01

Pagination or Media Count:

33.0

Abstract:

The increasing use of software in systems where a failure endangers human life is creating an awareness of the need for careful verification of the correct functioning of such software. In this light, an analysis was made of the software to control a smart ordnance device, by applying the MALPAS static analysis package. This report presents the results of the analysis, both as they relate to the specific software being analysed 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. 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 also made between the findings of the analysis and currently proposed standards for writing safety-critical software. edc

Subject Categories:

  • Computer Programming and Software
  • Ammunition and Explosives

Distribution Statement:

APPROVED FOR PUBLIC RELEASE