| |

Click on image to enlarge

River Publishers Series in Computing and Information Science and Technology 

Certifications of Critical Systems - The CECRIS Experience

Editors:
Andrea Bondavalli, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), and University of Florence, Italy
Francesco Brancati, ResilTech Srl, Italy

Authors:
CISUC, Department of Informatics Engineering, University of Coimbra, Portugal, Prolan Process Control Co., Szentendrei ´ut 1-3, H-2011 Budakal´asz, Hungary, ISEC – Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Portugal

ISBN: 9788793519565

e-ISBN: 9788793519558

doi: https://doi.org/10.13052/rp-9788793519558

Price: €0.00

Available: September 2017

Print book available at List Price

[35.41 MB] Downloads: [1424] Reads [849]    

Book Contents:

Chapter 11
Validating a Safety Critical Railway Application Using Fault Injection
by Ivano Irrera, Andr´as Zentai, Jo˜ao Carlos Cunha, and Henrique Madeira
Download as a PDF [2112KB]

 

Certifications of Critical Systems - The CECRIS Experience