Formal Methods and their Role in the Certification of Critical Systems

Formal Methods and their Role in the Certification of Critical Systems (1995)

Cached

Download Links

[www.csl.sri.com]

by John Rushby

Venue:	Safety and Reliability of Software Based Systems (Twelfth Annual CSR Workshop
Citations:	37 - 1 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Formal methods and their role in the certification of critical systems	INFERENCE
AUTHOR NAME	John Rushby	SVM HeaderParse 0.1
AUTHOR AFFIL	; Computer Science Laboratory; SRI International; Research Center, Langley VA, under Contract NAS1-18969, monitored by NASA Langley Research; SRI-CSL-93-7	SVM HeaderParse 0.2
AUTHOR ADDR	; Menlo Park CA 94025 USA	SVM HeaderParse 0.1
ABSTRACT	This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a guide to assist FAA Certification Specialists with Advanced Technology Issues). 1 Its purpose is to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations, to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal methods are offered in support of certification. The presentation concentrates on the rationale for formal methods and on their contribution to assurance for critical applications within a context such as that provided by DO-178B (the guidelines for software used on board civil aircraft) 2 ; it is intended as an introduction for those to whom these topics are new. A more technical discussion of formal methods is provided in a companion report. 3 1 Digital Systems ...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	Safety and Reliability of Software Based Systems (Twelfth Annual CSR Workshop	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
PAGES	1--42	INFERENCE
TECH	Technical Report CSL-95-1	INFERENCE
CITATIONS	6 found	ParsCit 1.0