Abstract
Aircraft development process requires safety assessment to ensure aircraft continued airworthiness by guaranteeing that hazards related to aircraft functions are properly addressed. Safety analyses require increasingly more reliable and efficient solutions, particularly for complex and highly integrated aircraft systems. Fault Tree Analysis (FTA) is a safety technique broadly applied in aerospace industry. The generation of fault trees can be facilitated by using the HiP-HOPS method proposed by Dr. Yiannis Papadopoulos. HiP-HOPS supports semi-automatically generation of fault trees based on system architectural model and annotations regarding system failure modes. In this paper, we investigate the usage of HiP-HOPS method in airborne electrical systems. We propose modeling guidelines, in order to help engineers and analysts to build system models more suitable to the application of HiP-HOPS. We apply both HiP-HOPS and guidelines in a case study and evaluate HiP-HOPS applicability using criteria as acceptability, suitability and practicality.
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
References
Knight, J.C.: Safety critical systems: challenges and directions. In: 24rd International Conference on Software Engineering, pp. 547–550. IEEE, Orlando (2002)
Belcastro, C.M.: Aircraft loss-of-control: analysis and requirements for future safety-critical systems and their validation. In: 8th Asian Control Conference (ASCC) on Dynamic System & Control, pp. 399–406. IEEE, Hampton (2011)
Code of Federal Regulations: Federal Aviation Regulations (FARs), Part 25—Airworthiness Standards: Transport Category Airplanes
Society of Automotive Engineers (SAE): ARP 4754 / ED-79: Certification Considerations for Highly-Integrated or Complex Aircraft Systems. SAE International/EUROCAE, Warrendale, PA, (1996)
U.S. Nuclear Regulatory Commission: Fault Tree Handbook. Systems and Reliability Research. Office of Nuclear Regulatory Research, Washington, D.C. 20555
Society of Automotive Engineers (SAE): ARP 4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, Warrendale (1996)
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)
Papadopoulos, Y.: Safety-directed system monitoring using safety cases. DPhil thesis, The University of York, Department of Computer Science (2000)
Society of Automotive Engineers (SAE): ARP 4761: “Model Based Safety Analysis” ARP 4761 associated appendix, Warrendale (1996)
United States Department of Defense: MIL-STD-1629A: Procedures for Performing a Failure Mode Effects and Criticality Analysis, Washington, D.C. (1980)
Papadopoulos, Y.; Maruhn, M.: Model-based synthesis of fault trees from Matlab-Simulink models. In: The International Conference on Dependable Systems and Networks, pp. 77–82. IEEE, Goteborg (2001)
Adachi, M., et al.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Experience 41(11), 1303–1327 (2011). Published online in Wiley Online Library (wileyonlinelibrary.com)
Papadopoulos, Y.: et al.: Automatic allocation of safety integrity levels. In: 1ST workshop on Critical Automotive applications: Robustness & Safety, New York, pp. 7–10 (2010)
Kehren, C., et al.: Advanced simulation capabilities for multi-systems with Altarica. In: International System Safety Conference (2004)
Joshi, A., et al.: A proposal for model-based safety analysis. In: 24th IEEE on Digital Avionics Systems Conference, Washington, DC (2005)
Lisagor, O.: Failure logic modelling: a pragmatic approach. Thesis (Doctor of Philosophy) - Department of Computer Science, University of York, York, p. 348 (2010)
Mortada, H., Prosvirnova, T., Rauzy, A.: Safety assessment of an electrical system with AltaRica 3.0. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 181–194. Springer, Heidelberg (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Villela, C.D., Sano, H.H., Bezerra, J.M. (2015). Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. In: Koornneef, F., van Gulijk, C. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science(), vol 9337. Springer, Cham. https://doi.org/10.1007/978-3-319-24255-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-24255-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24254-5
Online ISBN: 978-3-319-24255-2
eBook Packages: Computer ScienceComputer Science (R0)