Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0

  • Michel BatteuxEmail author
  • Tatiana Prosvirnova
  • Antoine Rauzy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11842)


In this article, we present modeling patterns dedicated to the assessment of maintenance policies with AltaRica 3.0. From the analyst’s perspective, these modeling patterns make models easier to design, to understand by stakeholders and to maintain. From a technical point of view, their design involves advanced features of AltaRica 3.0 that are worth presenting.


Assessment of maintenance policies AltaRica 3.0 Modeling patterns 


  1. 1.
    Aupetit, B., Batteux, M., Rauzy, A., Roussel, J.M.: Improving performance of the AltaRica 3.0 stochastic simulator. In: Podofillini, L., Sudret, B., Stojadinovic, B., Zio, E., Kröger, W. (eds.) Proceedings of Safety and Reliability of Complex Engineered Systems, ESREL 2015, pp. 1815–1824. CRC Press, September 2015CrossRefGoogle Scholar
  2. 2.
    Aupetit, B., Batteux, M., Rauzy, A., Roussel, J.M.: Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques. In: Actes du Congrès Lambda-Mu 20 (actes électroniques). Institut pour la Maîtrise des Risques (IMdR), Saint-Malo, France (2016).
  3. 3.
    Batteux, M., Prosvirnova, T., Rauzy, A.: From models of structures to structures of models. In: 4th IEEE International Symposium on Systems Engineering, ISSE 2018, Rome, Italy, October 2018Google Scholar
  4. 4.
    Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 assertions: the why and the wherefore. J. Risk Reliab. (2017, article accepted)Google Scholar
  5. 5.
    Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 in 10 modeling patterns. Int. J. Crit. Comput.-Based Syst. 9(1–2), 133–165 (2018). Scholar
  6. 6.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New-York (2008). Scholar
  7. 7.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Boston (1994)zbMATHGoogle Scholar
  8. 8.
    Maier, M.W.: The Art of Systems Architecting (2009)Google Scholar
  9. 9.
    Prosvirnova, T., et al.: 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, September 2013CrossRefGoogle Scholar
  10. 10.
    Rauzy, A.: Guarded transition systems: a new states/events formalism for reliability studies. J. Risk Reliab. 222(4), 495–505 (2008). Scholar
  11. 11.
    Zhang, Y., Barros, A., Rauzy, A., Lunde, E.: A modelling methodology for the assessment of preventive maintenance on a compressor drive system. In: Haugen, S., Barros, A., van Gulijk, C., Kongsvik, T., Vinnem, J.E. (eds.) Safe Societies in a Changing World, Proceedings of European Safety and Reliability Conference (ESREL 2018), pp. 915–922. CRC Press, Trondheim, June 2018CrossRefGoogle Scholar
  12. 12.
    Zimmermann, A.: Stochastic Discrete Event Systems. Springer, Heidelberg (2008). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Michel Batteux
    • 1
    Email author
  • Tatiana Prosvirnova
    • 2
    • 3
  • Antoine Rauzy
    • 4
  1. 1.IRT SystemXPalaiseauFrance
  2. 2.Laboratoire Genie Industriel, CentraleSupélecGif-sur-YvetteFrance
  3. 3.ONERA/DTIS, UFTMiPToulouseFrance
  4. 4.Norwegian University of Science and TechnologyTrondheimNorway

Personalised recommendations