Skip to main content
SpringerLink
Log in
Book cover

European Dependable Computing Conference

EDCC 2002: Dependable Computing EDCC-4 pp 121–139Cite as

Towards Dependability Modeling of FT-CORBA Architectures

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2485))

Abstract

The paper presents techniques to support the dependability modeling and analysis of distributed object-oriented applications that are designed according to the Fault Tolerant CORBA (FT-CORBA) specification. First the construction of a high-level dependability model is described. It is based on the architecture of the application and allows the analysis of the fault tolerance strategies and properties that are directly supported by the standard infrastructure. Then a technique to construct a refined dependability model is presented. It exploits the detailed behavioral model of the object responsible for replica maintenance. The UML statechart of this object is transformed to a stochastic Petri net that forms the core of the dependability model. In this way the designer is allowed to utilize the full power of statecharts to construct models of application-dependent replication strategies and recovery policies.

This work has been partially supported by the Hungarian Ministry of Education under contract FKFP 0103/2001.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Object Management Group: Fault tolerant CORBA. CORBA 2.6, Chapter 25 formal/01-12-63, OMG Technical Committee, http://www.omg.org (2001)

  2. Eternal Systems Inc.: Eternal embedded edition. Product description, http://www.eternal-systems.com/products (2001)

  3. Bondavalli, A., Majzik, I., Mura, I.: Automated dependability analysis of UML designs. In: Proc. 2nd IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’99), Saint Malo, France (1999) 139–144.

    Google Scholar 

  4. Popstojanova, K.G., Trivedi, K.S.: Architecture based software reliability. In: Proc. Int. Conf. on Appplied Stochastic System Modeling, Kyoto, Japan. (2000)

    Google Scholar 

  5. Nelli, M., Bondavalli, A., Simoncini, L.: Dependability modelling and analysis of complex control systems: An application to railway interlocking. In: Proc. EDCC-2, Springer Verlag (1996) 93–110.

    Google Scholar 

  6. Betous-Almeida, C., Kanoun, K.: Dependability evaluation-From functional to structural modeling. In: Proc. SAFECOMP 2001, Springer Verlag (2001) 239–249.

    Google Scholar 

  7. Rabah, M., Kanoun, K.: Dependability evaluation of a distributed shared memory multiprocessor system. In: Proc. EDCC-3, Springer Verlag (1999) 42–59.

    Google Scholar 

  8. Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems-Science & Engineering 16 (2001) 265–275.

    Google Scholar 

  9. Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analysis for supporting design decisions in UML. In: Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE’99). (1999) 64–71.

    Google Scholar 

  10. Huszerl, G., Majzik, I.: Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts. In: Proc. Workshop on Software Process and Product Improvement, the 27th EUROMICRO Conference, Warsaw, Poland. (2001) 200–207.

    Google Scholar 

  11. Muppala, J.K., Ciardo, G., Trivedi, K.S.: Stochastic reward nets for reliability prediction. Comm. in Reliability, Maintainability and Serviceability 1 (1994) 9–20.

    Google Scholar 

  12. Ciardo, G., Muppala, J., Trivedi, K.S.: SPNP-stochastic Petri net package. In: Proc. IEEE 3rd Int. Workshop on Petri Nets and Performance Models (PNPM’89), Kyoto, Japan (1989) 142–151.

    Google Scholar 

  13. Allmaier, S., Dalibor, S.: 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)

    Google Scholar 

  14. Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Transactions on Reliability 44 (1995) 428–440.

    Article  Google Scholar 

  15. Huszerl, G., Majzik, I.: Quantitative analysis of dependability critical systems based on UML statechart models. In: Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering (HASE’2000). (2000) 83–92.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar Tudósok krt. 2., H-1117, Budapest, Hungary

    István Majzik & Gábor Huszerl

Authors
  1. István Majzik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gábor Huszerl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Sistemi e Informatica, Universitá di Firenze, Via Lombroso 6/17, 50134, Firenze, Italy

    Andrea Bondavalli

  2. LAAS-CNRS, 7 Avenue du Colonel Roche, Toulouse Cedex 4, France

    Pascale Thevenod-Fosse

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Majzik, I., Huszerl, G. (2002). Towards Dependability Modeling of FT-CORBA Architectures. In: Bondavalli, A., Thevenod-Fosse, P. (eds) Dependable Computing EDCC-4. EDCC 2002. Lecture Notes in Computer Science, vol 2485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36080-8_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-36080-8_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00012-9

  • Online ISBN: 978-3-540-36080-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation