Until now, satellite vendors operate their satellites in their own satellite control language which are restrictive, proprietary, dependent on 3rd party software, and very heterogeneous. As a result SES developed SPELL (Satellite Procedure Execution Language and Library) as a unified and open-source satellite control language usable for each satellite vendor.

In order to migrate the existing procedures delivered by the manufacturer Astrium, SES requested for an automated translation that takes Astrium PIL procedures as input and generates equivalent SPELL procedures. This translation has no guarantee in very high standard regarding correctness and reliability in order to minimize the need for revalidation of the generated SPELL procedures.

Project duration: 28.01.2011 - 27.01.2015