Advertisement

Performing Safety Analyses with AADL and AltaRica

  • Julien Brunel
  • Peter Feiler
  • Jérôme Hugues
  • Bruce Lewis
  • Tatiana Prosvirnova
  • Christel Seguin
  • Lutz Wrage
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10437)

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.

Keywords

AADL AltaRica MBSA Safety patterns 

Notes

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.

References

  1. 1.
    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)Google Scholar
  2. 2.
    Arnold, A., Griffault, A., Point, G., Rauzy, A.: The AltaRica language and its semantics. Fundamenta Informaticae 34, 109–124 (2000)zbMATHGoogle Scholar
  3. 3.
    Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 specification. Technical report, AltaRica Association (2015). http://openaltarica.fr/docs/AltaRica3.0LanguageSpecification.pdf
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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 CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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 2013Google Scholar
  9. 9.
    Prosvirnova, T., Rauzy, A.: Automated generation of minimal cut sets from AltaRica 3.0 models. IJCCBS 6(1), 50–80 (2015)CrossRefGoogle Scholar
  10. 10.
    Rauzy, A.: Mode automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78, 1–12 (2002)CrossRefGoogle Scholar
  11. 11.
    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 2012Google Scholar
  12. 12.
    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

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Julien Brunel
    • 1
  • Peter Feiler
    • 4
  • Jérôme Hugues
    • 3
  • Bruce Lewis
    • 5
  • Tatiana Prosvirnova
    • 2
  • Christel Seguin
    • 1
  • Lutz Wrage
    • 4
  1. 1.ONERAToulouseFrance
  2. 2.IRT Saint-ExupéryToulouseFrance
  3. 3.ISAE SUPAEROToulouseFrance
  4. 4.Software Engineering InstituteCarnegie Mellon UniversityPittsburghUSA
  5. 5.US Army, AMRDECHuntsvilleUSA

Personalised recommendations