Rechnen mit Einheiten

Rechnen mit Einheiten

1999 ging die Marssonde „Climate Orbiter“ verloren, vermutlich verglühte sie in der Atmosphäre des Planeten. Die Ursache war ein peinlicher Navigationsfehler: Die NASA hatte den Kurs in den gängigen internationalen Einheiten berechnet, der Hersteller der Sonde dagegen in jenem Einheitensystem, das in den USA üblich ist. Dadurch wurde der Kurs der Sonde falsch berechnet – sie stürzte ab. Pannen wie diese sollten mit der Software von Niklas Haas nicht mehr passieren: In seiner Arbeit entwickelte er ein Computerverfahren, das bereits vor der Ausführung von Programmen automatisch prüft, ob die Einheiten kompatibel sind, und dabei auch nach möglichen Ungereimtheiten sucht.