More Web Proxy on the site http://driver.im/

chapter

Stochastic dependability analysis of system architecture based on UML models

Authors:

István Majzik,

András Pataricza,

Andrea BondavalliAuthors Info & Claims

Architecting dependable systems

January 2003

Pages 219 - 244

Published: 01 January 2003 Publication History

Abstract

The work in this paper is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availabiUty, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed. Due to the modular construction, this model can be refined later as more detailed information becomes available. We discuss the model refinement based on the General Resource Model, an extension of UML. We show that the dependability model can be constructed automatically by using graph transformation techniques.

References

[1]

Ajmone Marsan, M., and G. Chiola: On Petri nets with detenninistic and exponentially distributed firing times. Lecture Notes in Computer Science, Vol. 226, pp. 132-145, 1987.

[2]

Ajmone Marsan, M., G. Balbo, and G. Conte: A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM TOCS, pp. 93-122, 1984.

Digital Library

[3]

Allmaier, S., and S. Dalibor: PANDA - Petri net analysis and design assistant. In Proc. Performance TOOLS '97, Saint Malo, France, 1997.

[4]

Betous-Almeida, C., and K. Kanoun: Dependability Evaluation - From Functional to Structural Modeling. In Proc. SAFECOMP 2001, pp. 239-249, Springer Verlag, 2001.

Digital Library

[5]

Bondavalli, A., I. Majzik, and I. Mura: From structural UML diagrams to Timed Petri Nets. European ESPRIT Project 27439 HIDE, Del. 2, Sect. 4, http://www.inf.mit.bme.hu/, 1998.

[6]

Bondavalli, A., I. Majzik, and I. Mura: Automatic Dependability Analysis for Supporting Design Decisions in UML. Proc. Fourth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE'99), November 17-19, 1999, Washington DC, 1999, pp. 64-71.

Digital Library

[7]

Bondavalli, A., M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia: Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering, Vol. 16 (5), Sep 2001, pp. 265-275.

[8]

Chiola, G.: 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.

[9]

Choi, H., V. G. Kulkami, and K. S. Trivedi: Markov regenerative stochastic Petri nets. Performance Evaluation, Vol. 20, pp. 337-357, 1994.

Digital Library

[10]

Ciardo, G., J. Muppala, and K. S. Trivedi: SPNP: stochastic Petri net package. In Proc. International Conference on Petri Nets and Performance Models, Kyoto, Japan, 1989.

Digital Library

[11]

Csertán, Gy., G. Huszeri, I. Majzik, Zs. Pap, A. Pataricza, and D. Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In Proc. 17th Int. Conference on Automated Software Engineering (ASE 2002), Edinburgh, Scotland, 23-27 September 2002, IEEE CS Press, 2002.

Digital Library

[12]

Frolund, S., and J. Koistinen: Quality of Service Specificaton in Distributed Object Systems Design. In Proc. of the 5th USENIX Conf. on Object-Oriented Technology and Systems (COOTS), May 3-7, San Diego, California, USA, 1999, pp. 69-89.

Digital Library

[13]

Ganesh, J. P., and J.B. Dugan: Automatic Synthesis of Dynamic Fault Trees from UML System Models. Proc. of the IEEE Int. Symp. on Software Reliability Engineering, 2002.

Digital Library

[14]

Goseva-Popstojanova, K., and K.S. Trivedi: Architecture Based Software Reliability. In Proc. of the Int. Conf. on Appplied Stochastic System Modeling (ASSM 2000), Kyoto, Japan, March 2000.

[15]

Huszerl, G., and I. Majzik, A. Pataricza, K. Kosmidis, and M. Dal Cin: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Jovunal, Vol 45(3), May 2002, pp. 260-277.

[16]

Huszerl, G., and I. Majzik: Modelling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. In: Proc. of the 27th Euromicro Conference, pp. 200-207., Warsaw, Poland, 4-6. September 2001.

[17]

Huszerl, G., and K. Kosmidis: Object Oriented Notation for Modelling Quantitative Aspects. In Proc. Workshop of the International Conference on Architecture of Computing Systems (ARCS 2002), Karlsruhe, Germany, 2002, VDE Verlag Berlin, pp. 91-100.

