{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T03:00:33Z","timestamp":1769914833349,"version":"3.49.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319480022","type":"print"},{"value":"9783319480039","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_10","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"169-196","source":"Crossref","is-referenced-by-count":3,"title":["Modular Safety Assurance"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Boyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastian","family":"Tenbergen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Velasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Antonino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Battram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suryo","family":"Buono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justyna","family":"Zander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Bizik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Prohaska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"K\u00e4\u00dfmeyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"10_CR1","unstructured":"[ARP 4754A] SAE International: ARP 4754A \u2013 Guidelines for Development of Civil Aircraft and Systems, 2010."},{"key":"10_CR2","unstructured":"[ARP 4761] SAE International: ARP 4761 \u2013 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"[Daun et al. 2012] M. Daun, B. Tenbergen, T. Weyer: Requirements Viewpoint. In: K. Pohl, H. H\u00f6nninger, R. Achatz, M. Broy (Eds.): Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin Heidelberg, 2012.","DOI":"10.1007\/978-3-642-34614-9_4"},{"key":"10_CR4","unstructured":"[Daun et al. 2014] M. Daun, J. Brings, B. Tenbergen, T. Weyer: On the Model-Based Documentation of Knowledge Sources in the Engineering of Embedded Systems. In: Proceedings of the Fourth Workshop on the Future of the Development of Software-lntensive Embedded System Development (ENVISION2020), 2014, pp. 67-76."},{"key":"10_CR5","unstructured":"[Daun et al. 2015] M. Daun, B. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: Proceedings of the 2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS), 2015, pp. 115-117."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"[Ericsson 2005] C. A. Ericsson II: Hazard Analysis Techniques for System Safety. Wiley 2005.","DOI":"10.1002\/0471739421"},{"key":"10_CR7","unstructured":"[GSN 2011] GSN Community: GSN Community Standard Version 1. Origin Consulting Limited, York, 2011."},{"key":"10_CR8","unstructured":"[IEC 61165] IEC: IEC 61165:2006 \u2013 Application of Markov techniques. Edition 2.0, 2006."},{"key":"10_CR9","unstructured":"[ISO 26262] ISO: ISO 26262-1:2011 \u2013 Road vehicles -- Functional safety -- Part 1: Vocabulary. 2011."},{"key":"10_CR10","unstructured":"[Kaiser 2005] B. Kaiser: State\/Event Fault Trees: A Safety and Reliability Analysis Technique for Software-Controlled Systems. PhD thesis, Technische Universitaet Kaiserslautern, Fachbericht lnfonnatik, 2005."},{"key":"10_CR11","unstructured":"[Kaiser et al. 2003] B. Kaiser, P. Liggesmeyer, O. M\u00e4ckel: A new component concept for fault trees. In: Proceedings of the 8th Australian workshop on safety-critical systems and software, Canberra, Australia, 2003, pp. 37-46."},{"key":"10_CR12","unstructured":"[Kelly 1998] T. Kelly: Arguing Safety \u2013 A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York, 1998."},{"key":"10_CR13","unstructured":"[Oertel et al. 2014] M. Oertel, A. Mahdi, E. B\u00f6de, A. Rettberg: Contract-based safety: Specification and application guidelines. In: Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITFC), 2014."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"[Papadopoulos et al. 2001] Y. Papadopoulos, J. A. McDermid, R. Sasse, and G. Heiner: Analysis and synthesis of the behavior of complex programmable electronic systems in conditions of failure. International Journal of Reliability Engineering and System Safety, Vol. 71, No.3, 2001, pp. 229\u2013247.","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"[Peterson 1977] J. L. Peterson: Petri Nets. ACM Computing Surveys, Vol. 9, 1977, pp. 223-252.","DOI":"10.1145\/356698.356702"},{"key":"10_CR16","unstructured":"[Rozanski and Woods 2005] N. Rozanski, E. Woods: Software Systems Architecture: Working with Stakeholders Using Viewpoints and Perspectives. Addison-Wesley, Upper Saddle River, NJ, 2005."},{"key":"10_CR17","unstructured":"[Sonski 2013] S. Sonski: Contract-based modeling of component properties for safety-critical systems. Master Thesis. Hochschule Darmstadt, 2013."},{"key":"10_CR18","unstructured":"[Tenbergen et al. 2014] B. Tenbergen, A. C. Sturm, T. Weyer: A Hazard Taxonomy for Embedded and Cyber-Physical Systems. In: Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber\u00adPhysical Systems (EITEC), 2014."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"[Tenbergen et al. 2015] B. Tenbergen, T. Weyer, K. Pohl: Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations. In: Proceedings of the 21st International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), 2015, pp. 17-32.","DOI":"10.1007\/978-3-319-16101-3_2"},{"key":"10_CR20","unstructured":"[Veseley 1981] W. E. Veseley: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington DC, 1981."},{"key":"10_CR21","unstructured":"[V-Model 2015] V-Model \u2013 Wikipedia, Committee, https:\/\/en.wikipedia.org\/wiki\/V\u00adModel. (Accessed May 29, 2015)."}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:57:34Z","timestamp":1498352254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_10","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}