From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Towards Dependability Modeling of FT-CORBA Architectures
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
Science of Computer Programming
Specification: level integration of simulation and dependability analysis
Architecting dependable systems
Automatic synthesis of SRN models from system operation templates for availability analysis
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Model-Based identification of fault-prone components
EDCC'05 Proceedings of the 5th European conference 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 |
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and tries to capture only the information relevant for dependability to limit the size (state space) of the models. Due to the modular construction, these models can be refined later as more detailed, relevant information becomes available. Moreover a careful selection of those, critical, parts to be detailed allows to avoid explosion of the size. An implementation of the transformation is in progress and will be integrated in the toolsets available for the ESPRIT LTR HIDE project.