{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:06:52Z","timestamp":1743124012843,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122137"},{"type":"electronic","value":"9783319122144"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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-12214-4_11","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T05:48:44Z","timestamp":1411537724000},"page":"137-151","source":"Crossref","is-referenced-by-count":4,"title":["A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain"],"prefix":"10.1007","author":[{"given":"Maged","family":"Khalil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Prieto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"H\u00f6lzl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"ISO 26262 Standard, Road Vehicles Functional Safety (2011), www.iso.org"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Lindstrom, D.R.: Five Ways to Destroy a Development Project. IEEE Software, 55\u201358 (September 1993)","DOI":"10.1109\/52.232400"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Kelly, T., McDermid, J.: Safety case construction and reuse using patterns. In: 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP (1997)","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Wagner, S., Sch\u00e4tz, B., Puchner, S., Kock, P.: A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models. In: Proc. International Symposium on Software Reliability Engineering (ISSRE 2010). IEEE Computer Society (2010)","DOI":"10.1109\/ISSRE.2010.31"},{"key":"11_CR5","unstructured":"Origin Consulting (York) Limited, on behalf of the Contributors.\u201cGoal Structuring Notation (GSN)\u201d. GSN COMMUNITY STANDARD VERSION 1 (November 2011)"},{"key":"11_CR6","unstructured":"The ITEA2 SAFE Project \/ The EUROSTARS SAFE-E Project, www.safe-project.eu"},{"key":"11_CR7","unstructured":"The SAFE \/ SAFE-E Consortium. Deliverable D3.1.3 \/ D3.4, Proposal for extension of Meta-model for safety-case modeling and documentation (2013), http:\/\/www.safe-project.eu"},{"key":"11_CR8","unstructured":"AutoFOCUS 3, research CASE tool, af3.fortiss.org, 2014 fortiss GmbH"},{"key":"11_CR9","unstructured":"Khalil, M.: Pattern-based methods for model-based safety-critical software architecture design. In: ZeMoSS 2013 Workshop at the SE 2013 in Aachen, Germany (2013)"},{"key":"11_CR10","unstructured":"Voss, S., Sch\u00e4tz, B., Khalil, M., Carlan, C.: A step towards Modular Certification using integrated model-based Safety Cases. In: VeriSure 2013 (2013)"},{"key":"11_CR11","unstructured":"Weaver, R.: The Safety of Software \u2013 Constructing and Assuring Arguments. PhD Thesis, Department of Computer Science, The University of York (2003)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-24270-0_14","volume-title":"Computer Safety, Reliability, and Security","author":"R. Hawkins","year":"2011","unstructured":"Hawkins, R., Clegg, K., Alexander, R., Kelly, T.: Using a Software Safety Argument Pattern Catalogue: Two Case Studies. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 185\u2013198. Springer, Heidelberg (2011)"},{"key":"11_CR13","unstructured":"Ye, F.: Justifying the Use of COTS Components within Safety Critical Applications. PhD Thesis, Department of Computer Science, The University of York (2005)"},{"key":"11_CR14","first-page":"368","volume-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004)","author":"W. Wu","year":"2004","unstructured":"Wu, W., Kelly, T.: Safety Tactics for Software Architecture Design. In: Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), vol.\u00a01, pp. 368\u2013375. IEEE Computer Society, Washington, DC (2004)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Armoush, A.: Design Patterns for Safety-Critical Embedded Systems. Ph.D. Thesis, RWTH-Aachen (2010)","DOI":"10.1109\/SEAA.2009.12"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Voss, S., Sch\u00e4tz, B.: Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications. In: Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, ECBS (2013)","DOI":"10.1109\/ECBS.2013.23"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Kelly, T.: Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, The University of York (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"11_CR18","unstructured":"Khalil, M., Sch\u00e4tz, B., Voss, S.: A Pattern-based Approach towards Modular Safety Analysis and Argumentation. In: Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France (2014)"},{"key":"11_CR19","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley (1995)"},{"key":"11_CR20","unstructured":"SPES2020 Consortium. Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems \u2013 The SPES 2020 Methodology. Springer (2012)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11557432_14","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Mili","year":"2005","unstructured":"Mili, H., El-Boussaidi, G.: Representing and applying design patterns: what is the problem? In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 186\u2013200. Springer, Heidelberg (2005)"},{"key":"11_CR22","unstructured":"Verhulst, E.: OPENCOSS Project Presentation. \u201cCross-domain systems and safety engineering: Is it feasible?\u201d. Flanders Drive Seminar, Brussels (2013)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Nair, S., de la Vara, J.L., Sabetzadeh, M., Briand, L.: Classification, Structuring, and Assessment of Evidence for Safety: A Systematic Literature Review. In: 6th IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 (2013)","DOI":"10.1109\/ICST.2013.30"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12214-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T18:27:01Z","timestamp":1650220021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12214-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122137","9783319122144"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12214-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}