LEADER 02826nam 2200613Ia 450 001 9910819781503321 005 20200520144314.0 010 $a0-429-07004-7 010 $a1-4398-0332-3 024 7 $a10.1201/b10094 035 $a(CKB)2670000000060526 035 $a(EBL)624966 035 $a(OCoLC)692197097 035 $a(SSID)ssj0000415711 035 $a(PQKBManifestationID)11296690 035 $a(PQKBTitleCode)TC0000415711 035 $a(PQKBWorkID)10411997 035 $a(PQKB)10964462 035 $a(MiAaPQ)EBC624966 035 $a(Au-PeEL)EBL624966 035 $a(CaPaEBR)ebr10433621 035 $a(CaONFJC)MIL693194 035 $a(EXLCZ)992670000000060526 100 $a20100803d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and safety assessment of critical systems /$fMarco Bozzano, Adolfo Villafiorita 205 $a1st ed. 210 $aBoca Raton $cAuerbach Publications$d2010 215 $a1 online resource (288 p.) 300 $aDescription based upon print version of record. 311 $a1-4665-3235-1 311 $a1-322-61912-3 311 $a1-4398-0331-5 320 $aIncludes bibliographical references and index. 327 $aFront 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 cover 330 $aSafety-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 verifica 606 $aIndustrial safety 606 $aSystem safety 615 0$aIndustrial safety. 615 0$aSystem safety. 676 $a620.8/6 700 $aBozzano$b Marco$01664786 701 $aVillafiorita$b Adolfo$01664787 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910819781503321 996 $aDesign and safety assessment of critical systems$94023024 997 $aUNINA