11th IEEE International Conference on Industrial Informatics (INDIN’2013)
Date: Jul 29, 2013 – Jul 31, 2013
Location: Bochum, Germany
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-Rüdiger Hase, DB Netz AG, Germany
Program Commitee
Marc Behrens, Deutsches Zentrum für 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 Lüttgen, 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
Submitted by Amy Karns
on
Date: Jul 29, 2013 – Jul 31, 2013
Location: Bochum, Germany
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-Rüdiger Hase, DB Netz AG, Germany Program Commitee Marc Behrens, Deutsches Zentrum für 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 Lüttgen, 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
Submitted by Amy Karns
on