Space Flight Software is embedded software - Gerard Holzmann van NASA JPL: modelgestuurde verificatie is nu praktisch toepasbaar

摘要

Het 'Laboratory for Reliable Software' van het 'Jet Propulsion Laborator' heeft als doel om op de lange termijn de betrouwbaarheid van JPL's missie-kritische software te verbeteren. LaRS wordt geleid door de Nederlander Gerard Holzmann, die eerder bij Bell labs werkte aan de Spin model checker. De groep doet onderzoek, formuleert coderingsrichtlijnen en produceert ook zelf software, onder meer voor het 'Mars Science Laboratory' dat eind 2009 wordt gelanceerd.