Henshin - Projects
This page gives an overview about projects which use Henshin.
The Interdisciplinary Centre for Security, Reliability and Trust (SnT)
at the University of Luxembourg uses Henshin for automatic translations of programming languages for
satellite technology - a field that is highly relevant to Luxembourg-based SES, one of the world's
leading satellite operators. Recently, SES has been working on developing the open-source-software
SPELL (Satellite Procecure Execution Language and Library), a standardised satellite control language.
The challenge is to convert all of the control procedures in existence that are being used in different
programming languages over to SPELL. Henshin is used as underlying model transformation engine to automate this
process and to guarantee a high-quality translation through automatic consistency testing.
For further information see the annual SnT report 2011, pages 14-15.
Contact: Frank Hermann, University of Luxembourg, frank.hermann[at]uni.lu.