Plug-and-Produce... Safely! End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0
Hillen, Daniel ; Huck, Tom P.
1; Laxman, Nishanth; Ledermann, Christoph 1; Reich, Jan; Schlosser, Patrick 1; Schmidt, Andreas; Schneider, Daniel; Uecker, Denis
1 Institut für Anthropomatik und Robotik (IAR), Karlsruher Institut für Technologie (KIT)
1; Laxman, Nishanth; Ledermann, Christoph 1; Reich, Jan; Schlosser, Patrick 1; Schmidt, Andreas; Schneider, Daniel; Uecker, Denis1 Institut für Anthropomatik und Robotik (IAR), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-031-15842-1 ISSN: 0302-9743, 1611-3349 KITopen-ID: 1000151672 |
| Erschienen in | Model-Based Safety and Assessment – 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings. Ed.: C. Seguin |
| Veranstaltung | 8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022), München, Deutschland, 05.09.2022 – 07.09.2022 |
| Verlag | Springer International Publishing |
| Seiten | 83–97 |
| Serie | Lecture Notes in Computer Science (LNCS) ; 13525 |
| Vorab online veröffentlicht am | 09.09.2022 |
| Nachgewiesen in | Scopus Dimensions |