NASA Office of Safety and Mission Assurance, Washington, DC. Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion, July 1995. NASAGB -002-95, Release 1.0.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... program of applied formal methods activity at NASA s Langley Research Center (LaRC) 2] Additional background and overview material on the use of formal methods in aerospace applications can be found in Rushby s formal methods handbooks [18,19] and in the previously mentioned guidebook volumes [14,15]. 2 Overview of SAFER SAFER is a small, self contained, backpack propulsion system enabling free flying mobility for a crew member engaged in extravehicular activity (EVA) SAFER is a single string system designed for contingency use only. The description that follows draws heavily on excerpts ....

NASA Office of Safety and Mission Assurance, Washington, DC. Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion, July 1995. NASAGB -002-95, Release 1.0.

....of NASA programs, including Space Shuttle [5] Space Station [14, 15] and Cassini [16] Throughout these studies, the emphasis has been on pragmatic application of formal methods in areas where there appears to be the greatest need. Results of these studies are described in two NASA guidebooks [17, 18]. Although some development of the methods themselves has been necessary in order to fit them to our purpose, this has not been the main focus of the studies. Rather, we have concentrated on addressing issues such as: Can formal methods provide a cost effective addition to the existing ....

NASA, "Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Volume 2: A Practitioner's Companion (DRAFT)," NASA Office of Safety and Mission Assurance, Report NASA-GB-???, 1996.

....of NASA programs, including Space Shuttle [5] Space Station [14, 15] and Cassini [16] Throughout these studies, the emphasis has been on pragmatic application of formal methods in areas where there appears to be the greatest need. Results of these studies are described in two NASA guidebooks [17, 18]. Although some development of the methods themselves has been necessary in order to fit them to our purpose, this has not been the main focus of the studies. Rather, we have concentrated on addressing issues such as: Can formal methods provide a cost effective addition to the existing ....

NASA, "Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Vol 1: Planning and Technology Insertion," NASA Office of Safety and Mission Assurance, Report NASA-GB002 -95, 1995.

.... program of applied formal methods activity at NASA s Langley Research Center (LaRC) 2] Additional background and overview material on the use of formal methods in aerospace applications can be found in Rushby s formal methods handbooks [16,17] and in the previously mentioned guidebook volumes [12,13]. 2 Overview of SAFER SAFER is a small, self contained, backpack propulsion system enabling free flying mobility for a crew member engaged in extravehicular activity (EVA) SAFER is a single string system designed for contingency use only. The description that follows draws heavily on excerpts ....

NASA Office of Safety and Mission Assurance, Washington, DC. Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion, July 1995. NASAGB -002-95, Release 1.0.

....Space Shuttle [6] Space Station [13] 14] and Cassini [15] Throughout these studies, the emphasis has been on pragmatic application of formal methods in areas where there appears to be the greatest need. Experiences gained from these studies have been used to develop two NASA guidebooks [16], 17] Although some development of the methods themselves has been necessary in order to fit them to our purpose, this has not been the main focus of the studies. Rather, we have concentrated on addressing issues such as: Can formal methods provide a cost effective addition to existing ....

NASA, "Formal Methods Specification and Verification Guidebook for Software and Computer Systems. Vol. 1: Planning and Technology Insertion," Report NASA-GB-002-95, NASA Office of Safety and Mission Assurance, Washington D.C., 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC