Skip to Main content Skip to Navigation
Conference papers

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 dene inheritable model transformations. The described techniques are demonstrated on the availability model of a modern railway controller.
Complete list of metadata
Contributor : Ist Inria Nancy Grand Est Connect in order to contact the contributor
Submitted on : Monday, October 11, 2010 - 12:57:57 PM
Last modification on : Monday, October 11, 2010 - 12:59:02 PM


  • HAL Id : inria-00525179, version 1



Stefano Marrone, Camilla Papa, Valeria Vittorini. Multiformalism and transformation inheritance for dependability analysis of critical systems. Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.215-228. ⟨inria-00525179⟩



Record views