Featured Research

from universities, journals, and other organizations

Space travel with a new language in tow

Date:
October 1, 2012
Source:
Université du Luxembourg
Summary:
Last Friday, for the first time ever, SES, the Luxembourg-based satellite operator, has allowed an Ariane 5 rocket to transport a TV satellite into space, which is made by Astrium and runs entirely on latest generation software. Every single one of the programs used to operate the satellite was written in the new satellite language SPELL.

The new satellite Astra2F
Credit: Copyright SES Global S.A.

September 28, for the first time ever, SES, the Luxembourg-based satellite operator, has allowed an Ariane 5 rocket to transport a TV satellite into space, which is made by Astrium and runs entirely on latest generation software. Every single one of the programs used to operate the satellite was written in the new satellite language SPELL. The acronym stands for "Satellite Procedure Execution Language & Library."

What we are talking about here is a new standard, which will help the many different programming languages that were previously used to operate satellites and their subsystems to be unified under one roof. The University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT) has contributed substantially to SPELL's being adopted in the operations of Astrium satellites. To this end, SnT scientists took an existing mathematical tool and refined it getting it ready for practical application, with whose help the procedures written in different native languages can now be translated into SPELL using a fully automated process.

SES is one of the world's biggest satellite operators with a vast fleet of satellites in orbit. The satellites and their technical components are produced by different manufacturers who each use their own programming language. "Because of the complete and utter lack of common standards up until now, we used to have to make a big production out of operation and maintenance of the machines," explains Martin Halliwell, Chief Technology Officer at SES. "Our operators were working with a number of different programming languages to help us control our SES fleet through space." Which is problematic as the machines don't easily forgive programming errors. Says Halliwell: "If a single error is made, it may result in our satellite getting lost in space. Which, for us, literally means incurring millions in losses."

Which is why SES decided a while ago now to develop the open-source software, SPELL. SPELL allows for the careful execution of every imaginable navigational procedure from any given ground control system for all potential satellites in the fleet. In other words, maximum flexibility with maximum security. "There is, however, a catch to the whole thing," concedes Dr. Frank Hermann, SnT scientist. "All the various control procedures that exist in different programming languages and that are being used must be converted over to SPELL. If that does not happen automatically and is one hundred percent error-free, it quickly turns into very resource-intensive and error-prone undertaking."

Together, SnT's Frank Hermann and his collegues, in close collaboration with SES automation specialists, have tackled the problem head-on using a methode known as triple graph transformation to automatically translate the programming languages employed by the new satellite's subsystems into the common language SPELL. According to Hermann, " triple graph transformation is a mathematical tool that has been the focus of active research since the 1990s. Along with other mathematical tools, it represents the ideal instrument for combining different programming languages under SPELL."

What's special about the new translation process is that it does not require any source code programming. "We are working with a visual development setting, which records translation rules in a graphic user interface," explains Hermann. These rules are automatically executed by specialized transformation tools. Quality assurance happens through consistency checks, which are automated as well. "Their efficacy has been documented through multiple formal mathematical proofs," says Hermann. If the translation runs smoothly, every piece of information from the original language is first converted into a graph. "This creates a network made up of many different nodes on the graphic interface," explains Hermann. The network is then read and translated into target graphs for the target language SPELL. "Every single bit of information in the original language has a corresponding SPELL counterpart."

The SES validation teams have confirmed that the translation is highly precise. "This was a prerequisite for being able to unanimously program our new satellite's systems using SPELL," says Martin Halliwell. SnT's Vice-Director, Prof. Thomas Engel, is very pleased with the SnT scientists' performance specifically and with the SES/SnT collaborative in general: "The new satellite and SPELL will now have to prove themselves in space. If everything runs smoothly -- which we are quite certain that it will -- our basic science research will have made an important contribution to increasing SES's performance and to making Luxembourg more competitive in this area."


Story Source:

The above story is based on materials provided by Université du Luxembourg. Note: Materials may be edited for content and length.


Cite This Page:

Université du Luxembourg. "Space travel with a new language in tow." ScienceDaily. ScienceDaily, 1 October 2012. <www.sciencedaily.com/releases/2012/10/121001083546.htm>.
Université du Luxembourg. (2012, October 1). Space travel with a new language in tow. ScienceDaily. Retrieved April 18, 2014 from www.sciencedaily.com/releases/2012/10/121001083546.htm
Université du Luxembourg. "Space travel with a new language in tow." ScienceDaily. www.sciencedaily.com/releases/2012/10/121001083546.htm (accessed April 18, 2014).

Share This



More Space & Time News

Friday, April 18, 2014

Featured Research

from universities, journals, and other organizations


Featured Videos

from AP, Reuters, AFP, and other news services

New Baby Moon 'Peggy' Spotted In Saturn's Rings

New Baby Moon 'Peggy' Spotted In Saturn's Rings

Newsy (Apr. 15, 2014) — A bump in the rings could be a half-mile-wide miniature moon. It was found by accident in Cassini probe images. Video provided by Newsy
Powered by NewsLook.com
Americas Glimpse Total Lunar Eclipse

Americas Glimpse Total Lunar Eclipse

AFP (Apr. 15, 2014) — A total lunar eclipse, the first since December 2011, took place early Tuesday morning with the Americas getting the best glimpse. Duration: 1:19 Video provided by AFP
Powered by NewsLook.com
NASA Showcases Lunar Eclipse

NASA Showcases Lunar Eclipse

AP (Apr. 15, 2014) — Star gazers in parts of North and South America got a rare treat early Tuesday morning - a total eclipse of the moon. (April 15) Video provided by AP
Powered by NewsLook.com
Spacecrafts Could Use Urine As Fuel Source

Spacecrafts Could Use Urine As Fuel Source

Newsy (Apr. 15, 2014) — New research says the urea from urine could be recycled for fuel. Urea is filtered out of wastewater when making drinking water. Video provided by Newsy
Powered by NewsLook.com

Search ScienceDaily

Number of stories in archives: 140,361

Find with keyword(s):
 
Enter a keyword or phrase to search ScienceDaily for related topics and research stories.

Save/Print:
Share:  

Breaking News:
from the past week

In Other News

... from NewsDaily.com

Science News

Health News

Environment News

Technology News



Save/Print:
Share:  

Free Subscriptions


Get the latest science news with ScienceDaily's free email newsletters, updated daily and weekly. Or view hourly updated newsfeeds in your RSS reader:

Get Social & Mobile


Keep up to date with the latest news from ScienceDaily via social networks and mobile apps:

Have Feedback?


Tell us what you think of ScienceDaily -- we welcome both positive and negative comments. Have any problems using the site? Questions?
Mobile iPhone Android Web
Follow Facebook Twitter Google+
Subscribe RSS Feeds Email Newsletters
Latest Headlines Health & Medicine Mind & Brain Space & Time Matter & Energy Computers & Math Plants & Animals Earth & Climate Fossils & Ruins