[18]

Issamy, V., C. Kloukinas, and A. Zarras: Systematic Aid for Developing Middleware Architectures. In Communications of the ACM, Issue on Adaptive Middleware, Vol. 45(6), pp. 53-58, June 2002.

Digital Library

[19]

Laprie, J.-C. (editor): Dependability: Basic Concepts and Terminology. Series Dependable Computing and Fault Tolerant Systems, volume 5, Springer Verlag, 1992.

Digital Library

[20]

Laprie, J.-C. and K. Kanoun: Software Reliability and System Reliability. In M.R. Lyu (editor), Handbook of Software Reliability Engineering, pp 27-69, McGraw Hill, New York, 1995.

Digital Library

[21]

Majzik, I., and G. Huszerl: Towards Dependability Modeling of FT-CORBA Architectures. In A. Bondavalli, P. Thevenod-Fosse (eds.): Dependable Computing EDCC4. Proc. 4th European Dependable Computing Conference, Toulouse, France, 23-25 October 2002, LNCS 2485, Springer Verlag, Berlin Heidelberg, pp. 121-139, 2002.

Digital Library

[22]

Nelli, M., A. Bondavalli, and L. Simoncini: Dependability Modelling and Analysis of Complex Control Systems: An Application to Railway Interlocking. In Proc. 2nd European Dependable Computing Conference (EDCC-2), pp. 93-110, Springer Verlag, 1996.

Digital Library

[23]

Object Management Group: Fault Tolerant CORBA. CORBA 2.6, Chapter 25, formal/Ol- 12-63, OMG Technical Committee, http://www.omg.org/, 2001.

[24]

Object Management Group: Meta Object Facility Version 1.3, http://www.omg.org/, September 1999.

[25]

Object Management Group: UML Profile for Schedulability, Performance, and Time. Final adopted specification, http://www.omg.org/, 2001.

[26]

Object Management Group: Unified Modeling Language. Specification vl.4, http://www.uml.org/, 2000.

[27]

Pataricza, A.: From the General Resource Model to a General Fault Modeling Paradigm? Workshop on Crititcal Systems Development with UML at UML 2002, Dresden, Germany.

[28]

Poli, S.: Dal Linguaggio di Specifica UML ai modelli a rete di Petri stocastiche: generazione per la valutazione di Dependability. Master thesis (in Italian), University of Pisa, 2000.

[29]

Rabah, M., and K. Kanoun: Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. In Proc. 3rd European Dependable Computing Conference (EDCC- 3), pp. 42-59, Springer Verlag, 1999.

Digital Library

[30]

Sanders, W. H., W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko: The UltraSAN modeling environment. Performance Evaluation, Vol. 21, pp. 1995.

Digital Library

[31]

SURF-2 User guide. LAAS-CNRS, 1994.

[32]

Varró, D., and A. Pataricza: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantic Domains of UML Models. In Proc. UML 2002, International Conference on UML, Dresden, Germany, pp. 18-33, LNCS-2460, Springer Verlag, 2002.

Digital Library

[33]

Varró, D., G. Varró, and A. Pataricza: Designing the Automatic Transformation of Visual Languages. Science of Computer Programming, 44(2002):205-227, 2002.

Digital Library

[34]

Walter, M., C. Trinitis, and W. Karl: OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. In Proc. of the 2001 Pacific Rim Int. Symposium on Dependable Computing, pp. 76-84, IEEE Computer Society, 2001.

Digital Library

[35]

Xu, J., B. Randell, C.M.F. Rubira-Calsavara, and R.J. Stroud: Toward an Object-Oriented Approach to Software Fault Tolerance. In D.K. Pradhan and D.R. Avresky (eds.): Fault-Tolerant Parallel and Distributed Systems. IEEE CS Press, pp. 226-233, 1994.

Cited By

