An Analysis of Ordnance Software Using the MALPAS Tools
Author | : K. J. Hayman |
Publisher | : |
Total Pages | : 23 |
Release | : 1989 |
ISBN-10 | : 0646004808 |
ISBN-13 | : 9780646004808 |
Rating | : 4/5 (08 Downloads) |
Download or read book An Analysis of Ordnance Software Using the MALPAS Tools written by K. J. Hayman and published by . This book was released on 1989 with total page 23 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. Keywords: MAIPAS computer program; Computer program verification; Electric fuzes ordnance; Computer program reliability; Safing and arming ordnance; Time delay fuzes; EXDET fuzes. Australia. (edc).