AltaRica: Constraint automata as a description language

Journal Europeen des Systemes Automatises

Volumn 33, Issue 8-9, 1999, Pages 1033-1052

  Point, Gérald ^a   Rauzy, Antoine ^b  

^a IXI   (France)

^b UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

High level description languages; Reliability workbenches

Indexed keywords

EID: 0010254532     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. ANDREWS J. et MOSS T., Reliability and Risk Assessment. John Wiley and Sons, 1993.
2. ARNOLD A. et NIVAT M., «Comportements de processus». Colloque AFCET "Les Mathématiques de l'informatique", 1982.
3. ARNOLD A., Finite Transition Systems. Prentice-Hall, 1994.
4. ARNOLD A., BÉGAY D. et CRUBILLÉ P., Construction and analysis of transition systems with MEC. World Scientific Publishers, 1994.
5. BALL M., «Computational complexity of network reliability analysis: an overview». IEEE Transactions on Reliability, vol. R-35, p. 230-239, 1986.
6. BONFATTI F., MONARI P. et SAMPIERI U., IEC 1131-3 Programming Methodology. ISBN 2-9511585-0-5, 1997.
7. BOUISSOU M., «The FIGARO Dependability Evaluation Workbench in Use : Case Studies for Fault-Tolerant Computer Systems». 23th Annual Symposium on Fault Tolerant Computing, FTCS'93, 1993.
8. BRLEK S. et RAUZY A., «Synchronization of Constrained Transition Systems». HONG H., Ed., Proceedings of the First International Symposium on Parallel Symbolic Computation (PASCO'94), p. 54-62, Linz, Ostreich, 1994. World Scientific Publishing.
9. CORSINI M.-M. et RAUZY A., «Toupie: the μ-calculus over finite domains as a constraint language». Journal of Automated Reasonning, vol. 17, p. 143-171, 1997.
10. DUTUIT Y., RAUZY A. et SIGNORET J.-P., «Réséda: a Reliability Network Analyser». CACCIABUE C. et PAPAZOGLOU I., Eds., Proceedings of European Safety and Reliability Association Conference, ESREL'96, vol. 3, p. 1947-1952. Springer Verlag, 1996. ISBN 3-540-76051-2.
11. DUTUIT Y., CHATELET E., SIGNORET J.-P. et THOMAS P., «Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases». Reliability Engineering and System Safety, vol. 55, p. 117-124, 1997.
12. DUTUIT Y. et RAUZY A., «Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia». Reliability Engineering and System Safety, vol. 58, p. 127-144, 1997.
13. DUTUIT Y. et RAUZY A., «A Guided Tour of Minimal Cutsets Handling by means of Binary Decision Diagrams». Proceedings of Probabilistic Safety Assessment conference, PSA'99, 1999. To appear.
14. DUTUIT Y. et RAUZY A., «New algorithms to compute importance factors CPr, MIF, CIF, DIF, RAW and RRW». Proceedings of the European Safety and Reliability Association Conference, ESREL'99. European Safety and Reliability Association, 1999. to appear.
15. DUTUIT Y., RAUZY A. et SIGNORET J.-P., «Evaluation of Systems Reliability by means of Binary Decision Diagram». Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, 1999. to appear.
16. GODEFROID P., Partial-Order Methods for the Verification of Concurrent Systems, vol. 1032. LNCS, 1996. ISBN 3-540-60761-1.
17. HALBWACHS N., Synchronous programming of reactive systems. Kluwer Academic Publishers, 1993.
18. HAREL D., PNUELI A., SCHMIDT J. et SHERMAN R., «On the Formal Semantics of Statecharts». Proceeding of the First IEEE Symposium on Logic in Computer Science, p. 54-64, New-York, 1986. IEEE Press.
19. HAREL D., «StateCharts: a visual approach to complex systems». Science of Computer Programming, vol. 8, p. 231-275, 1987.
20. VAN HENTENRYCK P., Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, 1989. ISBN 0-262-08181-4.
21. HUTINET T., LAJEUNESSE S. et MARTIN L., «Atelier FIABEX, vers une intégration des études SdF en phase de conception». Actes du Congrès λμ, 94, ESREL'94, p. 694-700, La Baule, 1994.
22. KAHN G., «The semantics of a simple language for parallel programming». ROSENFELD J., Ed., Proceedings of the IFIP Congress 74, p. 471-475. North-Holland Publishing Company, 1974.
23. MADRE J.-C., COUDERT O., FRAÏSSÉ H. et BOUISSOU M., «Application of a New Logically Complete ATMS to Digraph and Network-Connectivity Analysis». Proceedings of the Annual Reliability and Maintainability Symposium, ARMS'94, p. 118-123, 1994. Annaheim, California.
24. MARANINCHI F., «The Argos language: Graphical Representation of Automata and Description of Reactive Systems». IEEE Workshop on Visual Languages, Kobe, Japan, October 1991.
25. MURATA T., «Petri Nets: Properties, Analysis and Applications». Proceedings of the IEEE, vol. 77, Num. 4, p. 541-580, April 1989.
26. PNUELI A. et SHALEV M., «What's in a step : On the semantics of Statecharts». Proceedings of the Symposium on Theoretical Aspects of Computer Software, LNCS, 1991.
27. POINT G., «Qualitative analysis of Petri nets using Arabica». Proceedings of the European Safety and Reliability Association Conference, ESREL'99, Munïch, sep 1999. Balkema Publishing.
28. SHIER D., Network Reliability and Algebraic Structures. Oxford Science Publications, 1991.
29. SIGNORET J.-P., «Moca-RP V9». Rapport technique, Elf-Aquitaine, 1995. rapport interne ELF Aquitaine Production - Direction Recherche et Développement Exploration Production - réf. EP/P/SE/MRT-ARF/JPS9634 - simulation de Monte-Carlo de réseaux de Petri stochastiques.
30. TURNER K., Using Formal Description Techniques. John Wiley & Sons, 1993. ISBN 0-471-93455-0.