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
1 School of computing [Kingston]
2 LINA
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
4 Research and Development [General Motors]
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.
Keywords : Model Transformation Automated Verification Automotive Industry
Type de document :
Communication dans un congrès
Ana Moreira and Bernhard Schaetz. Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. Springer, 2013
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00834058
Contributeur : Fabian Buettner <>
Soumis le : samedi 14 décembre 2013 - 07:00:10
Dernière modification le : mercredi 11 avril 2018 - 02:00:19
Document(s) archivé(s) le : mardi 18 mars 2014 - 12:16:41

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00834058, version 1

Collections

INRIA | UNIV-NANTES | LINA-ATLANMOD | LINA | INFO | IMTA | INRIA-RENGRE

Citation

Gehan Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. Automated Verification of Model. Transformations in the Automotive Industry. Ana Moreira and Bernhard Schaetz. Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. Springer, 2013. 〈hal-00834058〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

511

Téléchargements de fichiers

456

Contact


archive-ouverte@inria.fr