文档介绍：Integration of Formal Methods into System Safety and Reliability Analysis
O. Akerlund; Saab AB, Aerospace; Linkoping, Sweden
S. Nadjm-Tehrani; Dept. puter & Info. Science, Linköping University; Sweden
G. Stålmarck; Prover Technology AB and Dept. puting Science, Chalmers University; Sweden
Keywords: Formal verification, Safety analysis, Reliability analysis, NP-Tools
performed by separate teams of engineers and
Abstract
usually using different models and analysis
environments. The resulting risk for
System verification and hazard analysis patibility and pleteness is
procedures on critical systems are traditionally amplified by the variety of engineering
carried out in separate stages of product disciplines involved (mechanical, electrical,
development and by different teams of chemical, software, etc). Language barriers
engineers. Safety and hazard analyses have for and methodological gaps are ample. The
several decades been based on techniques such original fault-tree analysis technique, for
as fault tree analysis (FTA), whereas system example, was devised for systems consisting
verification is carried out by testing and mostly of hardware, and attempts to apply and
simulation. Recent years have seen an extend it to software are only recent.
increasing interest in application of formal
Formal techniques for software correctness
methods for detecting