SRDS 2016 is collocated with the Final Event of the CECRIS – CErtification of CRItical Systems project. The Final Event will be held on Monday, September 26, from 9:00 to 17:00.
The participants of SRDS are cordially invited to join the CECRIS Final Event and the CECRIS Technical Day. More details are available on the CECRIS project page and on the related registration page.
Overview of the Agenda
- 9:00 Welcome, Introduction and Project Overview
- 9:30 Session 1: Certification
- A framework to identify companies gaps when introducing new standards for safety-critical software
- Applicability of the Common Safety Method for Risk Evaluation and Assessment (CSM-RA) to the space domain
- 10:20 Coffee break
- 10:50 Session 2: Model Driven Methodology
- An industrial case study: Experiencing model-driven methodology for a railway interlocking system
- SYSML-UML like modelling environment based on a Google Blockly tool customization
- 11:40 Session 3: V&V and Quality Processes (part 1)
- A process for finding and tackling the main root causes that affect critical systems quality
- Framework for automation of hazard log management on large critical projects
- 12:30 Lunch
- 13:30 Session 3: V&V and Quality Processes (part 2)
- CECRISMO: a cost estimator for validating and verifying critical applications
- Requirement management
- 14:20 Session 4: FMEA & FMECA
- STECA – Security Threats, Effects and Criticality Analysis: Definition and application to smart grids
- Failure propagation analysis by using FMEA in model-driven environments
- Composable framework support for software-FMEA through model execution
- 15:35 Coffee break
- 16:05 Session 5: Robustness and Fault injection
- Validating a safety critical railway application using fault injection
- A monitoring and testing framework for critical off-the-shelf applications and services
- 16:55 Closing Session