IDEAS home Printed from https://ideas.repec.org/a/eee/reensy/v91y2006i7p747-755.html
   My bibliography  Save this article

The AltaRica data-flow language in use: modeling of production availability of a multi-state system

Author

Listed:
  • Boiteau, M.
  • Dutuit, Y.
  • Rauzy, A.
  • Signoret, J.-P.

Abstract

This article presents an application of the AltaRica Data-Flow language to the assessment of the average production of a production line throughout a period of time. Its contribution is twofold. The problem is described. Modelling difficulties are pointed out. Solutions are proposed via the use of the AltaRica Data-Flow language. The ability of this language to represent complex systems is demonstrated. It is shown, by means of an experimental study, that AltaRica Data-Flow models can be assessed efficiently.

Suggested Citation

  • 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.
    • Handle: RePEc:eee:reensy:v:91:y:2006:i:7:p:747-755
    DOI: 10.1016/j.ress.2004.12.004
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S0951832005000323
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.ress.2004.12.004?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
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Reibman, Andrew & Smith, Roger & Trivedi, Kishor, 1989. "Markov and Markov reward model transient analysis: An overview of numerical approaches," European Journal of Operational Research, Elsevier, vol. 40(2), pages 257-267, May.
    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. Desgeorges, Loïc & Piriou, Pierre-Yves & Lemattre, Thibault & Chraibi, Hassane, 2021. "Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata," Reliability Engineering and System Safety, Elsevier, vol. 208(C).
    2. Signoret, Jean-Pierre & Dutuit, Yves & Cacheux, Pierre-Joseph & Folleau, Cyrille & Collas, Stéphane & Thomas, Philippe, 2013. "Make your Petri nets understandable: Reliability block diagrams driven Petri nets," Reliability Engineering and System Safety, Elsevier, vol. 113(C), pages 61-75.
    3. David, Pierre & Idasiak, Vincent & Kratz, Frédéric, 2010. "Reliability study of complex physical systems using SysML," Reliability Engineering and System Safety, Elsevier, vol. 95(4), pages 431-450.
    4. Cherfi, Abraham & Leeman, Michel & Meurville, Florent & Rauzy, Antoine, 2014. "Modeling automotive safety mechanisms: A Markovian approach," Reliability Engineering and System Safety, Elsevier, vol. 130(C), pages 42-49.
    5. Zhang, Huilong & Innal, Fares & Dufour, François & Dutuit, Yves, 2014. "Piecewise Deterministic Markov Processes based approach applied to an offshore oil production system," Reliability Engineering and System Safety, Elsevier, vol. 126(C), pages 126-134.
    6. 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.
    7. Brissaud, Florent & Barros, Anne & Bérenguer, Christophe & Charpentier, Dominique, 2011. "Reliability analysis for new technology-based transmitters," Reliability Engineering and System Safety, Elsevier, vol. 96(2), pages 299-313.

    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. Ruiz-Castro, Juan Eloy & Li, Quan-Lin, 2011. "Algorithm for a general discrete k-out-of-n: G system subject to several types of failure with an indefinite number of repairpersons," European Journal of Operational Research, Elsevier, vol. 211(1), pages 97-111, May.
    2. Zeng, Zhiguo & Fang, Yi-Ping & Zhai, Qingqing & Du, Shijia, 2021. "A Markov reward process-based framework for resilience analysis of multistate energy systems under the threat of extreme events," Reliability Engineering and System Safety, Elsevier, vol. 209(C).
    3. Xing, Liudong & Shrestha, Akhilesh & Dai, Yuanshun, 2011. "Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures," Reliability Engineering and System Safety, Elsevier, vol. 96(10), pages 1375-1385.
    4. Smeitink, E. & Dijk, N.M. van & Haverkort, B.R., 1990. "Product forms for availability," Serie Research Memoranda 0040, VU University Amsterdam, Faculty of Economics, Business Administration and Econometrics.
    5. Wang, Chaonan & Xing, Liudong & Levitin, Gregory, 2012. "Propagated failure analysis for non-repairable systems considering both global and selective effects," Reliability Engineering and System Safety, Elsevier, vol. 99(C), pages 96-104.
    6. Dijk, N.M. van, 1991. "On error bound analysis for transient continuous-time Markov reward structures," Serie Research Memoranda 0005, VU University Amsterdam, Faculty of Economics, Business Administration and Econometrics.

    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:eee:reensy:v:91:y:2006:i:7:p:747-755. 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: Catherine Liu (email available below). General contact details of provider: https://www.journals.elsevier.com/reliability-engineering-and-system-safety .

    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.