The slides are relative to the presentation of the omonymous paper at the 30th International Conference on Computer Safety, Reliability and Security (Safecomp 2011). This paper is about the generation of formal models form high level specification for the evaluation of maintenance on critical computer based systems.

1. Model-driven availability evaluation of railway control systems Simona Bernardi, Francesco Flammini, Stefano Marrone, Josè Merseguer, Camilla Papa, Valeria Vittorini SAFECOMP 2011 September 19-22, 2011 Naples, Italy

7. Model Driven modeling & evaluation S. Marrone – Model-driven availability evaluation of railway control system High level modeling (system & requirements): Improvement of existing UML profiles DSLs definition … . M2M transformations application in order to generate formal sub models (PNs, FTs, QNs, BNs, etc) Sub models integration by interfaces and compositional operators M1 Mn … .. Level 1 M2M Level 2 M2M

9. Improving MARTE-DAM S. Marrone – Model-driven availability evaluation of railway control system Improve modeling of K-out-of-N structures

10. Improving MARTE-DAM S. Marrone – Model-driven availability evaluation of railway control system Trigger events that start maintenance actions Complex maintenance actions are accomplished by teams Maintainers are not all the same!

12. Generating formal models S. Marrone – Model-driven availability evaluation of railway control system Software (and systems) crisis is just evolving... New way to reuse artifacts must be searched!! Model Driven Engineering is not the silver bullet

14. Generating formal models S. Marrone – Model-driven availability evaluation of railway control system

15. The Radio Block Centre case study S. Marrone – Model-driven availability evaluation of railway control system

16. The Radio Block Centre case study S. Marrone – Model-driven availability evaluation of railway control system

17. The Radio Block Centre case study S. Marrone – Model-driven availability evaluation of railway control system