Marussy KSemeráth OVarró DWąsowski APaige RHaugen Ø(2018)Incremental View Model Synchronization Using Partial ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239412(323-333)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239412
Sedaghatbaf AAbdollahi Azgomi M(2018)A method for dependability evaluation of software architecturesComputing10.1007/s00607-017-0568-3100:2(119-150)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s00607-017-0568-3
Montecchi LLollini PBondavalli AHorvath ABuchholz PCortellessa VMuscariello LSquillante M(2013)A reusable modular toolchain for automated dependability evaluationProceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools10.4108/icst.valuetools.2013.254395(298-303)Online publication date: 10-Dec-2013
https://dl.acm.org/doi/10.4108/icst.valuetools.2013.254395
Show More Cited By

Recommendations

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
Dependability analysis of DES based on MARTE and UML state machines models

UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The "Modeling and Analysis of Real-Time and Embedded systems" profile (MARTE) enables UML with capabilities for ...
Automatic generation of feature models from UML requirement models
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2

It is well known that during the domain requirement engineering phase with UML, both feature models and UML notations (e.g. UML use case diagrams and activity diagrams for describing use cases) are necessary. The development in parallel of UML models ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide books

Architecting dependable systems

January 2003

310 pages

ISBN:3540407278

Editors:
Rogério De Lemos
University of Kent, Computing Laboratory, Canterbury, Kent, United Kingdom
,
Cristina Gacek
University of Newcastle upon Tyne, School of Computing Science, Newcastle upon Tyne, United Kingdom
,
Alexander Romanovsky
University of Newcastle upon Tyne, School of Computing Science, Newcastle upon Tyne, United Kingdom

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 January 2003

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
2
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Marussy KSemeráth OVarró DWąsowski APaige RHaugen Ø(2018)Incremental View Model Synchronization Using Partial ModelsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239412(323-333)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239412
Sedaghatbaf AAbdollahi Azgomi M(2018)A method for dependability evaluation of software architecturesComputing10.1007/s00607-017-0568-3100:2(119-150)Online publication date: 1-Feb-2018
https://dl.acm.org/doi/10.1007/s00607-017-0568-3
Montecchi LLollini PBondavalli AHorvath ABuchholz PCortellessa VMuscariello LSquillante M(2013)A reusable modular toolchain for automated dependability evaluationProceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools10.4108/icst.valuetools.2013.254395(298-303)Online publication date: 10-Dec-2013
https://dl.acm.org/doi/10.4108/icst.valuetools.2013.254395
Bernardi SMerseguer JPetriu D(2012)Dependability modeling and analysis of software systems specified with UMLACM Computing Surveys10.1145/2379776.237977845:1(1-48)Online publication date: 7-Dec-2012
https://dl.acm.org/doi/10.1145/2379776.2379778
Kanso AToeroe MKhendek F(2012)Configuration-Based service availability analysis for middleware managed applicationsProceedings of the 7th international conference on System Analysis and Modeling: theory and practice10.1007/978-3-642-36757-1_14(229-248)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-36757-1_14
Bernardi SMerseguer JPetriu D(2011)A dependability profile within MARTESoftware and Systems Modeling (SoSyM)10.1007/s10270-009-0128-110:3(313-336)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1007/s10270-009-0128-1
Balogh ABergmann GCsertán GGönczy LHorváth ÁMajzik IPataricza APolgár BRáth IVarró DVarró G(2010)Workflow-driven tool integration using model transformationsGraph transformations and model-driven engineering10.5555/1985522.1985534(224-248)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1985522.1985534
Marrone SPapa CVittorini V(2010)Multiformalism and transformation inheritance for dependability analysis of critical systemsProceedings of the 8th international conference on Integrated formal methods10.5555/1929463.1929479(215-228)Online publication date: 11-Oct-2010
https://dl.acm.org/doi/10.5555/1929463.1929479
Rodríguez RMerseguer JBernardi SSerugendo GFitzgerald J(2010)Modelling and analysing resilience as a security issue within UMLProceedings of the 2nd International Workshop on Software Engineering for Resilient Systems10.1145/2401736.2401741(42-51)Online publication date: 15-Apr-2010
https://dl.acm.org/doi/10.1145/2401736.2401741
Rodríguez RMerseguer J(2010)Integrating fault-tolerant techniques into the design of critical systemsProceedings of the First international conference on Architecting Critical Systems10.1007/978-3-642-13556-9_3(33-51)Online publication date: 23-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13556-9_3
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents