Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts

Conference Proceedings of the EUROMICRO

Volumn , Issue , 2001, Pages 200-207

  Huszerl, Gábor ^a   Majzik, István ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY MODELING; DISTRIBUTED OBJECT-ORIENTED SYSTEMS; MODEL AND ANALYSIS; PETRI-NET MODELING; REDUNDANCY MANAGEMENT; RELIABILITY AND AVAILABILITY; REPLICATED OBJECTS; REPLICATION STRATEGIES;

REDUNDANCY; REPAIR; SYSTEMS ANALYSIS;

RELIABILITY ANALYSIS;

EID: 84889052319     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.2001.952455     Document Type: Conference Paper

References (14)

1. M.Ajmone Marsan.Stochastic Petri nets: An elementary introduction.In G.Rozenberg, editor, Advances in Petri Nets, LNCS 424, pages 1-29.Springer Verlag, 1991.
2. S.Allmaier and S.Dalibor.Panda-Petri net ANalysis and Design Assistant.In Tools Descriptions, 9th Int.Conf.on Modeling Techniques and Tools for Computer Performance Evaluation (Tools '97), St.Malo, France, 1997.
3. A.Bondavalli, M.Dal Cin, D.Latella, and A.Pataricza.High-level Integrated Design Environment for Dependability (HIDE).In Proc.Fifth Int.Workshop on Object-Oriented Real-Time Dependable Systems (WORDS-99), Monterey, California, USA, November 18-20.1999.
4. A.Bondavalli, I.Majzik, and I.Mura.Automatic dependability analysis for supporting design decisions in UML.In Proc.HASE'99, Fourth IEEE Int.Symposium on High Assurance Systems Engineering, 1999.
5. A.Bondavalli, I.Mura, S.Chiaradonna, R.Filippini, S.Poli, and F.Sandrini.DEEM: A tool for the dependability modeling and evaluation of multiple phased systems.In Proc.IEEE Int.Conf.on Dependable Systems and Networks (DSN), New York, June 26-28, 2000.
6. G.Ciardo, J.Muppala, and K.S.Trivedi.SPNP-stochastic Petri net package.In Proc.IEEE 3rd Int.Workshop on Petri Nets and Performance Models (PNPM'89), pages 142-151., Kyoto, Japan, 1989.
7. G.Huszerl and I.Majzik.Quantitative analysis of dependability critical systems based on UML statechart models.In Proc.HASE 2000, Fifth IEEE Int.Symposium on High Assurance Systems Engineering, 2000.
8. Isis Distributed Systems Inc.and Iona Technologies Ltd.Or-bix+Isis Programmers's Guide, 1995.
9. D.Latella, I.Majzik, and M.Massink.Automatic verification of UML statechart diagrams using the.SPIN model-checker.Formal Aspects of Computing, 11(6):637-664, 1999.
10. S.Maffeis and D.C.Schmidt.Constructing reliable distributed communication systems with CORBA.IEEE Communications Magazine, 14(2), 1997.
11. L.E.Moser, P.M.Melliar-Smith, P.Narasimhan, L.Tewks-bury, and V.Kalogeraki.The Eternal system: An architecture for enterprise applications.In Proc.Int.Enterprise Distributed Object Computing Conf, pages 214-222, 1999.
12. J.K.Muppala, G.Ciardo, and K.S.Trivedi.Stochastic reward nets for reliability prediction.Commun.in Reliability, Maintainability and Serviceability, l(2):9-20, July 1994.
13. Object Management Group.Fault tolerant CORBA specification vl.0, ptc/2000-04-04.http://www.omg.org/, 2000.
14. OMG.UML Semantics, version 1.1.Object Management Group, September 1997.