Safety Management for Software-Based Equipment - Rilegato

Boulanger, Jean-louis

Rilegato

ISBN 10: 1848214529 ISBN 13: 9781848214521

Casa editrice: Iste/Hermes Science Pub, 2013

Riassunto

A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). “Certifiable system” aspects are taken into account throughout the book.

Contents

1. Safety Management.
2. From System to Software.
3. Certifiable Systems.
4. Risk and Safety Levels.
5. Principles of Hardware Safety.
6. Principles of Software Safety.
7. Certification.

About the Authors

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.

Su questo libro

Informazioni sull'autore

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway sector focusing on software elements. He is a specialist in the field of software engineering (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.

Dettagli dell'edizione

• Editore: Iste/Hermes Science Pub
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 1848214529
• ISBN 13: 9781848214521
• Rilegatura: Copertina rigida
• Numero di pagine: 192
• Contatto del produttore: non disponibile
• Persona responsabile: Wiley-VCH GmbH; product_safety@wiley.com; ; Boschstrasse 12; Weinheim; 69469; Germania