Reference : Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version

	Document type :	Reports : Internal report
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/16887

Title :	Triple Graph Grammars in the Large for Translating Satellite Procedures - Extended Version
Language :	English
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]
Publication date :	1-Jul-2014
Publisher :	SnT
Number of pages :	22
ISBN :	978-2-87971-128-7
Report number :	TR-SnT-2014-7
City :	Luxembourg
Country :	Luxembourg
Keywords :	[en] software translation ; triple graph grammars ; Eclipse Modeling Framework (EMF)
Abstract :	[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.
Name of the research project :	PIL2SPELL
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/16887

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access HGN+14b.pdf Publisher postprint 1.35 MB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map