JPL Technical Report Server

Results of a Formal Methods Demonstration Project

Show simple item record

dc.contributor.author Kelly, J. en_US
dc.contributor.author Covington, R. en_US
dc.contributor.author Hamilton, D. en_US
dc.date.accessioned 2004-10-06
dc.date.available 2004-10-06
dc.date.issued 1994-09-27 en_US
dc.identifier.citation Anaheim, California, USA en_US
dc.identifier.clearanceno 94-0991 en_US
dc.identifier.uri http://hdl.handle.net/2014/34635
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

Search


Browse

My Account