02894nam 2200637Ia 450 991081978150332120200520144314.00-429-07004-71-4398-0332-310.1201/b10094 (CKB)2670000000060526(EBL)624966(OCoLC)692197097(SSID)ssj0000415711(PQKBManifestationID)11296690(PQKBTitleCode)TC0000415711(PQKBWorkID)10411997(PQKB)10964462(MiAaPQ)EBC624966(Au-PeEL)EBL624966(CaPaEBR)ebr10433621(CaONFJC)MIL693194(OCoLC)462925705(FINmELB)ELB163580(EXLCZ)99267000000006052620100803d2010 uy 0engur|n|---|||||txtccrDesign and safety assessment of critical systems /Marco Bozzano, Adolfo Villafiorita1st ed.Boca Raton Auerbach Publications20101 online resource (288 p.)Description based upon print version of record.1-4665-3235-1 1-322-61912-3 1-4398-0331-5 Includes bibliographical references and index.Front cover; Contents; Preface; Acknowledgments; About the Authors; Chapter 1: Introduction; Chapter 2: Dependability, Reliability,and Safety Assessment; Chapter 3: Techniques for Safety Assessment; Chapter 4: Development ofSafety-Critical Applications; Chapter 5: Formal Methods for Safety Assessment; Chapter 6: Formal Methods for Certification; Appendix A: The NuSMV Model Checker; Appendix B: The FSAP Safety Analysis Platform; Appendix C: Some Regulatory Bodies and Regulations; Back coverSafety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verificaIndustrial safetySystem safetyIndustrial safety.System safety.620.8/6Bozzano Marco1664786Villafiorita Adolfo1664787MiAaPQMiAaPQMiAaPQBOOK9910819781503321Design and safety assessment of critical systems4023024UNINA