JPL Technical Report Server

Results of a Formal Methods Demonstration Project

Show simple item record Kelly, J. en_US Covington, R. en_US Hamilton, D. en_US 2004-10-06 2004-10-06 1994-09-27 en_US
dc.identifier.citation Anaheim, California, USA en_US
dc.identifier.clearanceno 94-0991 en_US
dc.description.abstract This paper describes the results of a cooperative study conducted by a team of researchers in formal methods at three NASA Centers to demonstrate FM techniques and to tailor them to critical NASA software systems. This pilot project applied FM to an existing critical software subsystem, the Shuttle's Jet Select subsystem (Phase I of an ongoing study). The present study shows that FM can be used successfully to uncover hidden issues in a highly critical and mature Functional Subsystem Software Requirements (FSSR) specification which are very difficult to discover by traditional means. en_US
dc.format.extent 190616 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other formal methods computer system specification computer system verification software specification software verification Space Shuttle Jet Select subsystem NASA software systems en_US
dc.title Results of a Formal Methods Demonstration Project en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account