Software Marslander is grondig getest

25-05-2008 08:47 | Door Jolein de Rooij | Lees meer over de bedrijven: Centrum voor Wiskunde en Informatica, NASA | Er zijn 2 reacties op dit artikel | Permalink

Zondag 25 mei landde de Amerikaanse robotverkenner Phoenix na een reis van bijna tien maanden op Mars. De software van de Phoenix is grondig gecontroleerd. Hoe nodig dat is bleek in december 1999. De toenmalige Marslander zette zijn remmotoren uit voordat het oppervlak van Mars bereikt was en crashte.

De software van robotverkenner Phoenix is door Nasa's Jet Propulsion Laboratory (JPL) uitgebreid op betrouwbaarheid gecontroleerd. Gerard Holzmann van het JPL: "Lockheed heeft het ruimtevaartuig gebouwd inclusief de bijbehorende besturingssoftware. We hebben de code van Lockheed geanalyseerd. Natuurlijk zijn daarbij fouten gevonden. Niets spectaculairs: het gaat om hetzelfde type programmeerdefecten dat je in elk type code vindt, zoals het gebruiken van een variabele die niet geïnitialiseerd is. De industriestandaard is dat je statistisch gezien tussen de 1 en 10 van dit soort fouten aantreft voor elke 1000 regels code."

Fatale crash in 1999

Hoe nodig het is om de besturingssoftware van ruimtevaartuigen te testen is al meermaals gebleken. Dat bleek bijvoorbeeld pijnlijk in december 1999, toen de toenmalige Marslander zijn remmotoren uitzette voordat het oppervlak van Mars bereikt was. Deze fatale beslissing werd volgens NASA waarschijnlijk genomen doordat een sensor op één van de drie landingspoten tijdens het afdalen zo op de proef werd gesteld dat de software concludeerde dat de Marslander al geland was.

Verificatie van softwaresystemen

Gerard Holzmann deed zijn uitspraken aan Computable na afloop van een lezing die hij vrijdag 23 mei bij het CWI gaf ter ere van het vijfentwintig bestaan van de SEN2 groep. Deze groep houdt zich sinds 1982 bezig met het ontwikkelen van algebraïsche technieken voor de specificatie en verificatie van softwaresystemen.

Gerard Holzmann

Gerard Holzmann promoveerde in 1979 als informaticus in Delft. Tussen 1980 en 2003 maakte hij binnen Bell Labs deel uit van de Computing Science Research groep, waarbinnen onder andere de programmeertalen C en C++ ontwikkeld werden. Holzmann werkte er tien jaar aan de SPIN model checker, een softwaretool voor het controleren van de betrouwbaarheid van gedistribueerde softwaresystemen. Hiervoor ontving hij in in 2002 de Software System Award van de Amerikaanse Association for Computing Machinery. Vanaf 2003 werkt Holzmann bij het Jet Propulsion Laboratory van NASA aan het verbeteren van de betrouwbaarheid van de software voor ruimtevaartuigen.

Phoenix

Phoenix gaat naar (resten van) leven zoeken in de ijslaag op de Noordpool van Mars. Een hitteschild moet de Marslander beschermen tijdens het afremmen in de atmosfeer. Als de Phoenix bijna zijn doel heeft bereikt werpt hij zijn parachute af en schakelt zijn remraketten in voor het laatste deel van de landing.

	Aantal reacties met 3+ sterren		Gemiddelde waardering
1	PaVaKe	154	6.4
2	Reza Sarshar	120	6.7
3	Henri Koppen	109	6.4
4	edekkinga	79	6.6
5	Jaap-G	53	6.1
6	Guido Groeneweg	49	6.3
7	Ruud Mulder	47	6.5
8	mauwerd	43	6.1
9	Frank Brechts	43	6.0
10	Rob Koelmans	40	6.3

Nieuws / Development

Software Marslander is grondig getest

Fatale crash in 1999

Verificatie van softwaresystemen

10-02 Infor helpt Ferrari met bouwen F1-auto's

10-02 Tester Four Oaks in Israëlische handen

10-02 IS Online en Tres zijn klaar voor Elfstedentocht

10-02 SecureLink migreert Microsoft-diensten Atradius

10-02 Nieuwe software brengt Vitens in problemen

10-02 Ex-Misys-topman moet CSC uit penarie helpen

10-02 Veenman en 20/20 vision adviseren samen klant

10-02 Cisco maakt 2,2 miljard dollar kwartaalwinst

10-02 Misys en Temenos willen fuseren

10-02 Raet stelt Schrijnemaekers als nieuwe CFO aan

10-02 Tester Four Oaks in Israëlische handen

10-02 Nieuwe software brengt Vitens in problemen

08-02 Nokia verplaatst smartphoneproductie naar India

08-02 'ICT-afdeling is te traag voor ontwikkeling apps'

06-02 Banometer: Topstart vacaturemarkt krijgt vervolg

06-02 Duitse PMCS.helpLine neemt Leidse MCH+ over

03-02 Siemens PLM Software introduceert Jack 7.1

03-02 Itemis betreedt Nederlandse markt via Warmer IT

01-02 Microsoft-partner Asapnet zet IT-University op

01-02 Kwaliteitscontroleur is nog geen testprofessional

08-07-08 Kabinet investeert 8 miljoen in marsmissie

12-01-07 Veilig landen op Mars

Gemeenten en ICT besparingen