Formal methods pilot project
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 4 references indexed in Scilit:
- Formal methods in safety-critical standardsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Cogito Repository ManagerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Applying formal specification in industryIEEE Software, 1996
- COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENTInternational Journal of Software Engineering and Knowledge Engineering, 1995