Estimators for Fault Tolerance Coverage Evaluation
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Automatic Dependability Analysis for Supporting Design Decisions in UML
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
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
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An evaluation of timed scenario notations
Journal of Systems and Software
Fault tree synthesis from UML models for reliability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Evaluating degree of systems' dependability with semi-structured assurance case
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
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 |
In this paper, we aim at giving a contribution toward the definition of a UML profile supporting the dependability analysis of real-time and embedded systems (RTES) that conforms to the upcoming profile named "Modeling and Analysis of Real-Time and Embedded Systems" (MARTE), for which a Request For Proposal has been issued by the Object Management Group (OMG).A set of basic dependability and fault-tolerance concepts need to be included in the profile to support the dependability analysis of RTES. We have exploited the best practices, proposed in the literature, on extending UML with dependability modeling capabilities in order to draw up a check list of requirements to be used as guideline for the definition of a dependability analysis profile. The proposed profile is then applied to the UML design of a case study: a gas turbine control system.