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.
Bits&Chips uses technologies such as functional and analytical cookies to improve the user experience of the website. By consenting to the use of these technologies, we may capture (personal) data, unique identifiers, device and browser data, IP addresses, location data and browsing behavior. Want to know more about how we use your data? Please read our privacy statement.
Give permission or set your own preferences
Functional
Always active
Functional cookies are necessary for the website to function properly. It is therefore not possible to reject or disable them.
Voorkeuren
De technische opslag of toegang is noodzakelijk voor het legitieme doel voorkeuren op te slaan die niet door de abonnee of gebruiker zijn aangevraagd.
Statistics
Analytical cookies are used to store statistical data. This data is stored and analyzed anonymously to map the use of the website.De technische opslag of toegang die uitsluitend wordt gebruikt voor anonieme statistische doeleinden. Zonder dagvaarding, vrijwillige naleving door je Internet Service Provider, of aanvullende gegevens van een derde partij, kan informatie die alleen voor dit doel wordt opgeslagen of opgehaald gewoonlijk niet worden gebruikt om je te identificeren.
Marketing
Technical storage or access is necessary to create user profiles for sending advertising or to track the user on a site or across sites for similar marketing purposes.