Automatic dependability analysis for supporting design decisions in UML

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 64-71

  Bondavalli, Andrea ^a   Majzik, Istvan ^b   Mura, Ivan ^a  

^a CNR   (Italy)

^b DMIS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SPECIFICATIONS; SYSTEMS ENGINEERING;

APPLICATION EXAMPLES; AUTOMATIC TRANSFORMATIONS; AUTOMATIC VALIDATION; DEPENDABILITY ANALYSIS; DEPENDABILITY EVALUATION; INTEGRATED ENVIRONMENT; MATHEMATICAL ANALYSIS; SYSTEM SPECIFICATION;

MATHEMATICAL TRANSFORMATIONS;

EID: 84978922841     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1999.809476     Document Type: Conference Paper

References (20)

1. S. Allmaier and S. Dalibor, "PANDA-Petri net analysis and design assistant, " in Proc. Performance TOOLS'97, Saint Malo, France, 1997.
2. A. Avizienis, "Building Dependable Systems: How to Keep Up with Complexity, " in Proc. IEEE 25-th International Symposium on Fault-Tolerant Computing Systems, Pasadina, U.S.A., 1995, pp. 4-14.
3. R. E. Barlow, J. B. Fussel and N. D. Singpurwalla, "Reliability and Fault-Tree Analysis, " Philadelphia, PA, USA, Society for Industrial and Applied Mathematics, 1975.
4. C. Beounes, M. Aguera, et al., "SURF-2: A program for dependability evaluation of complex hardware and software systems, " in Proc. IEEE FTCS'23, Fault-Tolerant Computing Symposium, Toulouse, France, 1993, pp. 668-673.
5. A. Bondavalli, I. Majzik and I. Mura, "From structural UML diagrams to Timed Petri Nets, " European ESPRIT Project 27439 HIDE, Deliverable 2, Section 4, 1998.
6. A. Bondavalli, I. Majzik and I. Mura, "Automated dependability analysis of UML designs, " in Proc. ISORC'99 2-nd IEEE International Symposium on Object-oriented Real-time distributed Computing, Saint-Malo, France, 1999, pp. 139-144.
7. G. Chiola, "GreatSPN 1.5 software architecture, " in Proc. Fifth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, 1991, pp. 117-132.
8. G. Ciardo, J. Muppala and K. S. Trivedi, "SPNP: Stochastic Petri net package, " in Proc. International Conference on Petri Nets and Performance Models, Kyoto, Japan, 1989.
9. M. Dal Cin, G. Huszerl and K. Kosmidis, "Evaluation of Safety-Critical Systems based on Guarded Statecharts, " in Proc. HASE'99 Fourth IEEE International Symposium on High Assurance Systems Engineering, Washington DC, USA, 1999.
10. R. German, C. Kelling, A. Zimmermann and G. Hommel, "TimeNET: A toolkit for evaluating non-Markovian stochastic Petri nets, " Performance Evaluation, Vol. 24, 1995.
11. J.C. Laprie, "Dependability: A Unifying Concept for Reliable Computing and Fault Tolerance, " in "Dependability of Resilient Computers", T. Anderson Ed., BSP Professional Books, 1989, pp. 1-28.
12. J. C. Laprie, J. Arlat, C. Beounes and K. Kanoun, "Architectural issues in software fault-tolerance, " in "Software fault-tolerance", M. R. Lyu Ed., Wiley & Sons, 1995, pp. 47-80.
13. C. Lewerentz and T. Lindner, "Formal development of Reactive Systems, " Springer Verlag, 1995.
14. M Malhotra and K. S. Trivedi, "Power-hierarchy among dependability model types, " IEEE Transactions on Reliability, Vol. 43, pp. 493-502, 1994.
15. M. Malhotra and K. S. Trivedi, "Dependability modeling using Petri nets, " IEEE Transactions on Reliability, Vol. 44, pp. 428-440, 1995.
16. J. L. Peterson, "Petri net theory and the modeling of systems, " Englewood Cliffs, NJ, Prentice-Hall, 1981.
17. Rational Software, Microsoft, Hewlett-Packard, Oracle, Sterling Software, MCI Systemhouse, Unisys, ICON Computing, IntelliCorp, i-Logix, IBM, ObjecTime, Platinum Technology, Ptech, Taskon, Reich Technologies and Softeam, "Object Constraint Language Specification, " version 1.1, 1997.
18. W. Reisig, "Petri nets: An introduction, " Springer Verlag, 1985.
19. W. H. Sanders, W. D. Obal II, M. A. Qureshi and F. K. Widjanarko, "The UltraSAN modeling environment, " Performance Evaluation, Vol. 21, 1995.
20. J. Xu, B. Randell, C. M. F. Rubira-Calsavara and R. J. Stroud, "Towards an object-oriented approch to software fault-tolerance, " University of Newcastle Upon Tyne, PDCS-2 Technical Report, 1994.