Safety Assessment of an Electrical System with AltaRica 3.0

  • Hala Mortada
  • Tatiana Prosvirnova
  • Antoine Rauzy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8822)


This article presents the high level, modeling language AltaRica 3.0 through the safety assessment of an electrical system. It shows how, starting from a purely structural model, several variants can be derived.Two of them target a compilation into Fault Trees and two others target a compilation into Markov chains. Experimental results are reported to show that each of these variants has its own interest. It also advocates that this approach made of successive derivation of variants is a solid ground to build a modeling methodology onto.


AltaRica3.0 Complex systems Reliability Modeling Safety 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arnold, A., Griffault, A., Point, G., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundamenta Informaticae 34, 109–124 (2000)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Rauzy, A.: Modes automata and their compilation into fault trees. Reliability Engneering and System Safety (2002)Google Scholar
  3. 3.
    Griffault, A., Vincent, A.: The mec 5 model-checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 488–491. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Khuu, M.: Contribution à l’accélération de la simulation stochastique sur des modèles AltaRica Data Flow. PhD thesis, Université de la Mèditerranée, Aix-Marseille II (2008)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Quayzin, X., Arbaretier, E.: Performance modeling of a surveillance mission. In: Proceedings of the Annual Reliability and Maintainability Symposium, RAMS 2009, Fort Worth, Texas USA, pp. 206–211 (2009) ISBN 978-1-4244-2508-2Google Scholar
  7. 7.
    Sghairi, M., De-Bonneval, A., Crouzet, Y., Aubert, J.J., Brot, P., Laarouchi, Y.: Distributed and reconfigurable architecture for flight control system. In: Proceedings of 28th Digital Avionics Systems Conference (DASC 2009), Orlando, USA (2009)Google Scholar
  8. 8.
    Chaudemar, J.C., Bensana, E., Castel, C., Seguin, C.: Altarica and event-b models for operational safety analysis: Unmanned aerial vehicle case study. In: Proceedings Formal Methods and Tools, FMT 2009, London, England (2009)Google Scholar
  9. 9.
    Adeline, R., Cardoso, J., Darfeuil, P., Humbert, S., Seguin, C.: Toward a methodology for the altarica modelling of multi-physical systems. In: Proceedings of European Safety and Reliability Conference, ESREL 2010, Rhodes, Greece (2010)Google Scholar
  10. 10.
    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, pp. 127–132. International Federation of Automatic Control, York (2013) ISBN: 978-3-902823-49-6, ISSN: 1474-6670CrossRefGoogle Scholar
  11. 11.
    Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts, Languages and Applications. Springer, Heidelberg (1999) ISBN-10: 9814021253. ISBN-13: 978-9814021258Google Scholar
  12. 12.
    Rauzy, A.: Guarded transition systems: A new states/events formalism for reliability studies. Journal of Risk and Reliability 222, 495–505 (2008)Google Scholar
  13. 13.
    Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and markov models: Boolean logic-driven markov processes. Reliability Engineering and System Safety 82, 149–163 (2003)CrossRefGoogle Scholar
  14. 14.
    Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1988) ISBN-10: 0136290493. ISBN-13: 978-0136290490Google Scholar
  15. 15.
    Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer-Verlag. New York Inc. (1998) ISBN-10: 0387947752. ISBN-13: 978-0387947754Google Scholar
  16. 16.
    Hatchuel, A., Weil, B.: C-k design theory: An advanced formulation. research in engineering design. Research in Engineering Design 19, 181–192 (2009)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Hala Mortada
    • 1
  • Tatiana Prosvirnova
    • 1
  • Antoine Rauzy
    • 2
  1. 1.Computer Science LabEcole PolytechniquePalaiseauFrance
  2. 2.Chaire Blériot Fabre, LGI Ecole Centrale de Paris Grande voie des vignesChâtenay-MalabryFrance

Personalised recommendations