Als zware computerpro-gramma’s plotseling crashen en een heel vliegveld of een bedrijf lamleggen, ligt de oorzaak vaak bij in kleine softwarefout. Informatici van de Universität des Saar-landes hebben een proces ontwikkeld, waarmee deze fout onmiddellijk wordt ontdekt en automatisch hersteld. Het systeem, Pachika genoemd, wordt als een zelfstandige reparatieset toegevoegd aan omvangrijke computerprogramma’s.
De naam Pachika komt uit het Oost-Afrikaanse Swahili en betekent ’toepassen en repareren’.En dat is precies wat deze softwarebibliotheek doet. Ze wordt aan een bestaand computerprogramma toegevoegd en bewaakt als een soort bewakingscamera, hoe en wat het programma tijdens zijn uitvoering allemaal doet. Als het programma op een bepaalde plek blijft hangen of compleet crasht, analyseert het Pachika-systeem onmiddellijk, hoe het foutief verlopen programma zich onderscheidt van de vorige uitvoeringen. Zonder verdere ingreep van een programma repareert het systeem dan automatisch deze foutieve functie.
Bij een proef in het laboratorium konden in één op de zes gevallen grote Java-programma’s met miljoenen coderegels zelfstandig worden gerepa-reerd. Bij duizenden software fouten, die dagelijks de programmeurs het leven zuur maken, stemmen deze getallen tot optimisme.
Pachika is onderdeel van het onderzoeksproject Autofix, dat door de Deutsche Forschungsgemeinschaft (DFG) en de Zwitserse Hasler Stiftung wordt gesubsidiëerd. Projectpartner is de Eidgenössische Technische Hochschule in Zürich (ETH).
