Download or read book Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request written by National Aeronautics and Space Administration (NASA) and published by Createspace Independent Publishing Platform. This book was released on 2018-07-17 with total page 98 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 (CR's) were selected as promising targets to demonstrate the utility of formal methods in this application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this report. Carried out in parallel with the Shuttle program's conventional requirements analysis process was a limited form of analysis based on formalized requirements. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During the formal methods-based analysis, numerous requirements issues were discovered and submitted as official issues through the normal requirements inspection process. Shuttle analysts felt that many of these issues were uncovered earlier than would have occurred with conventional methods. We present a summary of these encouraging results and conclusions we have drawn from the pilot project. DiVito, Ben L. and Roberts, Larry W. Johnson Space Center; Langley Research Center...

Download or read book Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request written by Ben L. Di Vito and published by . This book was released on 1996 with total page 100 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book FME 96 Industrial Benefit and Advances in Formal Methods written by Marie-Claude Gaudel and published by Springer Science & Business Media. This book was released on 1996-03-06 with total page 724 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Download or read book NASA Technical Memorandum written by and published by . This book was released on 1997 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Specification of Software Systems written by V.S. Alagar and published by Springer Science & Business Media. This book was released on 2011-03-19 with total page 654 pages. Available in PDF, EPUB and Kindle. Book excerpt: This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

Download or read book ACM Transactions on Software Engineering and Methodology written by and published by . This book was released on 1998 with total page 498 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA Langley Scientific and Technical Information Output 1996 written by and published by . This book was released on 1997 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1999 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Aeronautical Journal written by and published by . This book was released on 1996 with total page 1150 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Towards a Customizable PVS written by Gerald Lüttgen and published by . This book was released on 2000 with total page 22 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "PVS is a state-of-the-art theorem-proving tool developed by SRI International. It is used in a variety of academic and real-world applications by NASA and ICASE researchers, for whom tool customization and extensibility are becoming increasingly important issues. This paper shows, by referring to past experiences with several projects and case studies, that the customization features currently offered by PVS are often insufficient. It also suggests several improvements regarding PVS's customization in the short run and regarding its extensibility in the long run."

Download or read book COMPASS written by and published by . This book was released on 1995 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book IEEE International Symposium on Requirements Engineering written by and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 1999 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 19 papers from the June 1999 symposium are a mix of innovative ideas and validation of more widely known techniques. The papers review techniques for defining and analyzing: system behaviors through sets of related scenarios, systems that directly address human or social aspects of requirements engineering, systems from multiple views or perspectives, properties of requirements, and non-functional systems properties, such as performance, security, or costs. Example topics are human errors and system requirements, a strategy for inquiry-driven requirements determination, generating user interface prototypes from scenarios, and prioritization of system changes using cost-benefit and risk assessments. No subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com).

Download or read book Finite state Analysis of Space Shuttle Contingency Guidance Requirements written by Judith Crow and published by . This book was released on 1996 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book An Assessment of Space Shuttle Flight Software Development Processes written by National Research Council and published by National Academies Press. This book was released on 1993-02-01 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors and controls critical systems throughout a Space Shuttle flight. At NASA's request, the committee convened to review the agency's flight software development processes and to recommend a number of ways those processes could be improved. This book, the result of the committee's study, evaluates the safety, oversight, and management functions that are implemented currently in the Space Shuttle program to ensure that the software is of the highest quality possible. Numerous recommendations are made regarding safety and management procedures, and a rationale is offered for continuing the Independent Verification and Validation effort that was instituted after the Challenger Accident.

Download or read book A Formal Methods Application for the Space Shuttle Check out and Launch Control System written by Peter Anthony Engrand and published by . This book was released on 1998 with total page 170 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Space Shuttle Technical Conference Part 1 written by and published by . This book was released on 1985 with total page 604 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Space Shuttle Missions Summary NASA TM 2011 216142 written by Robert D. Legler and published by www.Militarybookshop.CompanyUK. This book was released on 2011-09-01 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: Full color publication. This document has been produced and updated over a 21-year period. It is intended to be a handy reference document, basically one page per flight, and care has been exercised to make it as error-free as possible. This document is basically "as flown" data and has been compiled from many sources including flight logs, flight rules, flight anomaly logs, mod flight descent summary, post flight analysis of mps propellants, FDRD, FRD, SODB, and the MER shuttle flight data and inflight anomaly list. Orbit distance traveled is taken from the PAO mission statistics.