Modular Safety Assurance

  • Arnaud Boyer
  • Bastian Tenbergen
  • Santiago Velasco
  • Pablo Antonino
  • Peter Battram
  • Suryo Buono
  • Bernhard Kaiser
  • Justyna Zander
  • Kai Bizik
  • Alexander Prohaska
  • Michael Käßmeyer


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.


Embed System Hazard Analysis Speed Limit Aerospace Technology Safety Standard 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ARP 4754A] SAE International: ARP 4754A – Guidelines for Development of Civil Aircraft and Systems, 2010.Google Scholar
  2. [ARP 4761] SAE International: ARP 4761 – Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996.Google Scholar
  3. [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.Google Scholar
  4. [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.Google Scholar
  5. [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.Google Scholar
  6. [Ericsson 2005] C. A. Ericsson II: Hazard Analysis Techniques for System Safety. Wiley 2005.Google Scholar
  7. [GSN 2011] GSN Community: GSN Community Standard Version 1. Origin Consulting Limited, York, 2011.Google Scholar
  8. [IEC 61165] IEC: IEC 61165:2006 – Application of Markov techniques. Edition 2.0, 2006.Google Scholar
  9. [ISO 26262] ISO: ISO 26262-1:2011 – Road vehicles -- Functional safety -- Part 1: Vocabulary. 2011.Google Scholar
  10. [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.Google Scholar
  11. [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.Google Scholar
  12. [Kelly 1998] T. Kelly: Arguing Safety – A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York, 1998.Google Scholar
  13. [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.Google Scholar
  14. [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. Google Scholar
  15. [Peterson 1977] J. L. Peterson: Petri Nets. ACM Computing Surveys, Vol. 9, 1977, pp. 223-252.Google Scholar
  16. [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.Google Scholar
  17. [Sonski 2013] S. Sonski: Contract-based modeling of component properties for safety-critical systems. Master Thesis. Hochschule Darmstadt, 2013.Google Scholar
  18. [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­Physical Systems (EITEC), 2014.Google Scholar
  19. [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.Google Scholar
  20. [Veseley 1981] W. E. Veseley: Fault Tree Handbook. US Nuclear Regulatory Commission, Washington DC, 1981.Google Scholar
  21. [V-Model 2015] V-Model – Wikipedia, Committee,­Model. (Accessed May 29, 2015).Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Arnaud Boyer
    • 1
  • Bastian Tenbergen
    • 2
  • Santiago Velasco
    • 3
  • Pablo Antonino
    • 4
  • Peter Battram
    • 5
  • Suryo Buono
    • 6
  • Bernhard Kaiser
    • 7
  • Justyna Zander
    • 8
  • Kai Bizik
    • 9
  • Alexander Prohaska
    • 10
  • Michael Käßmeyer
    • 11
  1. 1.Airbus DS Electronic and Border Security GmbHUlmGermany
  2. 2.Department of Computer ScienceState University of New York at OswegoOswegoUSA
  3. 3.Fraunhofer Institute for Experimental Software Engineering (IESE)KaiserslauternGermany
  4. 4.Chair of Software Engineering: Dependability (SEDA)Technische Universität KaiserslauternKaiserslauternGermany
  5. 5.BOOM SOFTWARE GMBHVisbekGermany
  6. 6.Berner and Mattner Systemtechnik GmbHMunichGermany
  7. 7.Berner and Mattner Systemtechnik GmbHMunichGermany
  8. 8.Berner and Mattner Systemtechnik GmbHMunichGermany
  9. 9.Chair of Software Engineering: Dependability (SEDA)Technische Universität KaiserslauternKaiserslauternGermany
  10. 10.Chair of Software Engineering: Dependability (SEDA)Technische Universität KaiserslauternKaiserslauternGermany
  11. 11.Audi Electronics Venture GmbHGaimersheimGermany

Personalised recommendations