Limit search to available items
Record 38 of 79
Previous Record Next Record
Book Cover
E-book
Author Bozzano, Marco

Title Design and safety assessment of critical systems / Marco Bozzano, Adolfo Villafiorita
Published Boca Raton, FL : Auerbach Publications, ©2011

Copies

Description 1 online resource (xvii, 279 pages) : illustrations
Contents 1. Introduction -- 2. Dependability, reliability, and safety assessment -- 3. Techniques for safety assessment -- 4. Development of safety-critical applications -- 5. Formal methods for safety assessment -- 6. Formal methods for certification
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
Bibliography Includes bibliographical references and index
Notes English
Print version record
Subject Industrial safety.
Occupational Health
occupational safety.
TECHNOLOGY & ENGINEERING -- Industrial Health & Safety.
Industrial safety
Form Electronic book
Author Villafiorita, Adolfo
LC no. 2010029858
ISBN 9781439803325
1439803323
0429070047
9780429070044