{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T14:49:12Z","timestamp":1769352552232,"version":"3.49.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"name":"State of Rhineland-Palatinate"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2013,7]]},"abstract":"<jats:p>In recent years it has become more and more evident that openness and adaptivity are key characteristics of next-generation distributed systems. The reason for this is not least due to the advent of computing trends like ubiquitous computing, ambient intelligence, and cyber-physical systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive, it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article we show how to operationalize these concepts. To this end, we present in detail how to specify conditional safety certificates, how to transform them into suitable runtime models, and how these models finally support dynamic safety evaluations.<\/jats:p>","DOI":"10.1145\/2491465.2491467","type":"journal-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T13:37:52Z","timestamp":1373377072000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Conditional Safety Certification of Open Adaptive Systems"],"prefix":"10.1145","volume":"8","author":[{"given":"Daniel","family":"Schneider","sequence":"first","affiliation":[{"name":"Fraunhofer IESE"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2009.55"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_2_1_4_1","volume-title":"Service-Oriented Modeling: Service Analysis, Design, and Architecture","author":"Bell M."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MISE.2009.5069899"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Conference on Computer Automated Design. 236--243","author":"Bryant R. E.","year":"1995"},{"key":"e_1_2_1_8_1","unstructured":"Continua Alliance. http:\/\/www.continuaalliance.org\/index.html.  Continua Alliance. http:\/\/www.continuaalliance.org\/index.html."},{"key":"e_1_2_1_9_1","unstructured":"DO-178C. 2012. Software considerations in airborne systems and equipment certification. Radio Technical Commision for Aeronautics (RTCA) SC-205 European Organisation for Civil Aviation Equipment (EUROCAE) WG-12.  DO-178C. 2012. Software considerations in airborne systems and equipment certification. Radio Technical Commision for Aeronautics (RTCA) SC-205 European Organisation for Civil Aviation Equipment (EUROCAE) WG-12."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_8"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/381766.381770"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the 15th Safety Critical Systems Symposium.","author":"Fenn J."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.61"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_8"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69073-3_23"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the International System Safety Conference (ISSC\u201902)","author":"Hawkins R.","year":"2002"},{"key":"e_1_2_1_17_1","unstructured":"IEC 61508. 1999. Functional safety of electrical\/electronic\/programmable electronic safety related systems. International Electrotechnical Commission. http:\/\/www.iec.ch\/functionalsafety\/.  IEC 61508. 1999. Functional safety of electrical\/electronic\/programmable electronic safety related systems. International Electrotechnical Commission. http:\/\/www.iec.ch\/functionalsafety\/."},{"key":"e_1_2_1_18_1","unstructured":"IEC 62304. 2006. Medical device software -- Software life cycle processes. http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=3 8421.  IEC 62304. 2006. Medical device software -- Software life cycle processes. http:\/\/www.iso.org\/iso\/catalogue_detail.htm?csnumber=3 8421."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"e_1_2_1_20_1","unstructured":"ISO26262. 2011. Road vehicles functional safety part 6: Product development at the software level. http:\/\/www.iso.org\/iso\/catalogue_detail?csnumber=51362.  ISO26262. 2011. Road vehicles functional safety part 6: Product development at the software level. http:\/\/www.iso.org\/iso\/catalogue_detail?csnumber=51362."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the Conferences in Research and Practice in Information Technology.","volume":"33","author":"Kaiser B"},{"key":"e_1_2_1_22_1","unstructured":"Kelly T. P. 2001. Concepts and principles of compositional safety case construction. COMSA\/2001\/1\/1 Res. rep. commissioned by QinetiQ. http:\/\/www-users.cs.york.ac.uk\/tpk\/CompositionalSafetyCases.pdf.  Kelly T. P. 2001. Concepts and principles of compositional safety case construction. COMSA\/2001\/1\/1 Res. rep. commissioned by QinetiQ. http:\/\/www-users.cs.york.ac.uk\/tpk\/CompositionalSafetyCases.pdf."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of the DSN Workshop on Assurance Cases: Best Practices, Possible Outcomes, and Future Opportunities.","author":"Kelly T. P."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.08.038"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 24th International System Safety Conference. 596--607","author":"Lisagor O."},{"key":"e_1_2_1_26_1","unstructured":"Maenad. 2013. Is an FP7 project funded by the European Commission. http:\/\/www.maenad.eu.  Maenad. 2013. Is an FP7 project funded by the European Commission. http:\/\/www.maenad.eu."},{"key":"e_1_2_1_27_1","unstructured":"MagicDraw. 2013. Homepage: http:\/\/www.magicdraw.com\/.  MagicDraw. 2013. Homepage: http:\/\/www.magicdraw.com\/."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.327"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018420.1019737"},{"key":"e_1_2_1_30_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 18th International Conference on Computer Safety, Reliability and Security","author":"Papadopoulos Y."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370028"},{"key":"e_1_2_1_32_1","unstructured":"Rushby J. 2002. Modular certification. NASA contractor rep. CR-2002-212130 NASA Langley Research Center.  Rushby J. 2002. Modular certification. NASA contractor rep. CR-2002-212130 NASA Langley Research Center."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.26"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_2"},{"key":"e_1_2_1_35_1","unstructured":"SAE ARP 4761. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Society of Automotive Engineers. http:\/\/standards.sae.org\/arp4761\/.  SAE ARP 4761. 1996. Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Society of Automotive Engineers. http:\/\/standards.sae.org\/arp4761\/."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.111"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772643.1772660"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2011.20"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988036"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the Workshop on Reliability in Embedded Systems.","author":"Shelton C. P."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060047"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the IASTED International Conference on Software Engineering (SE\u201907)","author":"Trapp M."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808989"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491465.2491467","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491465.2491467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:49Z","timestamp":1750231729000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491465.2491467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["10.1145\/2491465.2491467"],"URL":"https:\/\/doi.org\/10.1145\/2491465.2491467","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"2012-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}