28 sep. 2009
1 minuut
Het voortdurende uitstel van de HSL, een parkeergarage-robot die auto’s vermorzelt, een raket die ontploft na de start; fouten in code of miscommunicatie tussen softwarecomponenten ligt aan de basis van vele problemen. Softwarefouten kosten de wereldeconomie handen vol geld en zijn soms zelfs een bedreiging voor de veiligheid. Veel van deze problemen kunnen worden voorkomen met ‘formele methoden’, ICT-gereedschap waarmee grote softwareproblemen ontward kunnen worden. De Technische Universiteit Eindhoven (TU/e) organiseert van 2 tot en met 6 november het grootste wereldwijde evenement op dit vakgebied.
De tijd dat software bestond uit enkele duizenden regels code ligt ver achter ons. 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.
Industry Day
Vele onderzoekers uit het vakgebied van formele methoden komen van 2 tot en met 6 november bij elkaar aan de TU Eindhoven. Tijdens de zogeheten Formele Methoden-week (‘FM-week’) worden zo’n 1.000 bezoekers verwacht. Er vinden verschillende evenementen plaats in samenwerking met het bedrijfsleven en de overheid. Centraal staat het uitwisselen van kennis en de toepasbaarheid van de methoden. Zo wordt op 5 november de Industry Day gehouden. Daar spreken de ontwikkelaars van bepaalde tools steeds in duopresentaties met de gebruikers ervan uit het bedrijfsleven. Andere sprekers gaan in op de toenemende vraag van softwareontwikkelaars naar formele methoden als gereedschap.
Nobelprijs
Een van de hoogtepunten van de FM-week is op 4 november de presentatie door de Amerikaanse informaticus E. Allen Emerson, die in 2007 de Turing Award won, de ‘Nobelprijs voor de informatica’. Hij gaat samen met de Nederlandse hoogleraar Joost-Pieter Katoen van de RWTH Aachen in op het oplossen van softwareproblemen en de toepassingen hiervoor. Emerson vanuit zijn jarenlange ervaring en Katoen zal de nieuwe inzichten op dit gebied belichten.
Meer informatie over de FM-week is te vinden op http://www.win.tue.nl/fmweek/