Book Contents:
Chapter 1 A Framework to Identify Companies Gaps When Introducing New Standards for Safety-Critical Software by Andrea Ceccarelli and Nuno Silva Download as a PDF [2081KB] Downloads [609 ]
Chapter 2 Experiencing Model-Driven Engineering for Railway Interlocking Systems by Fabio Scippacercola, Andr´as Zentai and Stefano Russo Download as a PDF [4513KB] Downloads [678 ]
Chapter 3 SYSML-UML Like Modeling Environment Based on Google Blockly Customization by Arun Babu Puthuparambil, Francesco Brancati, Andrea Bondavalli
and Andrea Ceccarelli Download as a PDF [4206KB] Downloads [648 ]
Chapter 4 A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality by Nuno Silva, Francisco Moreira, Jo˜ao Carlos Cunha,
and Marco Vieira Download as a PDF [883KB] Downloads [769 ]
Chapter 5 Framework for Automation of Hazard Log Management on Large Critical Projects by Lorenzo Vinerbi and Arun Babu Puthuparambil Download as a PDF [1921KB] Downloads [1161 ]
Chapter 6 Cost Estimation for Independent Systems Verification and Validation by Andr´as Pataricza, L´aszl´o G¨onczy, Francesco Brancati,
Francisco Moreira, Nuno Silva3, Rosaria Esposito,
Andrea Bondavalli and Alexandre Esper Download as a PDF [2067KB] Downloads [714 ]
Chapter 7 Lightweight Formal Analysis of Requirements by Andr´as Pataricza, Imre Kocsis, Francesco Brancati,
Lorenzo Vinerbi and Andrea Bondavalli Download as a PDF [5078KB] Downloads [601 ]
Chapter 8 STECA – Security Threats, Effects and Criticality Analysis: Definition and Application to Smart Grids by Mario Rui Baptista, Nuno Silva, Nicola Nostro,
Tommaso Zoppi and Andrea Ceccarelli Download as a PDF [3895KB] Downloads [720 ]
Chapter 9 Composable Framework Support for Software-FMEA through Model Execution by Valentina Bonfiglio1, Francesco Brancati1, Francesco Rossi1, Andrea
Bondavalli2,3, Leonardo Montecchi2,3, Andr´as Pataricza4,
Imre Kocsis4 and Vince Moln´ar4 Download as a PDF [1903KB] Downloads [681 ]
Chapter 10 A Monitoring and Testing Framework for Critical Off-the-Shelf Applications and Services by Nuno Antunes, Francesco Brancati, Andrea Ceccarelli,
Andrea Bondavalli and Marco Vieira Download as a PDF [2525KB] Downloads [640 ]
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] Downloads [967 ]