Skip to Main content Skip to Navigation
Conference papers

Automated Verification of Model. Transformations in the Automotive Industry

Gehan Selim 1 Fabian Büttner 2, 3 James R. Cordy 1 Jürgen Dingel 1 Shige Wang 4 
3 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Fabian Buettner Connect in order to contact the contributor
Submitted on : Saturday, December 14, 2013 - 7:00:10 AM
Last modification on : Wednesday, April 27, 2022 - 4:22:08 AM
Long-term archiving on: : Tuesday, March 18, 2014 - 12:16:41 PM


Files produced by the author(s)


  • HAL Id : hal-00834058, version 1


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⟩



Record views


Files downloads