Safety of Computer Architectures
Publication Date: June 2010 Hardback 512 pp.
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation.
The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).
1. Principles, Jean-Louis Boulanger.
2. Railway Safety Architecture, Jean-Louis Boulanger.
3. From the Coded Uniprocessor to 2oo3, Gilles Legoff and Christophe Girard.
4. Designing a Computerized Interlocking Module: a Key Component of Computer-Based Signal Boxes Designed by the SNCF, Marc Antoni.
5. Command Control of Railway Signaling Safety: Safety at Lower Cost, Daniel Drago.
6. Dependable Avionics Architectures: Example of a Fly-by-Wire system, Pascal Traverse, Christine Bezard, Jean-Michel Camus, Isabelle Lacaze, Hervé Leberre, Patrick Ringeard and Jean Souyris.
7. Space Applications, Jean-Paul Blanquart and Philippe Miramont.
8. Methods and Calculations Relative to “Safety Instrumented Systems” at TOTAL, Yassine Chaabi and Jean-Pierre Signoret.
9. Securing Automobile Architectures, David Liaigre.
10. SIS in Industry, Grégory Buchheit and Olaf Malasse.
11. A High-Availability Safety Computer, Sylvain Baro.
12. Safety System for the Protection of Personnel in the CERN Large Hadron Collider, Pierre Ninin, Silvia Grau, Tomasz Ladzinski and Francesco Valentini.
About the Authors
Jean-Louis Boulanger is an Independent Safety Assessor (ISA) for software in the railway industry. After 15 years working at the RATP (the authority that manages the subway in Paris) and 6 years as a researcher and teacher at the University of Technology of Compiegne in France, he is currently working 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.