DocumentCode
1635127
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
fYear
1996
Firstpage
238
Lastpage
245
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1996. Proceedings., 1996 Asia-Pacific
Conference_Location
Seoul
Print_ISBN
0-8186-7638-8
Type
conf
DOI
10.1109/APSEC.1996.566758
Filename
566758
Link To Document