Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0

Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider 0001, Denis Uecker. Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. In Christel Seguin, Marc Zeller, Tatiana Prosvirnova, editors, Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Volume 13525 of Lecture Notes in Computer Science, pages 83-97, Springer, 2022. [doi]

Authors

Daniel Hillen

This author has not been identified. Look up 'Daniel Hillen' in Google

Tom P. Huck

This author has not been identified. Look up 'Tom P. Huck' in Google

Nishanth Laxman

This author has not been identified. Look up 'Nishanth Laxman' in Google

Christoph Ledermann

This author has not been identified. Look up 'Christoph Ledermann' in Google

Jan Reich

This author has not been identified. Look up 'Jan Reich' in Google

Patrick Schlosser

This author has not been identified. Look up 'Patrick Schlosser' in Google

Andreas Schmidt

This author has not been identified. Look up 'Andreas Schmidt' in Google

Daniel Schneider 0001

This author has not been identified. Look up 'Daniel Schneider 0001' in Google

Denis Uecker

This author has not been identified. Look up 'Denis Uecker' in Google