IDEAS home Printed from https://ideas.repec.org/a/sae/risrel/v231y2017i6p691-700.html
   My bibliography  Save this article

AltaRica 3.0 assertions: The whys and wherefores

Author

Listed:
  • Michel Batteux
  • Tatiana Prosvirnova
  • Antoine Rauzy

Abstract

In discrete event simulations, the system is assumed to change of state when and only when an event occurs. This change of state can be more or less sophisticated depending on the modeling formalism. In this article, we discuss the whys and wherefores of the fixpoint assertion mechanism introduced in AltaRica 3.0 to perform changes of states. We show how it can be used to handle complex phenomena such as change in flow directions depending on the states of components. We propose an efficient implementation of this mechanism, thanks to ideas stemmed in theoretical computer science and artificial intelligence. We compare the AltaRica 3.0 approach with alternative ones, including those of the previous versions of the language.

Suggested Citation

  • Michel Batteux & Tatiana Prosvirnova & Antoine Rauzy, 2017. "AltaRica 3.0 assertions: The whys and wherefores," Journal of Risk and Reliability, , vol. 231(6), pages 691-700, December.
    • Handle: RePEc:sae:risrel:v:231:y:2017:i:6:p:691-700
    DOI: 10.1177/1748006X17728209
    as

    Download full text from publisher

    File URL: https://journals.sagepub.com/doi/10.1177/1748006X17728209
    Download Restriction: no
    File URL: https://libkey.io/10.1177/1748006X17728209?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Enrico Zio, 2013. "The Monte Carlo Simulation Method for System Reliability and Risk Analysis," Springer Series in Reliability Engineering, Springer, edition 127, number 978-1-4471-4588-2, March.
    2. Enrico Zio, 2013. "System Reliability and Risk Analysis by Monte Carlo Simulation," Springer Series in Reliability Engineering, in: The Monte Carlo Simulation Method for System Reliability and Risk Analysis, edition 127, chapter 0, pages 59-81, Springer.
    3. Brameret, P.-A. & Rauzy, A. & Roussel, J.-M., 2015. "Automated generation of partial Markov chain from high level descriptions," Reliability Engineering and System Safety, Elsevier, vol. 139(C), pages 179-187.
    4. Boiteau, M. & Dutuit, Y. & Rauzy, A. & Signoret, J.-P., 2006. "The AltaRica data-flow language in use: modeling of production availability of a multi-state system," Reliability Engineering and System Safety, Elsevier, vol. 91(7), pages 747-755.
    5. Enrico Zio, 2013. "Monte Carlo Simulation: The Method," Springer Series in Reliability Engineering, in: The Monte Carlo Simulation Method for System Reliability and Risk Analysis, edition 127, chapter 0, pages 19-58, Springer.
    6. Enrico Zio, 2013. "System Reliability and Risk Analysis," Springer Series in Reliability Engineering, in: The Monte Carlo Simulation Method for System Reliability and Risk Analysis, edition 127, chapter 0, pages 7-17, Springer.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Meng, Huixing & Kloul, Leïla & Rauzy, Antoine, 2018. "Modeling patterns for reliability assessment of safety instrumented systems," Reliability Engineering and System Safety, Elsevier, vol. 180(C), pages 111-123.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Michele Compare & Francesco Di Maio & Enrico Zio & Fausto Carlevaro & Sara Mattafirri, 2016. "Improving scheduled maintenance by missing data reconstruction: A double-loop Monte Carlo approach," Journal of Risk and Reliability, , vol. 230(5), pages 502-511, October.
    2. Di Maio, Francesco & Pettorossi, Chiara & Zio, Enrico, 2023. "Entropy-driven Monte Carlo simulation method for approximating the survival signature of complex infrastructures," Reliability Engineering and System Safety, Elsevier, vol. 231(C).
    3. Wang, Fan & Li, Heng, 2018. "System reliability under prescribed marginals and correlations: Are we correct about the effect of correlations?," Reliability Engineering and System Safety, Elsevier, vol. 173(C), pages 94-104.
    4. Tito G. Amaral & Vitor Fernão Pires & Armando Cordeiro & Daniel Foito & João F. Martins & Julia Yamnenko & Tetyana Tereschenko & Liudmyla Laikova & Ihor Fedin, 2023. "Incipient Fault Diagnosis of a Grid-Connected T-Type Multilevel Inverter Using Multilayer Perceptron and Walsh Transform," Energies, MDPI, vol. 16(6), pages 1-18, March.
    5. Penttinen, Jussi-Pekka & Niemi, Arto & Gutleber, Johannes & Koskinen, Kari T. & Coatanéa, Eric & Laitinen, Jouko, 2019. "An open modelling approach for availability and reliability of systems," Reliability Engineering and System Safety, Elsevier, vol. 183(C), pages 387-399.
    6. Rocco, Claudio M. & Moronta, José & Ramirez-Marquez, José E. & Barker, Kash, 2017. "Effects of multi-state links in network community detection," Reliability Engineering and System Safety, Elsevier, vol. 163(C), pages 46-56.
    7. Babykina, Génia & Brînzei, Nicolae & Aubry, Jean-François & Deleuze, Gilles, 2016. "Modeling and simulation of a controlled steam generator in the context of dynamic reliability using a Stochastic Hybrid Automaton," Reliability Engineering and System Safety, Elsevier, vol. 152(C), pages 115-136.
    8. Compare, Michele & Bellani, Luca & Zio, Enrico, 2017. "Reliability model of a component equipped with PHM capabilities," Reliability Engineering and System Safety, Elsevier, vol. 168(C), pages 4-11.
    9. Gascard, Eric & Simeu-Abazi, Zineb, 2018. "Quantitative Analysis of Dynamic Fault Trees by means of Monte Carlo Simulations: Event-Driven Simulation Approach," Reliability Engineering and System Safety, Elsevier, vol. 180(C), pages 487-504.
    10. Shiyu Chen & Wei Wang & Enrico Zio, 2021. "A Simulation-Based Multi-Objective Optimization Framework for the Production Planning in Energy Supply Chains," Energies, MDPI, vol. 14(9), pages 1-27, May.
    11. Kim, Hyeonmin & Kim, Jung Taek & Heo, Gyunyoung, 2018. "Failure rate updates using condition-based prognostics in probabilistic safety assessments," Reliability Engineering and System Safety, Elsevier, vol. 175(C), pages 225-233.
    12. Martin Folch-Calvo & Francisco Brocal-Fernández & Cristina González-Gaya & Miguel A. Sebastián, 2020. "Analysis and Characterization of Risk Methodologies Applied to Industrial Parks," Sustainability, MDPI, vol. 12(18), pages 1-35, September.
    13. Cadini, F. & Gioletta, A., 2016. "A Bayesian Monte Carlo-based algorithm for the estimation of small failure probabilities of systems affected by uncertainties," Reliability Engineering and System Safety, Elsevier, vol. 153(C), pages 15-27.
    14. Turati, Pietro & Pedroni, Nicola & Zio, Enrico, 2016. "Advanced RESTART method for the estimation of the probability of failure of highly reliable hybrid dynamic systems," Reliability Engineering and System Safety, Elsevier, vol. 154(C), pages 117-126.
    15. Sergio Copiello, 2020. "Business as Usual with Article Processing Charges in the Transition towards OA Publishing: A Case Study Based on Elsevier," Publications, MDPI, vol. 8(1), pages 1-14, January.
    16. Shafiee, Mahmood & Finkelstein, Maxim & Bérenguer, Christophe, 2015. "An opportunistic condition-based maintenance policy for offshore wind turbine blades subjected to degradation and environmental shocks," Reliability Engineering and System Safety, Elsevier, vol. 142(C), pages 463-471.
    17. Su, Huai & Zhang, Jinjun & Zio, Enrico & Yang, Nan & Li, Xueyi & Zhang, Zongjie, 2018. "An integrated systemic method for supply reliability assessment of natural gas pipeline networks," Applied Energy, Elsevier, vol. 209(C), pages 489-501.
    18. Naseri, Masoud & Baraldi, Piero & Compare, Michele & Zio, Enrico, 2016. "Availability assessment of oil and gas processing plants operating under dynamic Arctic weather conditions," Reliability Engineering and System Safety, Elsevier, vol. 152(C), pages 66-82.
    19. Mohammad Nadjafi & Mohammad Ali Farsi & Hossein Jabbari, 2017. "Reliability analysis of multi-state emergency detection system using simulation approach based on fuzzy failure rate," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 8(3), pages 532-541, September.
    20. Dao, Cuong D. & Zuo, Ming J., 2017. "Optimal selective maintenance for multi-state systems in variable loading conditions," Reliability Engineering and System Safety, Elsevier, vol. 166(C), pages 171-180.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:sae:risrel:v:231:y:2017:i:6:p:691-700. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: SAGE Publications (email available below). General contact details of provider: .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.