Development

Het bewijs van betrouwbare software bestaat
No-codesoftwareontwikkeling helpt te denken in modellen die verifieerbaar zijn
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.
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? Neem contact met ons op!