Abstract
With the increasing system scale and complexity, safety analysis based on formal models has been widely used in the development of aircraft products. However, it’s quite difficult to build a complete, accurate and consistent safety model, especially for dynamic complex systems. To solve these problems, a practical safety modeling methodology based on Altarica, which contains three phases like information collection, model construction and model V&V, is proposed to establish a more structured, systematic and efficiency way in this paper. Detailed processes are declared for each phase. At last, a hydraulic system is taken as an example to show how to apply the safety modeling methodology in practical.
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
Joshi, A., Whalen, M., Heimdahl, M.: Model-based safety analysis final report, NASA contractor report, NASA/CR-2006-213953 (2006)
Bieber, P., Bougnol, C., Castel, C., Heckmann, J.-P., Kehren, C., Metge, S., Seguin, C.: Safety Assessment with AltaRica - Lessons learnt based on two aircraft system studies. In: 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification. IFIPAICT, pp. 505–510. Springer, Heidelberg (2004)
Humbert, S., Seguin, C., Castel, C., Bosc, J.-M.: Deriving Safety Software Requirements from an AltaRica System Model. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 320–331. Springer, Heidelberg (2008)
Adeline, R., Cardoso, J., Darfeuil, P., Humbert, S., Seguin, C.: Toward a methodology for the AltaRica modeling of multi-physical systems. In: ESREL 2010, Rhodes, Greece ( (2010)
Kehren, C., et al.: Advanced Multi-System Simulation Capabilities with AltaRica. In: Proceedings of the International System Safety Conference (2004)
Fenelon, P., McDermid, J.A.: An Integrated Toolset for Software Safety Analysis. Journal of Systems and Software (1993)
Paige, R., et al.: FPTC: Automated Safety Analysis for Domain-Specific Languages. Models in Software Engineering, 229–242 (2009)
Papadopoulos, Y., Walker, M.: Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 590–608 (2011)
Point, G., Rauzy, A.: Altarica - constraint automata as a description language. European Journal on Automation (1999)
Rauzy, A.: Mode Automata and their compilation into fault trees. Reliability Engineering and System Safety 78, 1–12 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Li, S., Duo, S. (2014). A Practicable MBSA Modeling Process Using Altarica. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)