Jan Friso Groote, hoogleraar Wiskunde en Informatica aan de Technische Universiteit Eindhoven (TU/e), heeft een droomproject: software die je blind kunt vertrouwen.
“We moeten een manier van software ontwerpen vinden zodat we zeker weten dat de software geen fouten maakt. En buitenstaanders moeten kunnen vaststellen dat de software zich altijd aan de aan de software opgelegde regels zal houden. De machinerichtlijn schrijft voor dat een brug niet open mag gaan als de afsluitbomen niet gesloten zijn. TNO of het ministerie zouden dit op basis van de software en het softwareontwerp moeten kunnen vaststellen. En als het toch een keer mis gaat, dan moet kunnen worden vastgesteld of het aan de software lag, of misschien aan verkeerd aangesloten bedrading. Hiertoe zou alle in gebruik gestelde software kunnen worden ondergebracht bij een softwarenotariaat, zodat experts toegang tot de broncode en de documentatie hebben om die te onderzoeken in geval van een incident.”
Lees hier zijn hele antwoord op ‘de jaarlijkse vraag’.
