ACM Transactions on Computer Systems (TOCS)
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Software reliability and system reliability
Handbook of software reliability engineering
Systematic aid for developing middleware architectures
Communications of the ACM - Adaptive middleware
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Automatic Dependability Analysis for Supporting Design Decisions in UML
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies
PRDC '01 Proceedings of the 2001 Pacific Rim International Symposium on Dependable Computing
Quality of service aware distributed object systems
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
A framework for cluster availability specification and evaluation
Proceedings of the 43rd annual Southeast regional conference - Volume 1
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Modelling and analysing resilience as a security issue within UML
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Configuration-Based service availability analysis for middleware managed applications
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
| Hi-index | 0.00 |
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.