Safety Management for Software based Equipment

Safety Management for Software based Equipment
Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Total Pages : 192
Release : 2013-05-06
ISBN 10 : 9781118578612
ISBN 13 : 1118578619
Language : EN, FR, DE, ES & NL

Safety Management for Software based Equipment Book Description:

A review of the principles of the safety of software-basedequipment, this book begins by presenting the definition principlesof safety objectives. It then moves on to show how it is possibleto define a safety architecture (including redundancy,diversification, error-detection techniques) on the basis of safetyobjectives and how to identify objectives related to softwareprograms. From software objectives, the authors present thedifferent safety techniques (fault detection, redundancy andquality control). “Certifiable system” aspects aretaken 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 aspecialist in the software engineering domain (requirementengineering, semi-formal and formal method, proof andmodel-checking). He also works as an expert for the French notifiedbody CERTIFER in the field of certification of safety criticalrailway applications based on software (ERTMS, SCADA, automaticsubway, etc.). His research interests include requirements,software verification and validation, traceability and RAMS with aspecial focus on SAFETY.


RELATED BOOKS:
Safety Management for Software-based Equipment
Language: en
Pages: 192
Authors: Jean-Louis Boulanger
Categories: Technology & Engineering
Type: BOOK - Published: 2013-05-06 - Publisher: John Wiley & Sons

A review of the principles of the safety of software-basedequipment, this book begins by presenting the definition principlesof safety objectives. It then moves on to show how it is possibleto define a safety architecture (including redundancy,diversification, error-detection techniques) on the basis of safetyobjectives and how to identify objectives related to
Computer Safety, Reliability, and Security
Language: en
Pages: 412
Authors: Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
Categories: Computers
Type: BOOK - Published: 2019-09-29 - Publisher: Springer Nature

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two
Metaheuristics for Air Traffic Management
Language: en
Pages: 214
Authors: Nicolas Durand, David Gianazza, Jean-Baptiste Gotteland, Jean-Marc Alliot
Categories: Computers
Type: BOOK - Published: 2016-01-19 - Publisher: John Wiley & Sons

Air Traffic Management involves many different services such as Airspace Management, Air Traffic Flow Management and Air Traffic Control. Many optimization problems arise from these topics and they generally involve different kinds of variables, constraints, uncertainties. Metaheuristics are often good candidates to solve these problems. The book models various complex
Rapid Prototyping Software for Avionics Systems
Language: en
Pages: 128
Authors: Nicolas Larrieu, Antoine Varet
Categories: Computers
Type: BOOK - Published: 2014-10-13 - Publisher: John Wiley & Sons

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid
Metaheuristics for Logistics
Language: en
Pages: 222
Authors: Laurent Deroussi
Categories: Computers
Type: BOOK - Published: 2016-02-10 - Publisher: John Wiley & Sons

This book describes the main classical combinatorial problems that can be encountered when designing a logistics network or driving a supply chain. It shows how these problems can be tackled by metaheuristics, both separately and using an integrated approach. A huge number of techniques, from the simplest to the most