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

https://hal.inria.fr/hal-00834058
Contributor : Fabian Buettner <>
Submitted on : Saturday, December 14, 2013 - 7:00:10 AM
Last modification on : Monday, December 7, 2020 - 9:44:02 AM
Long-term archiving on: : Tuesday, March 18, 2014 - 12:16:41 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00834058, version 1

Citation

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⟩

Share

Metrics

Record views

690

Files downloads

755