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.
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.
Similar content being viewed by others
References
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Höfig, K., Trapp, M., Zimmer, B., Liggesmeyer, P. (2012). Modeling Quality Aspects: Safety. In: Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34614-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-34614-9_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34613-2
Online ISBN: 978-3-642-34614-9
eBook Packages: Computer ScienceComputer Science (R0)