Abstract
AADL and AltaRica languages can be used to support the safety assessments of system architectures. These languages were defined with different concerns and this paper aims at presenting their principles and how they can be related. A translator from AADL to AltaRica is proposed and its prototype is applied to a simplified flight control system of a UAV. The resulting AltaRica model has been analyzed with the AltaRica safety tools and the experimental results are discussed.
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
Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of 3rd European Congress Embedded Real Time Software, ERTS 2006, Toulouse, France (2006)
Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica language and its semantics. Fundamenta Informaticae 34, 109–124 (2000)
Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 specification. Technical report, AltaRica Association (2015). http://openaltarica.fr/docs/AltaRica3.0LanguageSpecification.pdf
Boiteau, M., Dutuit, Y., Rauzy, A., Signoret, J.P.: The AltaRica data-flow language in use: assessment of production availability of a multistates system. Reliab. Eng. Syst. Saf. 91, 747–755 (2006)
Bozzano, M., Cimatti, A., Katoen, J.P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. Comput. J. 54(5), 754–775 (2011). http://dx.doi.org/10.1093/comjnl/bxq024
Delange, J., Feiler, P.: Architecture fault modeling with the AADL error-model annex. In: 40th Euromicro Conference on Software Engineering and Advanced Applications. IEEE (2014)
Mokos, K., Katsaros, P., Bassiliades, N., Vassiliadis, V., Perrotin, M.: Towards compositional safety analysis via semantic representation of component failure behaviour. In: Proceedings of the 2008 Conference on Knowledge-Based Software Engineering, pp. 405–414. Amsterdam, The Netherlands (2008)
Prosvirnova, T., Batteux, M., Brameret, P.A., Cherfi, A., Friedlhuber, T., Roussel, J.M., Rauzy, A.: The AltaRica 3.0 project for model-based safety assessment. In: Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013. IFAC, York, Great Britain, September 2013
Prosvirnova, T., Rauzy, A.: Automated generation of minimal cut sets from AltaRica 3.0 models. IJCCBS 6(1), 50–80 (2015)
Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1–12 (2002)
SAE: Architecture Analysis and Design Language (AADL) AS-5506B. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.1, September 2012
Teichteil-Königsbuch, F., Infantes, G., Seguin, C.: Lazy forward-chaining methods for probabilistic model-checking. In: Advances in Safety, Reliability and Risk Management, pp. 318–326. Informa UK Limited, August 2011. http://dx.doi.org/10.1201/b11433-47
Acknowledgements
This material is based upon work funded and supported by the Department of Defense under Contract No. FA8721-05-C-0003 with Carnegie Mellon University for the operation of the Software Engineering Institute, a federally funded research and development center. [Distribution Statement A] This material has been approved for public release and unlimited distribution. Please see Copyright notice for non-US Government use and distribution. DM-0004294.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Brunel, J. et al. (2017). Performing Safety Analyses with AADL and AltaRica. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)