Advertisement

Modeling Quality Aspects: Safety

  • Kai Höfig
  • Mario Trapp
  • Bastian Zimmer
  • Peter Liggesmeyer
Chapter

Abstract

Safety is typically defined as freedom from unacceptable risk (of harm) To ensure a certain level of quality, in most industrial domains the development of safety-critical systems is governed by standards.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Adler et al. 2010] R. Adler, D. Domis, K. Höfig, S. Kemmann, T. Kuhn, J.-P. Schwinn, M. Trapp: Integration of component fault trees into the UML. In: Proceedings of 3rd International Workshop on Non-functional Properties in Domain Specific Languages (NFPinDSML2010). DOI: 10.1007/978-3-642-21210-9_30.Google Scholar
  2. [Domis and Trapp 2009] D. Domis, M. Trapp: Component-based abstraction in fault tree analysis. In: Proc. of the International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009). DOI: 10.1007/978-3-642-04468-7_24.Google Scholar
  3. [Domis et al. 2010] D. Domis, K. Höfig, M. Trapp: Consistency check algorithm for component-based refinements of fault trees. In: Proceedings of International Symposium on Software Reliability Engineering, 2010.Google Scholar
  4. [Höfig 2011a] K. Höfig: FDTA – A toolchain for failure-dependent timing analysis. In: Proc.11th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2011.Google Scholar
  5. [Höfig 2011b] K. Höfig: Timing overhead analysis for fault tolerance mechanisms. In: Proc. Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver eigebetteter Systeme (ENVISION2020), LNI Vol. P-184, GI, 2011.Google Scholar
  6. [Höfig and Domis 2011] K. Höfig and D. Domis: Failure-dependent timing analysis. In: Proc. 2nd International ACM Sigsoft Symposium on Architecting Critical Systems, 2011.Google Scholar
  7. [Höfig et al. 2010] K. Höfig, D. Domis, M. Trapp, H. Stallbaum: Pattern-based safety engineering. Semantic enrichment of system architecture models for semi-automated safety analysis. In: Proceedings of European Safety and Reliability Conference, 2010.Google Scholar
  8. [Zimmer et al. 2011] B. Zimmer, S. Bürklen, M. Knoop, J. Höfflinger, M. Trapp: Vertical safety interfaces - improving the efficiency of modular certification. In: Proceedings of the 30th International Conference of Computer Safety, Reliability, and Security, 2011.Google Scholar
  9. [Zimmer et al. 2012] B. Zimmer, M. Trapp, P. Liggesmeyer, J. Höfflinger and S.Bürklen: Safety-focused deployment optimization in open integrated architectures. In: Proceedings of the 31st International Conference of Computer Safety, Reliability and Security, 2012.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Kai Höfig
    • 1
  • Mario Trapp
    • 2
  • Bastian Zimmer
    • 2
  • Peter Liggesmeyer
    • 1
    • 2
  1. 1.Department of Computer ScienceUniversity of KaiserslauternKaiserslauternGermany
  2. 2.Fraunhofer Institute for Experimental Software Engineering (IESE)KaiserslauternGermany

Personalised recommendations