| Alternate document: Details Formalizing Space Shuttle Software Requirements (96) Judith Crow, Ben L. Di Vito |
Ben L. Di Vito  Home/Search
Context Related
| nasa.gov/fm/ftp/papers/1996/fme96.ps nasa.gov/pub/techr...SAfme96bld.ps.Z nasa.gov/pub/fm/papers/1996/fme96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nasa.gov/people/bld/ (more) From: nasa.gov/fm/fmpubslarc (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this industrial usage report. Portions of the GPS CR were modeled ... (Update)
Context of citations to this paper: More
...SRI, and V iGYAN. Portions of the Space Shuttle flight control requirements and change requests have formalized and analyzed [25, 18, 24, 17, 19]. At Langley, NASA researchers continued work on refining the fault tolerant architecture developed earlier by specifying lower...
.... 11 considered major ) were detected in several iterations of a CR for installing Global Positioning System (GPS) navigation on the Shuttle [4]. 1 2.2 Completeness and Consistency of Tabular Specifications Rather stronger than typechecking are completeness and consistency...
Cited by: More
Verification and Validation of Autonomy Software at NASA - Pecheur (2000) (Correct)
Experiences Using Formal Methods for Requirements.. - Easterbrook, Lutz.. (1996) (Correct)
Calculating with Requirements (Extended Abstract) - Rushby (1997) (Correct)
Similar documents (at the sentence level):
39.7%: Using Formal Methods to Assist in the Requirements Analysis of .. - Di Vito, al. (1996) (Correct)
14.3%: Formalizing Space Shuttle Software Requirements - Crow, Di Vito (1996) (Correct)
Active bibliography (related documents): More All
0.5: PVS Bibliography - Rushby (1998) (Correct)
0.3: Experiences Using Lightweight Formal Methods for.. - Easterbrook.. (1998) (Correct)
0.3: NASA Langley's Research and Technology-Transfer Program in.. - Ricky Butler (1995) (Correct)
Similar documents based on text: More All
0.2: Structural Safety Of A Space Telescope Science Instrument - Michael David Brent (Correct)
0.2: Optimal Dispatching of a Finite Capacity Shuttle under.. - Van Oyen, Teneketzis (Correct)
0.2: Optimal Scheduling of s Finite Capacity Shuttle under.. - Van Oyen, Teneketzis (1991) (Correct)
Related documents from co-citation: More All
11: Formalizing space shuttle software requirements - Crow, Di Vito - 1996
7: Formal verification for fault-tolerant architectures: Prolegomena to the design .. - Owre, Rushby et al. - 1995
5: Computer Science Laboratory (context) - Shankar, in et al. - 1993
BibTeX entry: (Update)
Di Vito, Ben L.: Formalizing New Navigation Requirements for NASA's Space Shuttle. In Formal Methods Europe (FME '96), Oxford, England, Mar. 1996, pp. 160--178. Lecture Notes in Computer Science 1051, Springer. http://citeseer.ist.psu.edu/ben96formalizing.html More
@inproceedings{ divito96formalizing,
author = "Ben L.\ Di Vito",
title = "{Formalizing New Navigation Requirements for {NASA}'s Space Shuttle}",
booktitle = "{FME}'96: Industrial Benefit and Advances in Formal Methods",
publisher = "Springer-Verlag",
editor = "Marie-Claude Gaudel and Jim Woodcock",
pages = "160--178",
year = "1996",
url = "citeseer.ist.psu.edu/ben96formalizing.html" }
Citations (may not include all citations):270 Formal Verification for Fault-Tolerant Architectures: Proleg.. - Owre, Rushby et al. - 1995
130 Specifying Software Requirements for Complex Systems: New Te.. (context) - Heninger - 1980
57 An international survey of industrial applications of formal.. - Craigen, Gerhart et al. - 1993
51 Formal Methods and the Certification of Critical Systems - Rushby - 1993
26 Requirements Model: Re-Examination for RealTime Systems and .. (context) - van Schouwen, A- - 1990
14 NASA Langley's Research and Technology Transfer Program in F.. - Butler, Caldwell et al. - 1995
10 Using Formal Methods to Assist in the Requirements Analysis .. (context) - Di Vito, Roberts - 1996
9 Experiences in Applying Formal Methods to the Analysis of So.. (context) - Hamilton, Covington et al. - 1995
9 Experience Report: Using Formal Methods for Requirements Ana.. - Lutz, Ampo - 1994
7 Formal Methods Specification and Verification Guidebook for .. (context) - Aeronautics, Administration et al. - 1995
5 Experience Report on Requirements Reliability Engineering Us.. (context) - Hamilton, Covington et al. - 1995
3 An Experiment on the Validation of a Specification by Hetero.. - Arnold, Gaudel et al. - 1995
2 An Assessment of Space Shuttle Flight Software Development P.. (context) - Council, Review et al. - 1993
2 Formal Methods Demonstration Project for Space Applications .. (context) - Team, Propulsion et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://shemesh.larc.nasa.gov/people/bld/): More
Formal Techniques for Synchronized Fault-Tolerant Systems - Di Vito, Butler (1992) (Correct)
Formalizing Space Shuttle Software Requirements - Crow, Di Vito (1996) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (Correct)
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