{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:28:34Z","timestamp":1773329314221,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031158414","type":"print"},{"value":"9783031158421","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15842-1_7","type":"book-chapter","created":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:02:50Z","timestamp":1662609770000},"page":"83-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Plug-and-Produce... Safely!"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2118-6097","authenticated-orcid":false,"given":"Daniel","family":"Hillen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7906-3615","authenticated-orcid":false,"given":"Tom P.","family":"Huck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6017-6372","authenticated-orcid":false,"given":"Nishanth","family":"Laxman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8246-9715","authenticated-orcid":false,"given":"Christoph","family":"Ledermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1269-8429","authenticated-orcid":false,"given":"Jan","family":"Reich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Schlosser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7113-7376","authenticated-orcid":false,"given":"Andreas","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3465-9738","authenticated-orcid":false,"given":"Daniel","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9551-7875","authenticated-orcid":false,"given":"Denis","family":"Uecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,9]]},"reference":[{"key":"7_CR1","unstructured":"Details of the asset administration shell - part 1. https:\/\/www.plattform-i40.de\/PI40\/Redaktion\/DE\/Downloads\/Publikation\/Details_of_the_Asset_Administration_Shell_Part1_V3.html"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-319-45477-1_22","volume-title":"Computer Safety, Reliability, and Security","author":"M Askarpour","year":"2016","unstructured":"Askarpour, M., Mandrioli, D., Rossi, M., Vicentini, F.: SAFER-HRC: safety analysis through formal vERification in human-robot collaboration. In: Skavhaug, A., Guiochet, J., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9922, pp. 283\u2013295. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45477-1_22"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Behrens, R.: Biomechanische Grenzwerte f\u00fcr die sichere Mensch-Roboter-Kollaboration. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-658-26996-8","DOI":"10.1007\/978-3-658-26996-8"},{"key":"7_CR4","volume-title":"Service-Oriented Modeling: Service Analysis, Design, and Architecture","author":"M Bell","year":"2008","unstructured":"Bell, M.: Service-Oriented Modeling: Service Analysis, Design, and Architecture. Wiley, Hoboken (2008)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3502265","volume":"3","author":"P Brauner","year":"2022","unstructured":"Brauner, P., et al.: A computer science perspective on digital transformation in production. ACM Trans. Internet Things 3(2), 1\u201332 (2022). https:\/\/doi.org\/10.1145\/3502265","journal-title":"ACM Trans. Internet Things"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.procir.2021.11.033","volume":"104","author":"C Brecher","year":"2021","unstructured":"Brecher, C., Buchsbaum, M., Ziegler, F., Storms, S.: Ontology-based data management for adaptable safety functions in cyber-physical production systems. Procedia CIRP 104, 194\u2013199 (2021)","journal-title":"Procedia CIRP"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1613\/jair.1.12716","volume":"72","author":"A Corso","year":"2021","unstructured":"Corso, A., Moss, R., Koren, M., Lee, R., Kochenderfer, M.: A survey of algorithms for black-box safety validation of cyber-physical systems. J. Artif. Intell. Res. 72, 377\u2013428 (2021)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Desai, A., Ghosh, S., Seshia, S.A., Shankar, N., Tiwari, A.: SOTER: a runtime assurance framework for programming safe robotics systems. In: 49th International Conference on Dependable Systems and Networks (DSN), pp. 138\u2013150 (2019)","DOI":"10.1109\/DSN.2019.00027"},{"key":"7_CR9","unstructured":"EU: Directive 2006\/42\/ec of the European parliament and of the council of 17 May 2006 on machinery, and amending directive 95\/16\/ec (recast) (2006)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"G\u00f6be, F., Ney, O., Kowalewski, S.: Reusability and modularity of safety specifications for supervisory control. In: 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1\u20138 (2016)","DOI":"10.1109\/ETFA.2016.7733498"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Graydon, P.J.: The many conflicting visions of \u2018safety case\u2019. In: 47th International Conference on Dependable Systems and Networks Workshops (DSN-W) (2017)","DOI":"10.1109\/DSN-W.2017.12"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Grochowski, M., Kowalewski, S., Buchsbaum, M., Brecher, C.: Applying runtime monitoring to the industrial internet of things. In: 24th International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 348\u2013355 (2019)","DOI":"10.1109\/ETFA.2019.8869447"},{"issue":"1","key":"7_CR13","first-page":"3","volume":"68","author":"M Grochowski","year":"2020","unstructured":"Grochowski, M., et al.: Formale Methoden f\u00fcr rekonfigurierbare cyber-physische Systeme in der Produktion. Autom.-Tech. 68(1), 3\u201314 (2020)","journal-title":"Autom.-Tech."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/j.ssci.2015.12.017","volume":"84","author":"J Guiochet","year":"2016","unstructured":"Guiochet, J.: Hazard analysis of human-robot interactions with HAZOP-UML. Saf. Sci. 84, 225\u2013237 (2016)","journal-title":"Saf. Sci."},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1109\/LRA.2021.3133612","volume":"7","author":"TP Huck","year":"2021","unstructured":"Huck, T.P., Ledermann, C., Kr\u00f6ger, T.: Testing robot system safety by creating hazardous human worker behavior in simulation. IEEE Robot. Autom. Lett. 7(2), 770\u2013777 (2021)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"7_CR16","unstructured":"International Electrotechnical Commission: IEC 61508:2010 - Functional safety of electrical\/electronic\/programmable electronic safety-related systems (2010)"},{"key":"7_CR17","unstructured":"International Organization for Standardization: ISO 10218:2011 - Robots and robotic devices - Safety requirements for industrial robots (2011)"},{"key":"7_CR18","unstructured":"International Organization for Standardization: ISO 12100:2011 Safety of machinery - General principles for design - Risk assessment and risk reduction (2011)"},{"key":"7_CR19","unstructured":"International Organization for Standardization (ISO): ISO 13849:2015 - Safety of machinery - Safety-related parts of control systems (2015)"},{"key":"7_CR20","unstructured":"International Organization for Standardization (ISO): ISO\/TS 15066:2016 - Robots and robotic devices - Collaborative robots (2016)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Jaradat, O., Sljivo, I., Habli, I., Hawkins, R.: Challenges of safety assurance for industry 4.0. In: 13th European Dependable Computing Conference (EDCC) (2017)","DOI":"10.1109\/EDCC.2017.21"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Kane, A., Fuhrman, T., Koopman, P.: Monitor based oracles for cyber-physical system testing: practical experience report. In: 44th International Conference on Dependable Systems and Networks, pp. 148\u2013155 (2014)","DOI":"10.1109\/DSN.2014.28"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Koo, C., Laxman, N., M\u00f6hrle, F.: Runtime safety analysis for reconfigurable production systems. In: 30th European Safety and Reliability Conference (ESREL) (2020)","DOI":"10.3850\/978-981-14-8593-0_5343-cd"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Kretschmer, F., Lechler, A., Verl, A.: Gelbe Seiten f\u00fcr Industrie 4.0 - Aufbrechen statischer Produktionsstrukturen mittels eines \u00fcbergeordneten Verzeichnisdienstes, pp. 109\u2013110. AUTOMATION 2016: 17. Branchentreff der Mess- und Automatisierungstechnik, VDI Verlag, D\u00fcsseldorf, 1 edn. (31012022 2016)","DOI":"10.51202\/9783181022849-109"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Lesage, B.M.J.R., Alexander, R.: SASSI: safety analysis using simulation-based situation coverage for Cobot systems. In: SafeCOMP (2021)","DOI":"10.1007\/978-3-030-83903-1_13"},{"key":"7_CR26","volume-title":"Engineering a Safer World","author":"N Leveson","year":"2011","unstructured":"Leveson, N.: Engineering a Safer World. MIT Press, Cambridge (2011)"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Rathmair, M., et al.: Formal verification of safety properties of collaborative robotic applications including variability. In: 30th International Conference on Robot & Human Interactive Communication (RO-MAN), pp. 1283\u20131288 (2021)","DOI":"10.1109\/RO-MAN50785.2021.9515404"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-030-26601-1_18","volume-title":"Computer Safety, Reliability, and Security","author":"J Reich","year":"2019","unstructured":"Reich, J., Zeller, M., Schneider, D.: Automated evidence analysis of safety arguments using digital dependability identities. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11698, pp. 254\u2013268. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26601-1_18"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Schmidt, A., Reich, J., Sorokos, I.: Live in ConSerts: model-driven runtime safety assurance on microcontrollers, edge, and cloud practical. In: 17th European Dependable Computing Conference (EDCC), pp. 61\u201366. IEEE (2021)","DOI":"10.1109\/EDCC53658.2021.00016"},{"issue":"2","key":"7_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2491465.2491467","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(2), 1\u201320 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., H\u00f6fig, K.: WAP: digital dependability identities. In: 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 324\u2013329. IEEE (2015)","DOI":"10.1109\/ISSRE.2015.7381825"},{"key":"7_CR32","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-030-59155-7_35","volume-title":"Software Architecture","author":"F Schnicke","year":"2020","unstructured":"Schnicke, F., Kuhn, T., Antonino, P.O.: Enabling industry 4.0 service-oriented architecture through digital twins. In: Muccini, H., et al. (eds.) ECSA 2020. CCIS, vol. 1269, pp. 490\u2013503. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59155-7_35"},{"key":"7_CR33","unstructured":"Trapp, M.: Assuring functional safety in open systems of systems (2016)"},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10270-019-00757-6","volume":"19","author":"A Wortmann","year":"2020","unstructured":"Wortmann, A., Barais, O., Combemale, B., Wimmer, M.: Modeling languages in industry 4.0: an extended systematic mapping study. Softw. Syst. Model. 19(1), 67\u201394 (2020)","journal-title":"Softw. Syst. Model."},{"key":"7_CR35","unstructured":"Zeller, M., Ratiu, D., Rothfelder, M., Buschmann, F.: An industrial roadmap for continuous delivery of software for safety-critical systems. In: 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP) (2020)"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15842-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T04:04:19Z","timestamp":1662609859000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15842-1_7"}},"subtitle":["End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158414","9783031158421"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15842-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"9 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/easyconferences.eu\/imbsa2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}