{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:07:54Z","timestamp":1748664474473,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319242545"},{"type":"electronic","value":"9783319242552"}],"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-24255-2_20","type":"book-chapter","created":{"date-parts":[[2015,9,5]],"date-time":"2015-09-05T13:51:13Z","timestamp":1441461073000},"page":"269-282","source":"Crossref","is-referenced-by-count":1,"title":["The Safety Requirements Decomposition Pattern"],"prefix":"10.1007","author":[{"given":"Pablo Oliveira","family":"Antonino","sequence":"first","affiliation":[]},{"given":"Mario","family":"Trapp","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Edmar C.","family":"Gurj\u00e3o","sequence":"additional","affiliation":[]},{"given":"Jeferson","family":"Ros\u00e1rio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Wassyng, A., Kelly, T., Comar, C., Jones, P.: Certifiably safe software-dependent systems: challenges and directions. In: FOSE 2014, Hyderabad, India (2014)","DOI":"10.1145\/2593882.2593895"},{"key":"20_CR2","unstructured":"International Organization for Standardization: ISO\/DIS 26262 - Road Vehicles \u2013 Functional Safety. Technical Committee 22 (ISO\/TC 22), Geneva, Switzerland (2011)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Adler, R.: Introducing quality attributes for a safety concept. SAE Technical Paper 2013-01-0194, Detroit, Michigan, USA (2013)","DOI":"10.4271\/2013-01-0194"},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2013.60","volume":"30","author":"P Maeder","year":"2013","unstructured":"Maeder, P., Jones, P.L., Zhang, Y., Cleland-Huang, J.: Strategic traceability for safety-critical projects. IEEE Softw. 30(3), 58\u201368 (2013)","journal-title":"IEEE Softw."},{"key":"20_CR5","unstructured":"DO-178C\/ED-12C: Software Considerations in Airborne Systems and Equipment (2011)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"ANSI\/AAMI\/IEC 62304:2006: Medical Device Software\u2014Software Life Cycle (2006)","DOI":"10.1049\/ic:20060141"},{"key":"20_CR7","unstructured":"International Organization for Standardization: ISO\/IEC\/IEEE 29148:2011 Systems and software engineering - Life cycle processes - Requirements engineering. IEEE (2011)"},{"key":"20_CR8","unstructured":"Kaiser, B.: Approaches Towards reusable safety concepts. Presentation at the VDA Automotive SYS Conference, Berlin, Germany (2012)"},{"key":"20_CR9","unstructured":"Antonino, P.O., Trapp, M.: Improving consistency checks between safety concepts and view based. Architecture design. In: PSAM12, Honolulu, Hawaii, USA (2014)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Goetel, O., Hayes, J.H., Maeder, P., Zisman, A.: Software traceability: trends and future directions. In: FOSE 2014, Hyderabad, India (2014)","DOI":"10.1145\/2593882.2593891"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P Kruchten","year":"1995","unstructured":"Kruchten, P.: The 4+1 view model of architecture. IEEE Softw. 12, 42\u201350 (1995)","journal-title":"IEEE Softw."},{"key":"20_CR12","volume-title":"Documenting Software Architectures: Views and Beyond","author":"P Clements","year":"2002","unstructured":"Clements, P., Garlan, D., Bass, L., Stafford, J., Nord, R., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Pearson Education, Upper Saddle River (2002)"},{"key":"20_CR13","volume-title":"Applied Software Architecture","author":"C Hofmeister","year":"2009","unstructured":"Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture, 1st edn. Addison-Wesley Professional, Boston (2009)","edition":"1"},{"key":"20_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology","author":"K Pohl","year":"2012","unstructured":"Pohl, K., Hoenninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology. Springer, Heidelberg (2012)"},{"issue":"1","key":"20_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"20_CR16","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems","author":"BP Douglass","year":"2005","unstructured":"Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Longman Publishing, Boston (2005)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P Fenelon","year":"1994","unstructured":"Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Appl. Comput. Rev. - Special Issue on Safety-Critical Software 2, 21\u201332 (1994)","journal-title":"ACM SIGAPP Appl. Comput. Rev. - Special Issue on Safety-Critical Software"},{"key":"20_CR18","unstructured":"Wu, W., Kelly, T.: Deriving safety requirements as part of system architecture definition. In: 24th International System Safety Conference, Albuquerque, USA (2006)"},{"key":"20_CR19","unstructured":"International Organization for Standardization: IEC 61508 - Functional safety of electrical\/electronic\/programmable electronic safety-related systems, Geneva, Switzerland (1998)"},{"key":"20_CR20","unstructured":"American Heart Association, ECC Guidelines. http:\/\/circ.ahajournals.org\/content\/102\/suppl_1\/I-60.full . Accessed March 2015"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Habli, I., Ibarra, I., Rivett, R., Kelly, T.: Model-based assurance for justifying automotive functional safety. SAE Technical Paper 10AE-0181, Detroit, USA (2010)","DOI":"10.4271\/2010-01-0209"},{"key":"20_CR22","unstructured":"Katta, V., St\u00e5lhane, T.: A conceptual model of traceability for safety systems. In: 2nd Complex Systems Design & Management Conference (CSD&M 2011), Paris, France (2011)"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-40793-2_15","volume-title":"Computer Safety, Reliability, and Security","author":"J Birch","year":"2013","unstructured":"Birch, J., Rivett, R., Habli, I., Bradshaw, B., Higham, D., Jesty, P., Monkhouse, H., Palin, R.: Safety cases and their role in ISO 26262 functional safety assessment. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 154\u2013165. Springer, Heidelberg (2013)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-319-10506-2_5","volume-title":"Computer Safety, Reliability, and Security","author":"K Beckers","year":"2014","unstructured":"Beckers, K., C\u00f4t\u00e9, I., Frese, T., Hatebur, D., Heisel, M.: Systematic derivation of functional safety requirements for automotive systems. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 65\u201380. Springer, Heidelberg (2014)"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Antonino, P.O., Trapp, M., Venugopal, A.: Automatic detection of incomplete and inconsistent safety requirements. SAE Technical Paper 2015-01-0268, Detroit, USA (2015)","DOI":"10.4271\/2015-01-0268"}],"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-24255-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T13:02:15Z","timestamp":1748610135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24255-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319242545","9783319242552"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24255-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}