Model-based Safety Analysis for Timed Systems
Dr. K.C. Shashidhar (Fraunhofer Institute for Experimental Software Engineering IESE, Kaiserslautern)
Model-based safety analysis of systems is an emerging trend in systems engineering. It comes on the heels of adoption of model-based approaches by industry for system development with considerable success. The distinguishing feature of this trend is the use of high-level models to capture aspects of system design in order to enable automated analysis for safety assessment. Several approaches have been proposed in the recent literature to shape this trend. They differ in the types of models used, the analyses supported and their rigor. One interesting development here is the renewed interest in the application of formal methods to provide a precise semantics to the models in play and analyze them with guarantees of soundness. Model checking, an analysis technique that has found much success in hardware and software verification, has received particular attention in this regard. In this talk, we review the concepts and artefacts used in safety analysis, followed by a discussion of our work (in progress) that is focused on model-based safety analysis for timed systems.
K.C. Shashidhar is a researcher in the area of applied formal methods for systems and software engineering, with over 10 years of experience working for research institutes and corporate laboratories. At present, he is a recipient of the ERCIM 'Alain Bensoussan' Fellowship hosted by Fraunhofer Institute for Experimental Software Engineering (IESE) in Kaiserslautern, Germany. He has received his PhD from Katholieke Universiteit Leuven, Belgium, MTech from Indian Institute of Technology - Delhi and BEng from University of Mysore, India, all in Computer Science.