At the ISSRE 2014 (IEEE International Symposium on Software Reliability Engineering) Markus Schacher from KnowGravity Inc. will be holding the KeyNote in the workshop track about risk, with the title “Model-based Risk Analysis in the Railways Domain”. Below you will find the abstract of the keynote:
Back in 2010 the Swiss Railways started an initiative to standardize the interfaces of their highly safety-relevant interlocking systems across all suppliers. As the leading contractor, KnowGravity Inc. approached this challenge in an entirely model-based way: from model-based requirements engineering in SysML, over executable specifications in xUML and model-based testing using the UML testing profile (UTP), down to model-based planning and document production. So, it was only natural to perform risk analysis in a model-based way as well. In this presentation I will show how we developed a formal model to predict and evaluate critical behavior of complex heterogeneous systems utilizing the mechanism of UML profiling. Developing a UML profile for risk analysis enabled us to apply common techniques such as HAZOP, FMEA, FTA and ETA using a commercial UML modeling tool. It also made tight model integration and comprehensive traceability between risk models and other languages implemented as UML profiles possible. I will discuss the organizational as well as technical challenges we were (and still are) facing, particularly the reuse of model elements across multiple systems and components to be able to “model by difference” the risk-related aspects of a whole family of systems.