[en] Software translation is a challenging task. Several requirements are important - including automation of the execution, maintainability of the translation patterns, and, most importantly, reliability concerning the correctness of the translation.
Triple graph grammars (TGGs) have shown to be an intuitive, wellde ned technique for model translation. In this paper, we leverage TGGs for industry scale software translations. The approach is implemented using the Eclipse-based graph transformation tool Henshin and has been successfully applied in a large industrial project with the satellite operator SES on the translation of satellite control procedures. We evaluate the approach regarding requirements from the project and performance on a complete set of procedures of one satellite.
Disciplines :
Computer science
Author, co-author :
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Gottmann, Susann ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nachtigall, Nico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ehrig, Hartmut; TU Berlin > Electrical Engineering and Computer Science
Braatz, Benjamin ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Morelli, Gianluigi; SES
Pierre, Alain; SES
Engel, Thomas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Ermel, Claudia; TU Berlin > Electrical Engineering and Computer Science
Language :
English
Title :
Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version
