Abstract
Most embedded systems in the automotive, avionics, or automation domains are safety-critical systems which are subject to strict safety standards and regulatory guidelines which govern the development process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
[ARP 4754A] SAE International: ARP 4754A – Guidelines for Development of Civil Aircraft and Systems, 2010.
[ARP 4761] SAE International: ARP 4761 – Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996.
[Daun et al. 2012] M. Daun, B. Tenbergen, T. Weyer: Requirements Viewpoint. In: K. Pohl, H. Hönninger, R. Achatz, M. Broy (Eds.): Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin Heidelberg, 2012.
[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.
[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.
[Ericsson 2005] C. A. Ericsson II: Hazard Analysis Techniques for System Safety. Wiley 2005.
[GSN 2011] GSN Community: GSN Community Standard Version 1. Origin Consulting Limited, York, 2011.
[IEC 61165] IEC: IEC 61165:2006 – Application of Markov techniques. Edition 2.0, 2006.
[ISO 26262] ISO: ISO 26262-1:2011 – Road vehicles -- Functional safety -- Part 1: Vocabulary. 2011.
[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.
[Kaiser et al. 2003] B. Kaiser, P. Liggesmeyer, O. Mäckel: 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.
[Kelly 1998] T. Kelly: Arguing Safety – A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York, 1998.
[Oertel et al. 2014] M. Oertel, A. Mahdi, E. Böde, 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.
[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–247.
[Peterson 1977] J. L. Peterson: Petri Nets. ACM Computing Surveys, Vol. 9, 1977, pp. 223-252.
[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.
[Sonski 2013] S. Sonski: Contract-based modeling of component properties for safety-critical systems. Master Thesis. Hochschule Darmstadt, 2013.
[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 CyberPhysical Systems (EITEC), 2014.
[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.
[Veseley 1981] W. E. Veseley: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington DC, 1981.
[V-Model 2015] V-Model – Wikipedia, Committee, https://en.wikipedia.org/wiki/VModel. (Accessed May 29, 2015).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Boyer, A. et al. (2016). Modular Safety Assurance. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-48003-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-48003-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48002-2
Online ISBN: 978-3-319-48003-9
eBook Packages: Computer ScienceComputer Science (R0)