Design and safety assessment of critical systems
- نوع فایل : کتاب
- زبان : انگلیسی
- مؤلف : Marco Bozzano; Adolfo Villafiorita
- ناشر : Boca Raton, FL : Auerbach Publications,
- چاپ و سال / کشور: 2011
- شابک / ISBN : 9781439803318
Description
Introduction Complex Safety-Critical Systems Dealing with Failures: A Short History of Safety Engineering The Role of Formal Methods A Case Study: Three Mile Island References Dependability, Reliability, and Safety Assessment Concepts Classification of Faults Fault Models Managing Faults Fault Detection Fault Prediction Fault Tolerance Fault Coverage Reliability Modeling System Reliability Techniques for Safety Assessment Hazard Analysis Risk Analysis Risk Measures Development of Safety-Critical Applications What Makes a System Complex What Makes the Development Complex Measuring the Impact of Complexity From System to Process A General Development Framework Development Workflow Testing Workflow Safety Assessment Workflow Certification Management Workflow Project Management Workflow Tool Support Improving the Process: Maturity Models Formal Methods for Safety Assessment Advantages of Formal Methods Formal Methods in the Development Process Problems and Limitations History of Formal Methods Formal Models and Specification Formal Methods for Verification and Validation Formal Safety Analysis Industrial Applications of Formal Methods Conclusions and Future Directions Formal Methods for Certification Certification of Avionic Systems So Many Standards, So Little Time The ECSS System of Standards Avionics Reference Standards ARP 4754 ARP 4761 DO-178B The Case for the Safety Case Formal Methods and Certification References Appendices: The NuSMV Model Checker The FSAP Safety Analysis Platform Some Regulatory Bodies and Regulations Index
With safety-critical systems becoming more complex, this text highlights how to improve these systems to reduce the risk of harmful effects to people and the environment. It provides an introduction to the area of design and verification of safety critical systems, with a focus on safety assessment.
