Abstract
AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are presented.
Chapter PDF
Similar content being viewed by others
Key words
References
A. Arnold, A. Griffault, G. Point, A. Rauzy. The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae no40, p109–124, 2000.
M. Bozzano et alter, ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL 2003 European Safety and Reliability Conference, 2003.
P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, Towards Integrated Safety Analysis and Design, ACM Computing Reviews, Vol. 2,No. 1, p.21–32,1994.
K.L. MacMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993, ISBN 0-7923-9380-5.
C. Kehren et alter, Architecture patterns for safe design, in proceedings of the first AAAF Conference on Complex and Safe System Engineering, 2004.
C. Kehren et alter, Advanced Multi-System Simulation Capabilities with AltaRica, in proceedings of the International System Safety Conference, 2004.
A. Rauzy. Mode automata and their compilation into fault trees. Reliability Engineering and System Safety, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Bieber, P., Bougnol, C., Castel, C., Christophe Kehren, JP.H., Metge, S., Seguin, C. (2004). Safety Assessment with Altarica. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_45
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_45
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive