Development

Software-ontwikkeling
Jan Friso Groote

Het bewijs van betrouwbare software bestaat

No-codesoftwareontwikkeling helpt te denken in modellen die verifieerbaar zijn

18 mei 2020

Als iemand met een pacemaker overlijdt, denkt de arts niet snel aan een deadlock in de pacemaker. Als een altijd trouw werkende brug opeens op hol slaat, wordt niet snel de link gelegd met een fundamentele fout in de besturingssoftware, die alleen problemen geeft doordat – in een uitzonderlijke situatie – twee conflicterende processen tegelijk starten. "Grote blunders ontdek je met reguliere testmethoden. Maar ook daarna stikt software doorgaans nog van de fouten", stelt Jan Friso Groote, hoogleraar informatica aan de TU Eindhoven. 

Het kan anders, zo blijkt bijvoorbeeld bij ASML. Bij de ontwikkeling van de stuursoftware voor de peperdure lithografiemachines, leveren de ontwikkelaars wiskundig bewijs dat het optreden van deadlocks is uitgesloten.

 
Lees het hele artikel
Je kunt dit artikel lezen nadat je bent ingelogd. Ben je nieuw bij AG Connect, registreer je dan gratis!

Registreren

  • Direct toegang tot AGConnect.nl
  • Dagelijks een AGConnect nieuwsbrief
  • 30 dagen onbeperkte toegang tot AGConnect.nl

Ben je abonnee, maar heb je nog geen account? Laat de klantenservice je terugbellen!