Automated Verification of Model. Transformations in the Automotive Industry - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Automated Verification of Model. Transformations in the Automotive Industry

Abstract

Many companies have adopted MDD for developing their software systems. Several studies have reported on such industrial experiences by discussing the effects of MDD and the issues that still need to be addressed. However, only a few studies have discussed using automated verification of industrial model transformations. We previously demonstrated how transformations can be used to migrate GM legacy models to AUTOSAR models. In this study, we investigate using automated verification for such industrial transformations. We report on applying an automated verification approach to the GM-to-AUTOSAR transformation that is based on checking the satisfiability of a relational transformation representation, or a transformation model, with respect to well-formedness OCL constraints. An implementation of this approach is available as a prototype for the ATL language. We present the verification results of this transformation and discuss the practicality of using such tools on industrial size problems.
Fichier principal
Vignette du fichier
main.pdf (285.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00834058 , version 1 (14-12-2013)

Identifiers

  • HAL Id : hal-00834058 , version 1

Cite

Gehan Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. Automated Verification of Model. Transformations in the Automotive Industry. Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, ACM and IEEE, Sep 2013, Miami, United States. ⟨hal-00834058⟩
258 View
396 Download

Share

Gmail Facebook X LinkedIn More