Multiformalism and transformation inheritance for dependability analysis of critical systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Multiformalism and transformation inheritance for dependability analysis of critical systems

Stefano Marrone
  • Function : Author
  • PersonId : 880457
Camilla Papa
  • Function : Author
  • PersonId : 880458

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.
No file

Dates and versions

inria-00525179 , version 1 (11-10-2010)

Identifiers

  • HAL Id : inria-00525179 , version 1

Cite

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⟩
14 View
0 Download

Share

Gmail Facebook X LinkedIn More