11th IEEE International Conference on Industrial Informatics (INDIN’2013)
Special Session on Ensuring Safety in Industrial Critical Systems (ESICS)
In many safety-critical industrial areas, such as the automotive, railway, aerospace or automation industry, E/E systems have become indispensable. Due to the increasing complexity of those systems ensuring their safe operation has become a challenge.
This session will be focusing on (but not limited to) the following topics:
- Approaches to the design of safe E/E systems
- Validation & verification of safety-critical systems
- Industrial case studies
- Development of certifiable E/E systems
- Tools for ensuring safe E/E systems
- Formal Methods and formalization of requirements
- Model-checking, model-based testing and test case generation
Organizers
Michael Ditze, TWT Science & Innovation GmbH, Germany
Helen Finch, Infineon UK, United Kingdom
Frank Golatowski, University of Rostock, Germany
Klaus-Rudiger Hase, DB Netz AG, Germany
Program Commitee
Marc Behrens, Deutsches Zentrum fur Luft- und Raumfahrt, Germany Mafijul Islam, Volvo Group, Sweden
Michael Jastram, Formal Mind GmbH, Germany
Rolf Johansson, SP Technical Research Institute of Sweden
Joost-Pieter Katoen, RWTH Aachen University, Germany
Gerald Luttgen, University of Bamberg, Germany
Olaf Kath, IKV++ Technologies AG, Germany
Marielle Petit-Doche, SYSTEREL, France
Stefan Rieger, TWT Science & Innovation GmbH, Germany
Uwe Steinke, Siemens AG, Germany