{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:35:49Z","timestamp":1773329749801,"version":"3.50.1"},"publisher-location":"Cham","reference-count":76,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319089140","type":"print"},{"value":"9783319089157","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08915-7_11","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T09:35:54Z","timestamp":1404466554000},"page":"279-318","source":"Crossref","is-referenced-by-count":16,"title":["Safety Assurance of Open Adaptive Systems \u2013 A Survey"],"prefix":"10.1007","author":[{"given":"Mario","family":"Trapp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"B.H.C. Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"11_CR2","unstructured":"Blair, G., et al.: Models@Run.Time. IEEE Computer (November 2010)"},{"key":"11_CR3","unstructured":"Dagstuhl Seminar on Models@run.time, \n                    \n                      http:\/\/www.dagstuhl.de\/en\/program\/calendar\/semhp\/?semnr=11481\n                    \n                    \n                   (last visited June 2012)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Blair, G., Coulson, G., Robin, P., Papathomas, M.: An architecture for next generation middleware. In: S.J. Davies, N.A.J., Raymond, K. (eds.) IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Middleware 1998 (1998)","DOI":"10.1007\/978-1-4471-1283-9_12"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Kon, F., Roman, M., Liu, P., Mao, J., Yamane, T., Magalhaes, L., Campbell, R.: Monitoring, security, and dynamic configuration withthe dynamic tao reflective orb. In: 2nd ACM\/IFIP International Conference on Middleware, New York, pp. 121\u2013143 (2000)","DOI":"10.1007\/3-540-45559-0_7"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/643550.643553","volume":"6","author":"L. Capra","year":"2002","unstructured":"Capra, L., Blair, G., Mascolo, C., Emmerich, W., Grace, P.: Exploiting reflection in mobile computing middleware. ACM SIGMOBILE Mobile Computing and Communications Review\u00a06, 34\u201344 (2002)","journal-title":"ACM SIGMOBILE Mobile Computing and Communications Review"},{"key":"11_CR7","unstructured":"Truyen, E.: Dynamic and Context-Sensitive Composition in Distributed Systems. Ph.D. thesis, K.U.Leuven (2004)"},{"key":"11_CR8","unstructured":"http:\/\/www.self-adaptive.org\/\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR9","unstructured":"http:\/\/www.saso-conference.org\/\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MS.2006.61","volume":"23","author":"J. Floch","year":"2006","unstructured":"Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using Architecture Models for Runtime Adaptability. IEEE Software\u00a023, 62\u201370 (2006)","journal-title":"IEEE Software"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-02161-9_9","volume-title":"Software Engineering for Self-Adaptive Systems","author":"R. Rouvoy","year":"2009","unstructured":"Rouvoy, R., Barone, P., Ding, Y., Eliassen, F., Hallsteinsen, S., Lorenzo, J., Mamelli, A., Scholz, U.: MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 164\u2013182. Springer, Heidelberg (2009)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Muskens, J., Chaudron, M.: Integrity Management in Component Based Systems. In: Proc. of 30th EUROMICRO Conference (EUROMICRO 2004), pp. 611\u2013619 (2004)","DOI":"10.1109\/EURMIC.2004.1333429"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.entcs.2006.08.038","volume":"179","author":"G. Lenzini","year":"2007","unstructured":"Lenzini, G., Tokmakoff, A., Muskens, J.: Managing Trustworthiness in Component-based Embedded Systems. Electron. Notes Theor. Comput. Sci.\u00a0179, 143\u2013155 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1049\/iet-sen:20060047","volume":"1","author":"R. Su","year":"2007","unstructured":"Su, R., Chaudron, M.R.V., Lukkien, J.J.: Adaptive runtime fault management for service instances in component-based software applications. IET Software\u00a01(1), 18\u201328 (2007)","journal-title":"IET Software"},{"key":"11_CR15","unstructured":"http:\/\/www.hitech-projects.com\/euprojects\/trust4all\/results.htm\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR16","unstructured":"http:\/\/www.itea2.org\/project\/result\/download\/result\/5585\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR17","unstructured":"http:\/\/ercim-news.ercim.eu\/adaptable-and-context-aware-trustworthiness-evaluation\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Wang, Y., Vassileva, J.: A review on trust and reputation for web service selection. In: Proceeding of the 1st Int. Workshop on Trust and Reputation Management in Massively Distributed Computing Systems (2007)","DOI":"10.1109\/ICDCSW.2007.16"},{"key":"11_CR19","volume-title":"Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models","author":"R. Alnemr","year":"2010","unstructured":"Alnemr, R., Quasthoff, M., Meinel, C.: Taking Trust Management to the Next Level. In: Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models. IGI Global, Hershey (2010)"},{"key":"11_CR20","unstructured":"https:\/\/swt.informatik.uni-augsburg.de\/tsos\/\n                    \n                    \n                   (last visited in June 2012)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avi\u017eienis","year":"2004","unstructured":"Avi\u017eienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01, 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/1988008.1988036","volume-title":"Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)","author":"D. Schneider","year":"2011","unstructured":"Schneider, D., Becker, M., Trapp, M.: Approaching Runtime Trust Assurance in Open Adaptive Systems. In: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), pp. 196\u2013201. ACM, New York (2011)"},{"issue":"10","key":"11_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N.: Contract aware components, 10 years after. Electronic Proceedings in Theoretical Computer Science, 1\u201311 (2010)","DOI":"10.4204\/EPTCS.37.1"},{"issue":"7","key":"11_CR25","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., Jez\u00e9quel, J.-M., Plouzeau, N.: Making components contract aware. IEEE Computer\u00a032(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"key":"11_CR26","unstructured":"Website of the SPEEDS project, \n                    \n                      http:\/\/www.speeds.eu.com\/\n                    \n                    \n                   (last visited June 2012)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"11_CR28","unstructured":"Damm, W., Metzner, A., Peikenkamp, T., Votintseva, A.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Proceedings of the Workshop on Foundations of Interface Technologies 2005, FIT 2005 (2005)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A Contract-Based Formalism for the Specification of Heterogeneous Systems. In: Proceedings of the Forum on Specification, Verification and Design Languages (FDL 2008), pp. 142\u2013147. IEEE (2008)","DOI":"10.1109\/FDL.2008.4641436"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009 (2009)","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynami-cally adaptive software. In: International Conference on Software Engineering (ICSE 2006), Shanghai, China, pp. 371\u2013380. ACM (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Specifying adaptation semantics. In: Workshop on Architecting Dependable Systems (WADS 2005), St. Louis, USA, pp. 1\u20137. ACM (2005)","DOI":"10.1145\/1083217.1083220"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","volume-title":"Component-Based Software Engineering","author":"S.S. Kulkarni","year":"2004","unstructured":"Kulkarni, S.S., Biyani, K.N.: Correctness of Component-Based Adaptation. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 48\u201358. Springer, Heidelberg (2004)"},{"key":"11_CR34","unstructured":"Strunk, E.A.: Reconfiguration Assurance in Embedded System Software, Ph.D. thesis, University of Virginia"},{"key":"11_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11875567_12","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2006","unstructured":"Giese, H., Tichy, M.: Component-based hazard analysis: Optimal designs, product lines, and online-reconfiguration. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 156\u2013169. Springer, Heidelberg (2006)"},{"issue":"1","key":"11_CR36","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jss.2010.08.048","volume":"84","author":"M. Mohammad","year":"2011","unstructured":"Mohammad, M., Alagar, V.: A formal approach for the specification and verification of trustworthy component-based systems. J. Syst. Softw.\u00a084(1), 77\u2013104 (2011)","journal-title":"J. Syst. Softw."},{"issue":"5","key":"11_CR37","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"11_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-642-00593-0_29","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Calinescu","year":"2009","unstructured":"Calinescu, R., Kwiatkowska, M.: CADS*: Computer-Aided Development of Self-* Systems. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 421\u2013424. Springer, Heidelberg (2009)"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Kwiatkowska, M.: Using quantitative analysis to implement autonomic IT systems. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 100\u2013110 (2009)","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by runtime adaptation. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 111\u2013121 (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Priesterjahn, C., Heinzemann, C., Sch\u00e4fer, W., Tichy, M.: Runtime Safety Analysis for Safe Reconfiguration. In: IEEE International Conference on Industrial Informatics Proceedings of the 3rd Workshop Self -X and Autonomous Control in Engineering Applications, Beijing, China (2012) (accepted)","DOI":"10.1109\/INDIN.2012.6300900"},{"key":"11_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2024436.2024438","volume-title":"Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems (ASAS 2011)","author":"R. Calinescu","year":"2011","unstructured":"Calinescu, R.: When the requirements for adaptation and high integrity meet. In: Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems (ASAS 2011), pp. 1\u20134. ACM, New York (2011)"},{"key":"11_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-69073-3_23","volume-title":"Models in Software Engineering","author":"H.J. Goldsby","year":"2008","unstructured":"Goldsby, H.J., Cheng, B.H.C., Zhang, J.: AMOEBA-RT: Run-Time Verification of Adaptive Software. In: Giese, H. (ed.) MODELS 2008. LNCS, vol.\u00a05002, pp. 212\u2013224. Springer, Heidelberg (2008)"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Transactions on Software Engineering, 387\u2013409 (May\/June 2011)","DOI":"10.1109\/TSE.2010.92"},{"key":"11_CR45","unstructured":"http:\/\/www.ict-diva.eu\/DiVA\/results\/diva-promo-material\/DiVA-Overview-Feb2009.pdf\n                    \n                    \n                   (last visited June 2012)"},{"issue":"10","key":"11_CR46","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B. Morin","year":"2009","unstructured":"Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ Run.time to Support Dynamic Adaptation. Computer\u00a042(10), 44\u201351 (2009)","journal-title":"Computer"},{"key":"11_CR47","unstructured":"IEC 61508: Functional safety of electrical\/electronic\/programmable electronic safety related systems, International Electrotechnical Commission (1999)"},{"key":"11_CR48","unstructured":"Lisagor, O., McDermid, J.A., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference, pp. 596\u2013607 (2006)"},{"key":"11_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Advanced Functional Programming","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"issue":"1","key":"11_CR50","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon, P., et al.: Towards Integrated Safety Analysis and Design. ACM Applied Computing Review\u00a02(1), 21\u201332 (1994)","journal-title":"ACM Applied Computing Review"},{"key":"11_CR51","volume-title":"Proc. of ISSC 2002","author":"R. Hawkins","year":"2002","unstructured":"Hawkins, R., McDermid, J.A.: Performing Hazard and Safety Analysis of Object oriented Systems. In: Proc. of ISSC 2002. System Safety Society, Denver (2002)"},{"key":"11_CR52","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A New Component Concept for Fault Trees. In: Lindsay, P., Cant, T. (eds.) Proc. Conferences in Research and Practice in Information Technology. ACS, vol.\u00a033, pp. 37\u201346 (2004)"},{"key":"11_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-87698-4_8","volume-title":"Computer Safety, Reliability, and Security","author":"D. Domis","year":"2008","unstructured":"Domis, D., Trapp, M.: Integrating Safety Analyses and Component-Based Design. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol.\u00a05219, pp. 58\u201371. Springer, Heidelberg (2008)"},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"F\u00f6rster, M., Schneider, D.: Flexible, any-time FTA with component logic models. In: International Symposium on Software Reliability Engineering, ISSRE (2010)","DOI":"10.1109\/ISSRE.2010.47"},{"key":"11_CR55","unstructured":"ISO\/CD 26262: Road vehicles, Functional Safety Part 6: Product development at the software level, Part 10 \u2013 \u2018Guidelines\u2019 (2011)"},{"key":"11_CR56","unstructured":"DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations, Radio Technical Commision for Aeronautics (RTCA) SC-200, (2005)"},{"key":"11_CR57","unstructured":"Eveleens, R.L.: Integrated Modular Avionics - Development Guidance and Certification Considerations. In: RTO-EN-SCI-176 Mission Systems Engineering (2006)"},{"key":"11_CR58","doi-asserted-by":"crossref","unstructured":"AC 20-148: Reusable Software Components, AC 20-148 (2004)","DOI":"10.1177\/875512250402000220"},{"key":"11_CR59","unstructured":"Software Consideration in Airborne Systems and Equipment Certification, DO-178B (1993)"},{"key":"11_CR60","unstructured":"Rushby, J.: Modular Certification. NASA Contractor Report CR-2002-212130, NASA Langley Research Center (2002)"},{"key":"11_CR61","unstructured":"Kelly, T., Weaver, R.: The Goal Structuring Notation \u2013 A Safety Argument Notation. In: Proceedings of the 34th International Conference on Dependable Systems and Networks, DSN 2004 (2004)"},{"key":"11_CR62","unstructured":"Kelly, T.: Concepts and Principles of Compositional Safety Case Construction. University of York, sfh (2001)"},{"key":"11_CR63","unstructured":"Bate, I., Bates, S., Hawkins, R., Kelly, T., McDermid, J.: Safety case architectures to complement a contract-based approach to designing safe systems. In: Proceedings of the 21st International System Safety Conference (ISSC 2003): System Safety Society, pp. 182\u2013192 (2003)"},{"key":"11_CR64","doi-asserted-by":"crossref","unstructured":"Habli, I., Kelly, T.: A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. In: The Proceedings of the International Symposium on Architecting Critical Systems (ISARCS), Prague. Czech Republic (2010)","DOI":"10.1007\/978-3-642-13556-9_9"},{"key":"11_CR65","unstructured":"DECOS: Dependable Embedded Components and Systems, Inte-grated Project within the EU Framework Programme 6, \n                    \n                      http:\/\/www.decos.at\n                    \n                    \n                   (last visited June 2012)"},{"key":"11_CR66","unstructured":"Kopetz, H., Obermaisser, R., Peti, P., Suri, N.: From a Federated to an Integrated Architecture for Dependable Embedded Real-Time Systems. TU Vienna University of Technology, Austria, and Darmstadt University of Technology, Germany (2004)"},{"key":"11_CR67","doi-asserted-by":"crossref","unstructured":"Althammer, E., Schoitsch, E., Sonneck, G., Eriksson, H., Vinter, J.: Modular certification support \u2014 the DECOS concept of generic safety cases. In: 6th IEEE International Conference on Industrial Informatics (INDIN), pp. 258\u2013263 (2008)","DOI":"10.1109\/INDIN.2008.4618105"},{"key":"11_CR68","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Just-in-Time Certification. In: Proceedings of the 12th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), Auckland, New Zealand, pp. 15\u201324 (2007)","DOI":"10.1109\/ICECCS.2007.26"},{"key":"11_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-89247-2_2","volume-title":"Runtime Verification","author":"J. Rushby","year":"2008","unstructured":"Rushby, J.: Runtime Certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 21\u201335. Springer, Heidelberg (2008)"},{"key":"11_CR70","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M.: A Safety Engineering Framework for Open Adaptive Systems. In: Proceedings of the Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Ann Arbor, Michigan, USA, October 3-7 (2011)","DOI":"10.1109\/SASO.2011.20"},{"key":"11_CR71","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1772643.1772660","volume-title":"Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety (CARS)","author":"D. Schneider","year":"2010","unstructured":"Schneider, D., Trapp, M.: Conditional Safety Certificates in Open Systems. In: Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety (CARS), pp. 57\u201360. ACM, New York (2010)"},{"key":"11_CR72","doi-asserted-by":"crossref","unstructured":"Zimmer, B., B\u00fcrklen, S., Knoop, M., H\u00f6fflinger, J., Trapp, M.: Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. In: Proc. of the 30th International Conference of Computer Safety, Reliability, and Security (SAFECOMP 2011) (2011)","DOI":"10.1007\/978-3-642-24270-0_3"},{"key":"11_CR73","doi-asserted-by":"crossref","unstructured":"Fenn, J.L., Hawkins, R.D., Williams, P.J., Kelly, T.P., Banner, M.G., Oakshott, Y.: The Who, Where, How, Why And When of Modular and Incremental Certification. In: 2007 2nd Institution of Engineering and Technology International Conference on System Safety, October 22-24, pp. 135\u2013140 (2007)","DOI":"10.1049\/cp:20070454"},{"key":"11_CR74","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between de-velopment-time and run-time. In: Proceedings Workshop on Future of Software Engineering Research (FoSER 2010), pp. 17\u201322. ACM (2010)","DOI":"10.1145\/1882362.1882367"},{"key":"11_CR75","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Int. Conf. on Software Engineering (ICSE). ACM Press (2006)","DOI":"10.1145\/1134285.1134297"},{"key":"11_CR76","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M.: Conditional Safety Certification of Open Adaptive Systems. ACM Trans. Auton. Adapt. Syst. 8(2), Article 8, 20 pages (July 2013)","DOI":"10.1145\/2491465.2491467"}],"container-title":["Lecture Notes in Computer Science","Models@run.time"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08915-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T02:28:32Z","timestamp":1558924112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08915-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089140","9783319089157"],"references-count":76,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08915-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}