Abstract
In this publication, we present how the AltaRica 3.0 modelling language can be used to efficiently design a model of an offshore windmill farm and evaluate its performance. The system we consider is composed of combinations of series-parallel components, combining different states for components and different modes for parts of the system and implements complex reconfiguration strategies.
Knowing the syntax and semantics of languages such as AltaRica 3.0 is however not sufficient to efficiently design models. First, models should make it possible to efficiently calculate performance indicators. Second, individual models should be designed quickly (and without bugs!) and modelling knowledge should be capitalized from models to models. With both respects, architectural and behavioural modelling patterns are of great help. The AltaRica 3.0 model we propose in this article for the assessment of an offshore windmill farm achieves both goals. We show that the design of the model is very efficient thanks to the advanced structural constructs of the AltaRica 3.0 modelling language. Finally, we use assessment tools available for AltaRica 3.0, e.g. the stochastic simulator, to evaluate the model of the system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abadi, M., Cardelli, L.: A Theory of Objects. Springer-Verlag, New-York, USA (1998)
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 (2015)
Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 assertions: the why and the wherefore. J. Risk Reliab. 231(6), 691–700 (2017). https://doi.org/10.1177/1748006X17728209
Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica wizard: an integrated modeling and simulation environment for Altarica 3.0. In: Actes du congrès Lambda-Mu 21 (actes électroniques). IMdR, Reims, France (2018)
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 (2018)
Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 in 10 modeling patterns. Int. J. Crit. Comput. Based Syst. 9(1–2), 133–165 (2019). https://doi.org/10.1504/IJCCBS.2019.098809
Batteux, M., Prosvirnova, T., Rauzy, A.: Modeling patterns for the assessment of maintenance policies with AltaRica 3.0. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds.) IMBSA 2019. LNCS, vol. 11842, pp. 32–46. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32872-6_3
Batteux, M., Prosvirnova, T., Rauzy, A.: Efficient Modeling of large Markov chains models with AltaRica 3.0. In: Proceedings of the 31st European Safety and Reliability Conference (ESREL). Angers, France (2021). https://hal.archives-ouvertes.fr/hal-03429225
Batteux, M., Prosvirnova, T., Rauzy, A., Yang, L.: Reliability assessment of phased-mission systems with Altarica 3.0. In: Proceedings of the 3rd International Conference on System Reliability and Safety (ICSRS), pp. 400–407. IEEE, Barcelona, Spain (2018). https://doi.org/10.1109/ICSRS.2018.00072
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New-York, NY, USA (2008)
Epstein, S., Reinhart, M., Rauzy, A.: The open PSA initiative for next generation probabilistic safety assessment. In: Proceeding of 9th International Conference on Probabilistic Safety Assessment and Management 2008, PSAM 2008, vol. 1, pp. 542–550. IAPSAM, Hong-Kong, China (2008)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley professional computing series, Addison-Wesley, Boston, MA 02116, USA (1994)
Noble, J., Taivalsaari, A., Moore, I.: Prototype-Based Programming: Concepts. Languages and Applications, Springer-Verlag, Berlin and Heidelberg, Germany (1999)
Prosvirnova, T., Rauzy, A.: Automated generation of minimal cut sets from Altarica 3.0 models. Int. J. Crit. Comput. Based Syst. 6(1), 50–79 (2015). https://doi.org/10.1504/IJCCBS.2015.068852
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
Rauzy, A.: Anatomy of an efficient fault tree assessment engine. In: Virolainen, R. (ed.) Proceedings of International Joint Conference PSAM 2011/ESREL 2012, pp. 3333–3343. Helsinki, Finland (2012)
Rauzy, A.: Notes on computational uncertainties in probabilistic risk/safety assessment. Entropy 20(3), 162 (2018). https://doi.org/10.3390/e20030162
Zimmermann, A.: Stochastic Discrete Event Systems. Springer, Berlin, Heidelberg, Germany (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Batteux, M., Prosvirnova, T., Rauzy, A. (2022). Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15841-4
Online ISBN: 978-3-031-15842-1
eBook Packages: Computer ScienceComputer Science (R0)