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-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