Abstract
Avionics systems have to be certified by the airworthiness authorities before they can be installed and operated in an aircraft.
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
[Domis and Trapp 2009] D. Domis, M. Trapp: Component-based abstraction in fault tree analysis. In: Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009). DOI: 10.1007/978-3-642-04468-7_24.
[Engel et al. 2008] A. Engel, M. Winokur, G. Döhmen, M. Einzmann: Assumptions / promises - Shifting the paradigm in systems-engineering. In: Proceedings of INCOSE 2008, 2008.
[OMG 2010] Object Management Group: OMG Systems Modeling Language™ (OMG SysML) Language Specification v1.2. OMG Document Number: formal/2010-06-02.
[Waßmuth and Stilkerich 2011] Waßmuth, M., Stilkerich, S. C., Lübbers, E.: Distributed safety assessment for airborne systems. In: International Workshop on Security and Dependability for Resource Constrained Embedded Systems, Italy, 2011.
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
Bender, O., Hiller, M., Girod, M., Strobel, C., Waßmuth, M., Dieudonné, L. (2012). Application and Evaluation in the Avionics Domain. 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_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-34614-9_13
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)