{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:57:35Z","timestamp":1772038655976,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642135552","type":"print"},{"value":"9783642135569","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13556-9_9","type":"book-chapter","created":{"date-parts":[[2010,6,5]],"date-time":"2010-06-05T05:46:54Z","timestamp":1275716814000},"page":"142-160","source":"Crossref","is-referenced-by-count":21,"title":["A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines"],"prefix":"10.1007","author":[{"given":"Ibrahim","family":"Habli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)"},{"key":"9_CR2","volume-title":"Product-Line Engineering: A Family-Based Software Development Process","author":"D.M. Weiss","year":"1999","unstructured":"Weiss, D.M., Robert, C.T.: Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley Professional, Reading (1999)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Kelly, T.P.: Arguing Safety \u2013 A Systematic Approach to Safety Case Management. DPhil Thesis, Department of Computer Science, University of York, UK (1998)","DOI":"10.1007\/3-540-48249-0_2"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45732-1_31","volume-title":"Computer Safety, Reliability and Security","author":"I.J. Bate","year":"2002","unstructured":"Bate, I.J., Kelly, T.P.: Architectural Considerations in the Certification of Modular Systems. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, p. 321. Springer, Heidelberg (2002)"},{"key":"9_CR5","unstructured":"Industrial Avionics Working Group (IAWG): Modular Software Safety Case Process \u2013 Part A: Process Definition (October 2007), http:\/\/www.assconline.co.uk\/"},{"key":"9_CR6","unstructured":"Attwood, K., Kelly, T.P., McDermid, J.A.: The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families. In: International Workshop on Requirements Reuse in System Family Engineering (2004)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Fenn, J., Hawkins, R., Kelly, T.P., Williams, P.: Safety Case Composition Using Contracts \u2013 Refinements Based on Feedback from an Industrial Case Study. In: 15th Safety Critical Systems Symposium (2007)","DOI":"10.1007\/978-1-84628-806-7_9"},{"key":"9_CR8","unstructured":"Dowding, M.: Maintenance of the Certification Basis for a Distributed Control System \u2013 Developing a Safety Case Architecture. MSc Report, Department of Computer Science, University of York, UK (2002)"},{"key":"9_CR9","volume-title":"A Pattern Language: Towns, Buildings, Construction","author":"C. Alexander","year":"1978","unstructured":"Alexander, C.: A Pattern Language: Towns, Buildings, Construction. OUP, USA (1978)"},{"key":"9_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"9_CR11","unstructured":"Object Management Group (OMG): Systems Modelling Language. vol. 1.1, OMG (2008)"},{"key":"9_CR12","unstructured":"EUROCAE\/RTCA: ED-12B\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification. EUROCAE\/RTCA (1994)"},{"key":"9_CR13","unstructured":"UK Ministry of Defence (MoD): 00-55 Requirements of Safety Related Software in Defence Equipment. Part 2: Guidance, Issue 2, Defence Standard, UK Ministry of Defence (1997)"},{"key":"9_CR14","unstructured":"International Organization for Standardization (ISO): ISO26262 Road vehicles \u2013 Functional safety. Draft, Baseline 15 (2009)"},{"key":"9_CR15","unstructured":"Society of Automotive Engineers (SAE): Aerospace Recommended Practice 4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE (November 1996)"},{"key":"9_CR16","unstructured":"Federal Aviation Administration (FAA): AC 20-148: Reusable Software Components (December 2004)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10515-006-5469-1","volume":"13","author":"J. Dehlinger","year":"2006","unstructured":"Dehlinger, J., Lutz, R.: PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. Automated Software Engineering\u00a013(1), 169\u2013193 (2006)","journal-title":"Automated Software Engineering"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.jss.2005.02.028","volume":"78","author":"Q. Feng","year":"2005","unstructured":"Feng, Q., Lutz, R.: Bi-Directional Safety Analysis of Product Lines. Journal of Systems and Software\u00a078(2), 111\u2013127 (2005)","journal-title":"Journal of Systems and Software"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Dehlinger, J., Lutz, R.: Software Fault Tree Analysis for Product Lines. In: 8th IEEE International Symposium on High Assurance Systems Engineering (HASE 2004), Florida, USA (2004)","DOI":"10.1109\/HASE.2004.1281726"},{"key":"9_CR20","unstructured":"Dehlinger, J., Lutz, R.: Fault Contribution Trees for Product Families. In: 13th International Symposium on Software Reliability Engineering (2002)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Dehlinger, J., Humphrey, M., Suvorov, L., Padmanabahn, P., Lutz, R.: Decimal and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees, Research Demonstration. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis (2007)","DOI":"10.1109\/ICSECOMPANION.2007.29"},{"issue":"11","key":"9_CR22","doi-asserted-by":"publisher","first-page":"1879","DOI":"10.1016\/j.jss.2007.01.047","volume":"80","author":"J. Liu","year":"2007","unstructured":"Liu, J., Dehlinger, J., Lutz, R.: Safety Analysis of Software Product Lines Using State-Based Modeling. Journal of Systems and Software\u00a080(11), 1879\u20131892 (2007)","journal-title":"Journal of Systems and Software"},{"key":"9_CR23","unstructured":"Stephenson, Z.R., de Souza, S., McDermid, J.A.: Product Line Analysis and the System Safety Process. In: 22nd International System Safety Conference (2004)"}],"container-title":["Lecture Notes in Computer Science","Architecting Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13556-9_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,29]],"date-time":"2021-10-29T00:03:24Z","timestamp":1635465804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13556-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135552","9783642135569"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13556-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}