Name: Safety Management for Software-Based Equipment (en Inglés)
Price: 199570.00 CLP
Availability: InStock
Author: Boulanger, Jean-Louis
ISBN: 9781848214521

portada Safety Management for Software-Based Equipment (en Inglés)

Formato

Libro Físico

Autor

Jean-Louis Boulanger

Editorial

Wiley-Iste

Año

2013

Idioma

Inglés

N° páginas

192

Encuadernación

Tapa Dura

Dimensiones

24.1 x 16.4 x 2.2 cm

Peso

0.46 kg.

ISBN

1848214529

ISBN13

9781848214521

Categorías

Ingeniería de las comunicaciones y las telecomunicaciones

Safety Management for Software-Based Equipment (en Inglés)

Jean-Louis Boulanger (Autor) · Wiley-Iste · Tapa Dura

Libro Físico

$ 199.570

$ 332.620

Ahorras: $ 133.050

40% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 17 de Julio y el Viernes 26 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Safety Management for Software-Based Equipment (en Inglés)"

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.