Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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 2015
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). https://doi.org/10.4267/2042/61811
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 2018
Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 assertions: the why and the wherefore. J. Risk Reliab. (2017, article accepted)
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). https://doi.org/10.1504/IJCCBS.2019.098809
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New-York (2008). https://doi.org/10.1007/978-0-387-68612-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)
Maier, M.W.: The Art of Systems Architecting (2009)
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 2013
Rauzy, A.: Guarded transition systems: a new states/events formalism for reliability studies. J. Risk Reliab. 222(4), 495–505 (2008). https://doi.org/10.1243/1748006XJRR177
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 2018
Zimmermann, A.: Stochastic Discrete Event Systems. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-74173-2
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Batteux, M., Prosvirnova, T., Rauzy, A. (2019). Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-32872-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32871-9
Online ISBN: 978-3-030-32872-6
eBook Packages: Computer ScienceComputer Science (R0)