Certifications of Critical Systems - The Cecris Experience

ISBN-13: 9788793519565 / Angielski / Twarda / 2017 / 250 str.

Andrea Bondavalli; Francesco Brancati

Opis

Documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.

Spis treści

• Preface
• 1. A framework to identify companies gaps when introducing new standards for safety-critical software
• 2. Experiencing Model-Driven Engineering for Railway Interlocking Systems
• 3. SYSML-UML like modelling environment based on Google Blockly customization
• 4. A process for finding and tackling the main root causes that affect critical systems quality
• 5. Framework for automation of hazard log management on large critical projects
• 6. Cost Estimation for Independent Systems Verification and Validation
• 7. Lightweight formal analysis of requirements
• 8. STECA –
• Security Threats, Effects and Criticality Analysis: Definition and Application to Smart Grids
• 9. Composable Framework Support for Software-FMEA through Model Execution
• 10. A monitoring and testing framework for critical off-the-shelf applications and services
• 11. Validating a safety critical railway application using fault injection
• 12. Robustness and Fault Injection for the Validation of Critical Systems
• Author Index
• Keyword Index.

O autorze

Andrea Bondavalli, Francesco Brancati