Guarded transition systems: A new states/events formalism for reliability studies

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

Volumn 222, Issue 4, 2008, Pages 495-505

  Rauzy, A B ^a  

^a CNRS   (France)

Author keywords

modelling languages; system engineering; transition systems

Indexed keywords

EID: 84990341428     PISSN: 1748006X     EISSN: 17480078     Source Type: Journal    
DOI: 10.1243/1748006XJRR177     Document Type: Article

References (20)

1. Andrews J. D. Moss T. R. Reliability and risk assessment, 1993 (John Wiley and Sons)
2. Arnold A. Finite transition systems, 1994 (Prentice Hall)
3. Rumbaugh J. Jacobson I. Booch G. The unified modeling language. reference manual, 1999 (Addison Wesley)
4. Colbourn C. J. The combinatorics of network reliability, 1987 (Oxford University Press, New York)
5. Shier D. R. Network reliability and algebraic structures, 1991 (Oxford Science Publications)
6. Madre J.-C. Coudert O. Fraissé H. Bouissou M. Application of a new logically complete ATMS to digraph and network-connectivity analysis. In Proceedings of the Annual reliability and maintainability symposium, ARMS'94, Annaheim, California, 1994, pp. 118–123 (RAMS)
7. Ball M. O. Computational complexity of network reliability analysis: An overview. IEEE Trans. Reliab., 1986, 35, 230–239
8. Duhesme E. Laleuf J.-C. Hery J.-F. Bouissou M. De la modèlisation des systèmes bouclés à la génération automatique d'arbres de défaillances. In Actes du congrès λμ10, Saint Malo, October 1996 (in French)
9. Yang J.-E. Han S.-H. Park J.-H. Jin Y.-H. Analytic method to break logical loops automatically in PSA. Reliab. Engng Syst. Saf., 1997, 55, 101–105
10. Cheng Y.-L. Yuan J. On structured fault tree construction by modularizing control loops. Reliab. Engng Syst. Saf., 2000, 67, 161–173
11. Shiple T. R. Berry G. Touati H. Constructive analysis of cyclic circuits. International Design and Testing Conference (ITDC), Paris, March 1996
12. Shiple T. R. Singhal V. Brayton R. K. Sangiovanni-Vincentelli A. L. Analysis of combinational cycles in sequential circuits. International Symposium on Circuits and Systems. Atlanta, GA, May 1996
13. AjmoneMarsan M. Balbo G. Conte G. Donatelli S. Franceschinis G. Modelling with generalized stochastic Petri nets, 1994 (Wiley and Sons)
14. Boiteau M. Dutuit Y. Rauzy A. Signoret J.-P. The AltaRica data-flow language in use: Assessment of production availability of a multistates system. Reliab. Engng Syst. Saf., 2004, 91, 747–755
15. Papadimitriou C. H. Computational complexity, 1994 (Addison Wesley)
16. Van LeuwenJ.,(ed. ) Handbook of theoretical computer science, volume B, 1990 (Elsevier)
17. Kawauchi Y. Rausand M. A new approach to production regularity assessment in the oil and chemical industries. Reliab. Engng Syst. Saf., 2002, 75, 379–388
18. Esperza J. Decidability and complexity of Petri nets problems — an introduction. In Lectures on Petri nets I: basic models, (Eds. Reisig W. Rozenberg G. ) 1998, pp. 374–428 (Springer)
19. Rauzy A. Mode automata and their compilation into fault trees. Reliab. Engng Syst. Saf., 2002, 78 (1), 1–12
20. Holzmann G. J. Design and validation of computer protocols, Software series, 1991 (Prentice Hall)