Abstract
Safety assessment of complex systems traditionally requires the combination of various results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style of the hydraulic system of the Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety 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
A. Griffault A. Arnold, G. Point and A. Rauzy. The Altarica Formalism for Describing Concurrent Systems. Fundamenta Informaticae, 34, 1999.
P. Crubillé A. Arnold, D. Bégay. Construction and Analysis of Transition Systems with MEC. World Scientific Publishers, 1994.
Analogy. About saber mixed-signal simulator. http://www.analogy.com/products/simulation/aboutsaber.htm.
Groupe AR ALIA. Computation of prime implicants of a fault tree within aralia. Reliability Engineering and System Safety, 1996. Special issue on selected papers from ESREL’95.
G. E. Apostolakis C. J. Garrett, S. B. Guarro. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE systems, man and cybernetics, 25(5), 1994.
ESACS Consortium. Enhanced Safety Assessment of Complex Systems. http://www.cert.fr/esacs.
P. Fenelon. Towards integrated safety analysis and design. ACM Applied Computing Review, 1994.
P. Fenelon and J. MacDermid. Integrated techniques for software safety analysis. In IEE colloquium on Hazard Analysis, 1992.
MathWorks. The mathworks-simulink. http://www.mathworks.com/products/simulink/.
K. L. McMillan. The SMV language. Cadence Berkeley Labs, 1999.
G. Staalmarck O. Akerlund, S. Nadjm-Tehrani. Integration of Formal Methods into System Safety and Reliability Analysis. In 17th International System Safety Conference, 1999.
Society of Automotive Engineers. Aerospace recommended practice (arp) 4754, certification considerations for highly integrated or complex aircraft systems.
Society of Automotive Engineers. Aerospace recommended practice (arp) 4754, guidelines and methodsfor conducting the safety assessment procees on cibil airborne systems and equipment.
A. Rauzy. Modes automata and their compilation into fault trees. Reliability Engineering and System Safety, 2002.
Esterel Technologies. Scade suite for safety-critical software development. http://www.esterel-technologies.com/scade/.
A. Pnueli Z. Manna. Temporal Verification of Reactive Systems-Safety. Springer Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bieber, P., Castel, C., Seguin, C. (2002). Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. In: Bondavalli, A., Thevenod-Fosse, P. (eds) Dependable Computing EDCC-4. EDCC 2002. Lecture Notes in Computer Science, vol 2485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36080-8_3
Download citation
DOI: https://doi.org/10.1007/3-540-36080-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00012-9
Online ISBN: 978-3-540-36080-3
eBook Packages: Springer Book Archive