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

Reliability Engineering and System Safety

Volumn 91, Issue 7, 2006, Pages 747-755

  Boiteau, M ^a   Dutuit, Y ^b   Rauzy, A ^c   Signoret, J P ^d  

^a Université Bordeaux I ^*  (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

^c IML CNRS   (France)

^d CSTJF   (France)

Author keywords

AltaRica Data Flow language; Multi state systems; Production availability

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA FLOW ANALYSIS; LARGE SCALE SYSTEMS; PROBLEM SOLVING;

ALTARICA DATA-FLOW MODELS; ALTARICA-DATA FLOW LANGUAGE; MULTI-STATE SYSTEM; PRODUCTION AVAILABILITY;

MULTI AGENT SYSTEMS;

EID: 33645227670     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2004.12.004     Document Type: Article

References (13)

1. Y. Kawauchi, and M. Rausand A new approach to production regularity assessment in the oil and chemical industries Reliab Eng Syst Safety 75 2002 379 388
2. A. Rauzy Modes automata and their compilation into fault trees Reliab Eng Syst Safety 78 2002 1 12
3. A. Reibman, R. Smith, and K.S. Trivedi Markov and Markov Reward model transient analysis: an overview of numerical approaches Euro J Oper Res 40 1989 257 267 North Holland
4. Muppala J, Ciardo G, Trivedi K.S. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability 1994; 1(2):9-20.
5. G. Ciardo, J. Muppala, and K.S. Trivedi On the solution of GSPN reward models Perform Eval 12 4 1991 237 254
6. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
7. A. Arnold MEC: a system for constructing and analysing transition systems J. Sifakis Proceedings of the international workshop on automatic verification methods for finite state systems vol. 407 1989 Springer Berlin
8. M. AjmoneMarsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modelling with generalized stochastic Petri nets Wiley series in parallel computing 1994 Wiley New York
9. Rauzy A. An Experimental study on six algorithms to compute the transient probabilities of large Markov models. Reliab Eng System Safety 2004; 86(1):105-115.
10. M. Lanus, L. Yin, and K.S. Trivedi Hierarchical composition and aggregation of state-based availability and performability models IEEE Trans Reliab 52 1 2003 44 52
11. J. Rumbaugh, I. Jacobson, and G. Booch The unified modeling language Reference manual 1999 Addison Wesley London ISBN 0-201-30998-X
12. K. Jensen Coloured petri nets Basic concepts vol. 1 1992 Springer Berlin
13. K. Jensen Coloured petri nets Analysis methods vol. 2 1994 Springer Berlin