Achtergrond

Ruimtevaartsoftware ideale proeftuin voor formele methoden

Joost-Pieter Katoen is hoogleraar softwaremodellering en -verificatie aan de RWTH Aachen. Viet Yen Nguyen is onderzoeker bij diens groep.

Reading time: 7 minutes

Het Esa-project Compass beoogt een geïntegreerde, coherente aanpak te ontwikkelen voor het ontwerp en de analyse van ruimtevaartsoftware. In dit artikel geven de betrokken onderzoekers van de RWTH Aachen een impressie van de gekozen benadering en de resultaten.

De Ariane 5-raket, het Mars-karretje Curiosity, het internationale ruimtestation ISS, de Hubble-telescoop, allemaal ruimtevaartsystemen die tot de verbeelding spreken. Het ontwerp ervan is een enorme onderneming. We hebben het dan niet zozeer over de imposante fysieke gestalte van dergelijke satellieten, raketten of robots, maar met name over de software.

This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.

Login

Related content