Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Towards Dependability Modeling of FT-CORBA Architectures
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Model Driven Approach for Software Systems Reliability
Proceedings of the 26th International Conference on Software Engineering
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Even though a thorough system specification improves the quality of the design, it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we present an application example of one of the activities performed in the European ESPRIT project HIDE, aiming at the creation of an integrated environment where design toolsets based on UML are augmented with modeling and analysis tools for the automatic validation of the system under design. We apply an automatic transformation from UML diagrams to Timed Petri Nets for model based dependability evaluation. It allows a designer to use UML as a front-end for the specification of both the system and the user requirements, and to evaluate dependability figures of the system since the early phases of the design, thus obtaining precious clues for design refinement. The transformation completely hides the mathematical background, thus eliminating the need for a specific expertise in abstract mathematics and the tedious remodeling of the system for mathematical analysis.