Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Journal of the ACM (JACM)
Design & analysis of fault tolerant digital systems
Design & analysis of fault tolerant digital systems
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Orthogonal Defect Classification-A Concept for In-Process Measurements
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Handbook of software reliability engineering
Handbook of software reliability engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software product lines: practices and patterns
Software product lines: practices and patterns
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Software Fault Tolerance
Introduction to Process Algebra
Introduction to Process Algebra
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Hazard Analysis in Object Oriented Design of Dependable Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Deriving Safety Requirements Using Scenarios
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Building UML Class Diagram Maintainability Prediction Models Based on Early Metrics
METRICS '03 Proceedings of the 9th International Symposium on Software Metrics
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Proceedings of the 5th international workshop on Software and performance
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
Methodology for UML Modeling and Formal Verification of Real-Time Systems
CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Journal of Systems and Software
Validating timed UML models by simulation and verification
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Design and implementation of a TCG-based integrity measurement architecture
SSYM'04 Proceedings of the 13th conference on USENIX Security Symposium - Volume 13
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Safety analysis of software product lines using state-based modeling
Journal of Systems and Software
Building measure-based prediction models for UML class diagram maintainability
Empirical Software Engineering
The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
IEEE Transactions on Computers
On Evaluating the Performability of Degradable Computing Systems
IEEE Transactions on Computers
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
Architectural-Level Risk Analysis Using UML
IEEE Transactions on Software Engineering
Design of fault-tolerant computers
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Service-Oriented Modeling: Service Analysis, Design, and Architecture
Service-Oriented Modeling: Service Analysis, Design, and Architecture
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the literature published in the last decade, 33 approaches presented in 43 papers were identified. They are evaluated according to three sets of criteria regarding UML modeling issues, addressed dependability characteristics, and quality assessment of the surveyed approaches. The survey shows that more works are devoted to reliability and safety, fewer to availability and maintainability, and none to integrity. Many methods support early life-cycle phases (from requirements to design). More research is needed for tool development to automate the derivation of analysis models and to give feedback to designers.