Title :
Formal methods pilot project
Author :
Hart, Tracey ; Linn, Fiona ; Morello, Roberto ; Royle, Greg ; Kearney, Peter ; Lindsay, Peter ; Ross, Kelvin ; Traynor, Owen
Author_Institution :
Trusted Syst. Group, CSC Australia Pty Ltd., The Levels, SA, Australia
Abstract :
Reports on a collaborative project to pilot the use of formal methods in the development of safety-related software. Using the SVRC´s Cogito methodology, staff from CSC Australia undertook: formal specification; validation of the specification by mathematical consistency checks; hazard analysis; and validation of the specification against the safety requirements. Part of the design was modelled formally and verified
Keywords :
formal specification; program verification; safety-critical software; SVRC Cogito methodology; collaborative project; formal methods; formal specification; hazard analysis; mathematical consistency checks; pilot project; safety requirements; safety-related software development; validation; Application software; Australia; Collaborative software; Computer industry; Computer science; Formal specifications; Hazards; Kelvin; Software safety; Testing;
Conference_Titel :
Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
Conference_Location :
Seoul
Print_ISBN :
0-8186-7638-8
DOI :
10.1109/APSEC.1996.566758
