Dresden Colloquia on Automation Technology (DAK)

Tradition in Times of Change

Supported by the Fraunhofer IVI and several institutes of the Faculty of Electrical and Computer Engineerin at the TU Dresden, the Dresden Colloquia on Automation Technology (Dresdner Automatisierungstechnische Kolloquien – DAK) has established itself as a high-profile event series with over 20 years of tradition.

The wide range of topics offered covers the entire field of engineering and includes talks on fundamental control and systems theory, applied automation engineering, mechatronics, sensor development, microelectronics and interesting reports on practical projects.

Talks of renowned experts in the field are the main attraction of the regular events. They are usually accompanied by features from the organizing institutes, which underlines the importance of DAK as a specialist communication platform for university institutes, higher education institutions and vocational colleges, extramural university research institutes, as well as engineering firms and regional industry.

Program

291st Colloquium

Monday, December 10, 2018, 1 pm

Dr.-Ing. Andrey Morozov

Technische Universität Dresden,
Faculty of Electrical and Computer Engineering,
Institute of Automation

Model-based Dependability Analysis for Cyber-Physical Systems

 

Abstract

Modern industrial standards demand high system dependability and resilience. Classical quantitative methods, such as event trees, reliability block diagrams, fault trees, and Markov chain models are recommended for the evaluation of reliability and safety properties. 

However, the proper application of these methods to complex Cyber-Physical Systems (CPS) with distributed and networked software and hardware parts require thorough comprehension of both dependability properties of components, their interaction as well as structural and behavioral aspects of the complete system. Model-based System Engineering (MBSE) approaches help both to simplify and speed up the development process and provide semi-formal data for earlier dependability analysis. My presentation will cover the latest research results of our team with the key focus on stochastic error propagation analysis of heterogeneous CPS. We develop methods and tools based on probabilistic model checking and statistical simulations. A lot of effort is put into optimizations against state space explosion of underlying formal models and automatic application of our methods using transformation algorithms from common semi-formal  MBSE models such as Simulink/Stateflow, UML/SysML, and AADL. The presentation starts with an overview of common MBSE paradigms and state-of-the-art reliability and safety evaluation methods. The main part of the talk addresses the technical details of our analytical methods. Finally, several relevant case studies will be discussed.

Organizational Matters

The event is free of charge and always begins at 1 p.m. in the

Conference room of the Fraunhofer IVI Dresden, Zeunerstrasse 38, 01069 Dresden.

It is not necessary to register before the event.

If you are in our mailing list, you will receive an invitation via e-mail. Interested participants can register with

Elke Sähn, Communication and Design,
Phone +49 3 51 4640-612,
presse@ivi.fraunhofer.de

for the mailing list.

Organizers

  • Fraunhofer Institute for Transportation and Infrastructure Systems IVI
  • Institute of Automation (IfA) of the Faculty of Electrical and Computer Engineering at TU Dresden