Safety Management of Software-based Equipment

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.

Verwandte Artikel

Safety Management for Software-Based Equipment Boulanger, Jean-Louis

177,50 €*

Weitere Produkte vom selben Autor

Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*
Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*