{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T22:38:43Z","timestamp":1779143923903,"version":"3.51.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319242484","type":"print"},{"value":"9783319242491","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24249-1_5","type":"book-chapter","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T11:43:15Z","timestamp":1441626195000},"page":"50-61","source":"Crossref","is-referenced-by-count":8,"title":["An Approach to Assure Dependability Through ArchiMate"],"prefix":"10.1007","author":[{"given":"Shuichiro","family":"Yamamoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"5_CR1","unstructured":"Kelly, T.: A Six-Step Method for the Development of Goal Structures, York Software Engineering (1997)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4471-0997-6_5","volume-title":"Safe Comp 97","author":"T Kelly","year":"1997","unstructured":"Kelly, T., McDermid, J.: Safety Case Construction and Reuse using Patterns. In: Daniel, P. (ed.) Safe Comp 97, pp. 55\u201369. University of York, New York (1997)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing safety: a systematic approach to managing safety cases, Ph.D thesis, Department of Computer Science, University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"5_CR4","unstructured":"McDermid, J.: Software safety: where\u2019s the evidence? In: SCS 2001: Proceedings of the Sixth Australian workshop on Safety critical systems and software, pp. 1\u20136. Australian Computer Society, Inc., Darlinghurst, Australia (2001)"},{"key":"5_CR5","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation \u2013 a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible. In: Future, Safety Critical Systems Symposium, pp. 9\u201311, Bristol, UK (2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"5_CR7","unstructured":"Despotou, G., Kelly, T.: Extending the concept of safety cases to address dependability. In: proceedings of the 22nd International System Safety Conference (ISSC), Providence, RI USA (2004)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-33678-2_2","volume-title":"Computer Safety, Reliability, and Security","author":"AA Hauge","year":"2012","unstructured":"Hauge, A.A., St\u00f8len, K.: A pattern-based method for safe control systems exemplified within nuclear power production. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 13\u201324. Springer, Heidelberg (2012)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-87698-4_24","volume-title":"Computer Safety, Reliability, and Security","author":"A Wardzi\u0144ski","year":"2008","unstructured":"Wardzi\u0144ski, A.: Safety Assurance Strategies for Autonomous Vehicles. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 277\u2013290. Springer, Heidelberg (2008)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Yamamoto, S., Matsuno, Y.: An evaluation of argument patterns to reduce pitfalls of applying Assurance Case. In: ASSURE 2013 (2013)","DOI":"10.1109\/ASSURE.2013.6614265"},{"key":"5_CR11","unstructured":"Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety cases for advanced control software: safety case patterns, Technical report, University of York (2007)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-33675-1_11","volume-title":"Computer Safety, Reliability, and Security","author":"PJ Graydon","year":"2012","unstructured":"Graydon, P.J., Kelly, T.P.: Assessing software interference management when modifying safety-related software. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 132\u2013145. Springer, Heidelberg (2012)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-33675-1_3","volume-title":"Computer Safety, Reliability, and Security","author":"A Ruiz","year":"2012","unstructured":"Ruiz, A., Habli, I., Espinoza, H.: Towards a case-based reasoning approach for safety assurance reuse. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 22\u201335. Springer, Heidelberg (2012)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: HASE 2015, pp. 110\u2013117 (2015)","DOI":"10.1109\/HASE.2015.25"},{"key":"5_CR16","unstructured":"Gallina, B., Gallucci, A., Lundqvist, K., Nyberg, M.: VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines. In: SAFECOMP 2013 (2013)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Lin, C.L.: Applying safety case pattern to generate assurance cases for safety-critical systems. In: HASE2015, pp. 255 \u2013 262 (2015)","DOI":"10.1109\/HASE.2015.44"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0951-8320(03)00094-2","volume":"81","author":"I Bate","year":"2003","unstructured":"Bate, I., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81, 303\u2013324 (2003)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"5_CR19","unstructured":"Yamamoto, S., Matsuno, Y.: d* framework: Inter-Dependency Model for Dependability, DSN 2012 (2012)"},{"issue":"6","key":"5_CR20","first-page":"1","volume":"4","author":"T Saruwatari","year":"2013","unstructured":"Saruwatari, T., Yamamoto, S.: Definition and application of an assurance case development method (d*). Springer Plus 2.1. 4(6), 1\u20138 (2013)","journal-title":"Springer Plus 2.1."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Saruwatari, T., Yamamoto, S., Matsuno, Y.: A comparative study of d\u2217framework and GSN, ISSRE2013, pp. 315\u2013320 (2013)","DOI":"10.1109\/ISSREW.2013.6688913"},{"key":"5_CR22","unstructured":"Jackson, D., et al., Software for dependable systems\u2013 sufficient evidence?, National Research Council (2008)"},{"key":"5_CR23","unstructured":"DEOS project (2013). http:\/\/www.crest-os.jst.go.jp"},{"key":"5_CR24","unstructured":"DEOS project, JST White Paper DEOS-FY2011-WP-03 (2011). www.dependable-os.net\/ja\/topics\/file\/White_Paper_V3.0J.pdf"},{"key":"5_CR25","doi-asserted-by":"publisher","DOI":"10.1201\/b13154","volume-title":"Open Systems Dependability: Dependability Engineering for Ever-Changing Systems","author":"M Tokoro","year":"2012","unstructured":"Tokoro, M.: Open Systems Dependability: Dependability Engineering for Ever-Changing Systems. CRC Press, Boca Raton (2012)"},{"key":"5_CR26","unstructured":"Real-Time and Embedded Systems, Dependability through Assuredness\u2122 (O-DA) Framework, Open Group Standard (2013)"},{"key":"5_CR27","volume-title":"TOGAF\u00ae Version 9.1 A Pocket Guide","author":"A Josely","year":"2011","unstructured":"Josely, A., et al.: TOGAF\u00ae Version 9.1 A Pocket Guide. Van Haren, Zaltbommel (2011)"},{"key":"5_CR28","volume-title":"ArchiMate\u00ae2.0: A Pocket Guide, The Open Group","author":"A Josely","year":"2013","unstructured":"Josely, A., et al.: ArchiMate\u00ae2.0: A Pocket Guide, The Open Group. Van Haren8 Publishing, Zaltbommel (2013)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24249-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T13:49:04Z","timestamp":1653140944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24249-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242484","9783319242491"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24249-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}