Daily Tzolkin

Inloggen


Met het juiste gereedschap kunnen softwareproblemen de wereld uit

artikel geplaatst op donderdag 29 oktober 2009 om 20:53 - Redactie

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 ligt aan de basis van vele problemen. Softwarefouten kosten de wereldeconomie handen vol geld en zijn soms ook een bedreiging voor de veiligheid. Veel van deze problemen kunnen worden voorkomen met ‘formele methoden’, ICT-gereedschap om grote softwareproblemen te ontwarren. De Technische Universiteit Eindhoven (TU/e) organiseert van maandag 2 tot en met vrijdag 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.

Software ingewikkelder dan ooit
Er is steeds meer mogelijk op softwaregebied, maar het wordt steeds lastiger overzicht te bewaren. Het blijft meestal verborgen voor het grote publiek, maar hedendaagse softwaretoepassingen behoren tot het meest ingewikkelde dat ooit door mensen bedacht is. Neem bijvoorbeeld de software voor een moderne televisie. Zou je alle regels code daarvan afdrukken, dan heb je zo’n duizend dikke boeken vol. Daarom is een andere manier van denken nodig om controle te houden en de hoeveelheid fouten te beperken. Met formele methoden kan met mathematische precisie over software logisch geredeneerd worden. Tijdens de zogeheten FM-week worden hiervoor nieuwe ideeën uit de doeken gedaan.

Industry Day
Er vinden verschillende evenementen plaats in samenwerking met bedrijfsleven en de overheid. Kennisuitwisseling en toepasbaarheid van de methoden staan centraal. Zo vindt op 5 november de Industry Day plaats waar wetenschappers en bedrijfsleven ervaringen uitwisselen over de toepasbaarheid van de methoden. Tijdens de FM-week worden zo’n 1.000 bezoekers verwacht.

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, de Nobelprijs voor de informatica. 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: www.win.tue.nl/fm2009.

Bron: TU Eindhoven

Reacties

Geen reacties beschikbaar.

Reageren

Je bent op dit moment niet ingelogd. Om een reactie achter te laten moet je ingelogd zijn.

Policy | Kontakt
© DailyTzolkin 2019 | Tips of nieuws? redactie@dailytzolkin.com