Design and safety assessment of critical systems / Marco Bozzano, Adolfo Villafiorita.

Format:

Book

Author/Creator:

Bozzano, Marco.

Contributor:

Villafiorita, Adolfo.

Language:

English

Subjects (All):

Industrial safety.

System safety.

Physical Description:

1 online resource (288 p.)

Edition:

1st ed.

Place of Publication:

Boca Raton : Auerbach Publications, 2010.

Language Note:

English

Summary:

Safety-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

Contents:

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 cover

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on metadata supplied by the publisher and other sources.

ISBN:

9781040158562

1040158560

9780429070044

0429070047

9781439803325

1439803323

OCLC:

692197097