Abstract
Avionic safety standards such as ARP4754A, DO-178B, and DO-254 specifying the development, validation and verification processes do not provide an unambiguous guideline for system developers, refining ARP4754A system requirements down to DO-178B or DO-254 specific items. Consequently, tracing the high-level system safety requirements down to safety item requirements of the individual system components is extremely difficult and error-prone. Today, the refinement of system safety requirements and their allocation to items, that shall realize them, is done mostly ad-hoc. This utilized ad-hoc approach is due to a lack of systematic elaboration methodologies. In this paper we advocate an approach that explicitly specifies the transition from abstract system requirements to concrete item requirements.
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
Miller, S., Lempia, D.: Requirements Engineering Management Findings Report. Technical Report (2009)
ARP4754A. Guidelines for Development of Civil Aircraft and Systems. SAE International (2010)
DO-178B. Software Considerations in Airborne Systems and Equipment Certification. RTCA (1992)
DO-254. Design Assurance Guidance for Airborne Electronic Hardware. RTCA (2000)
Jackson, M., Zave, P.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (1997)
Jackson, M.: The meaning of requirements. Annals of Software Engineering 3 (1997)
Jackson, M.: The world and the machine. In: Proceedings of the 1995 International Conference of Software Engineering (1995)
Uncontrolled decompression: Wikipedia, http://en.wikipedia.org/wiki/Uncontrolled_decompression
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kondeva, A., Wassmuth, M., Mitschke, A. (2012). A Systematic Elaboration of Safety Requirements in the Avionic Domain. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-33675-1_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33674-4
Online ISBN: 978-3-642-33675-1
eBook Packages: Computer ScienceComputer Science (R0)