Formal methods and their role in digital systems validation for airborne systems
Read Online
Share

Formal methods and their role in digital systems validation for airborne systems by John Rushby

  • 609 Want to read
  • ·
  • 85 Currently reading

Published by National Aeronautics and Space Administration, Langley Research Center, Available from the National Technical Information Service in Hampton, Va, Springfield, VA .
Written in English

Subjects:

  • Computer software -- Validation,
  • Computer software -- Verification

Book details:

Edition Notes

StatementJohn Rushby.
SeriesNASA contractor report -- NASA CR-4673.
ContributionsSRI International., Langley Research Center.
The Physical Object
Paginationv, 58 p. :
Number of Pages58
ID Numbers
Open LibraryOL17803975M
OCLC/WorldCa33065936

Download Formal methods and their role in digital systems validation for airborne systems

PDF EPUB FB2 MOBI RTF

Formal methods and their role in digital systems validation for airborne systems [microform] / John Rushby; Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering un Formal specification and verification of a . Chapter 12 - Validation, Verification, and Formal Methods for Cyber-Physical Systems. Author links open overlay panel P. Bagade A. Banerjee S.K.S. Gupta. Show more. also known as validation. In this book chapter, we give a brief overview of the formal models, verification techniques, and validation methodologies that are most recently Cited by: 1. Formal methods are most likely to be applied to safety-critical or security-critical software and systems, such as avionics software. Software safety assurance standards, such as DOC allows the usage of formal methods through supplementation, and Common Criteria mandates formal methods at the highest levels of categorization. Jul 21,  · Abstract. Validation and verification (V&V) of advanced control systems is required for their use in fielded systems. A comprehensive V&V process involving analysis, simulation, and experimental testing should be used to assess closed-loop system performance and identify system limitations.

ARPA Guidelines for Development of Civil Aircraft and Systems 34 Discussion of Recent Changes to ARP 36 Identified Textual Changes Within ARPA 38 ARP Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment 40 Software Design Assurance 40 9. This technical report includes 1.) the technical basis for formal methods, 2.) the use of formal methods in the specification and verification of software and hardware requirements, design, and implementation, 3.) the benefits, weaknesses, and difficulties of applying formal methods to digital systems used in safety critical applications, and 4. With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could result in catastrophic loss of property and life. DO is a supplement to the DOC standard, which is dedicated to guiding the application of formal methods in the review and analysis of. This report was prepared to supplement a forthcoming chapter on formal methodsin the FAA Digital Systems Validation Handbook1. Its purpose is to outlinethe technical basis for formal methods in Author: John Rushby.

Digital Systems Validation Handbook. Volume 2 [COMPUTER RESOURCE MANAGEMENT INC HERNDON VA] on academyrealtor.com *FREE* shipping on qualifying academyrealtor.com: COMPUTER RESOURCE MANAGEMENT INC HERNDON VA. Download Citation | Validation and Verification Techniques and Tools | Validation and verification (V&V) of advanced control systems is required for their use in fielded systems. A comprehensive V. 4 FORMAL VERIFICATION TECHNIQUES FOR DIGITAL SYSTEMS. front-end tools affects formal verification, the selection of mathematical models compact because of their logic structures. It means that BDD-based methods are 8 FORMAL VERIFICATION TECHNIQUES FOR DIGITAL SYSTEMS. Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations Cited by: