FM-week van 2-6 november: grootste congres over softwaremethoden

Geplaatst: 30 oktober, 2009

Softwarefouten kosten de wereldeconomie handen vol geld en zijn soms zelfs een bedreiging voor de veiligheid. Veel problemen kunnen worden voorkomen met ‘formele methoden’, ICT-gereedschap om grote softwareproblemen te ontwarren. De groep Formele Methoden van de faculteit W&I organiseert van 2 tot en met 6 november ‘s werelds grootste congres op dit vakgebied.

Het voortdurende uitstel van de hogesnelheidslijn, een parkeergaragerobot die auto’s vermorzelt, een raket die ontploft na de start; fouten in softwarecode of miscommunicatie tussen softwarecomponenten liggen aan de basis van veel problemen.

Het wordt er ook niet eenvoudiger op. De tijd dat software bestond uit enkele duizenden regels code ligt ver achter ons. Hedendaagse softwaretoepassingen behoren tot het meest ingewikkelde dat ooit door mensen bedacht is. De software voor een moderne televisie bevat bijvoorbeeld al miljoenen regels code.

Beroep op de wetenschap
Software is zo complex geworden dat het bedrijfsleven grote softwareprojecten soms moet weigeren, omdat ze deze niet kunnen managen. Steeds vaker wordt dan een beroep gedaan op de wetenschap. Zo lukte het samenwerkende wetenschappers onlangs wél om de aankomst- en vertrektijd tussen de verschillende treinen in de Parijse metro te verkorten van drie naar twee minuten, terwijl een aantal grote ICT-bedrijven moest passen.

Fouten beperken
Een andere manier van denken is dus hard nodig om controle te houden en de hoeveelheid fouten te beperken. Met bepaalde wiskundige tools -zogeheten formele methoden- kun je met mathematische precisie logisch over software redeneren. Tijdens de FM-week (‘Formele Methoden’) van 2 tot en met 6 november doen wetenschappers hiervoor nieuwe ideeën uit de doeken. Er worden zo’n duizend deelnemers verwacht.

Industry Day
Er vinden verschillende evenementen plaats in samenwerking met bedrijfsleven en de overheid. Kennisuitwisseling en toepasbaarheid van de methoden staan centraal. Zo is donderdag 5 november de Industry Day waar wetenschappers en bedrijfsleven ervaringen uitwisselen over de toepasbaarheid van de methoden.

Nobelprijs
Een van de hoogtepunten van de FM-week is de presentatie door de Amerikaanse informaticus E. Allen Emerson. Hij is één van de grondleggers van het model checken, een succesvolle, industrieel toegepaste formele methode. Emerson kreeg hiervoor in 2007 de Turing Award, ook wel de Nobelprijs voor de informatica genoemd. Op 4 november gaat deze informaticapionier samen met hoogleraar Joost-Pieter Katoen van de RWTH Aachen in op bestaande en nieuwe methoden voor het oplossen van softwareproblemen. Emerson vanuit zijn jarenlange ervaring en Katoen voornamelijk vanuit de nieuwe inzichten op dit gebied.

Meer informatie over de FM-week is te vinden op: http://www.win.tue.nl/fmweek/