DMCA
Automated Verification of Model Transformations in the Automotive Industry (2013)
Cached
Download Links
BibTeX
@MISC{Selim13automatedverification,
author = {Gehan M. K. Selim and Fabian Büttner and James R. Cordy and Juergen Dingel and Shige Wang},
title = {Automated Verification of Model Transformations in the Automotive Industry },
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
Keyphrases
automotive industry model transformation relational transformation representation industrial model transformation gm-to-autosar transformation industrial size problem transformation model automated verification several study industrial transformation gm legacy model software system automated verification approach many company autosar model industrial experience well-formedness ocl constraint atl language verification result
