GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
ACM Computing Surveys (CSUR)
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
IEEE Transactions on Software Engineering
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Interfaces and binding in component based development of formal models
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
A practical approach to model extension
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Model-driven availability evaluation of railway control systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Hi-index | 0.04 |
Multiformalism approaches and automatic model generation are challenging issues in the context of the analysis of critical systems for which formal verification and validation are mandatory. Reusable model transformations may reduce the skill level required in formal modeling, time and cost of the analysis process, and they may support the integration among different formal languages. This paper investigates how the relationship existing between different classes of formal languages may be exploited to define new model transformations by extending existing definitions. Specifically, the inheritance relationship is considered with the ultimate goal of achieving formalisms integration also by developing proper reusable model transformations. This idea is applied to the integration between Repairable Fault Trees and Generalized Stochastic Petri Nets, where the inheritance relationship between Fault Trees and Repairable Fault Trees is the basis to define inheritable model transformations. The described techniques are demonstrated on the availability model of a modern railway controller.