Paper Info
Title
Multiformalism and transformation inheritance for dependability analysis of critical systems
Abstract
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.
Year
DOI
Venue
2010
10.1007/978-3-642-16265-7_16
IFM
Keywords
Field
DocType
inheritable model transformation,availability model,critical system,reusable model transformation,automatic model generation,new model transformation,transformation inheritance,formal language,proper reusable model transformation,different formal language,dependability analysis,inheritance relationship,repairable fault trees,formal verification,fault tree,dependence analysis
Dependability analysis,Model transformation,Control theory,Programming language,Formal language,Computer science,Stochastic Petri net,Fault tree analysis,Rotation formalisms in three dimensions,Formal verification
Conference
Volume
ISSN
ISBN
6396
0302-9743
3-642-16264-9
Citations 
PageRank 
References 
5
0.49
22
Authors
3
Name
Order
Citations
PageRank
Stefano Marrone117425.49
Camilla Papa2191.20
valeria vittorini333933.14