Begin dit jaar lanceerde Verum zijn Analytical Software Design (ASD)-tools voor het ontwikkelen van mathematisch bewezen correcte software. Daar ging een lang ontwikkeltraject aan vooraf, waarin het bedrijf uit Waalre zijn gereedschappen uitprobeerde bij verschillende bedrijven. Bestaande softwareonderdelen werden daar opnieuw in elkaar gezet om te kijken of dit de gewenste resultaten opleverde. Ook met Nucletron, ontwikkelaar van bestralingsapparatuur voor tumoren, voerde Verum rond de jaarwisseling zo‘n evaluatieproject uit. ’Het doel van de exercitie was om te kijken hoe snel en correct we het gedrag van het systeem konden nabouwen‘, vertelt Cis van Heerde, applicatieontwikkelaar bij Nucletron, die het project samen met collega Berthold Hutten uitvoerde.
Als onderdeel van zijn productlijn heeft Nucletron de Simulix Evolution, een CT-scanner met conische bundel. Dit apparaat wordt gebruikt om de bestralingsstrategie uit te stippelen. Voor zijn ASD-vingeroefening koos Nucletron een deel van de Simulix Evolution-software. Dit stuk is verantwoordelijk voor de driedimensionale reconstructie van de detectorgegevens en de omzetting in een 2D- of 3D-afbeelding. De beelden worden ook weggeschreven naar een opslagmedium om ze later weer op te vragen. De Simulix Evolution is al enkele jaren op de markt. ’We hadden een stuk software dat al meerdere iteraties had doorlopen, waar we al jaren aan gespendeerd hadden en waar we al veel fouten uit hadden gehaald‘, zegt Van Heerde. Veel nieuwe fouten waren er dan ook niet te verwachten.
Gaten
Het gekozen stuk software bestaat uit drie delen. De Reconstruction Handler is het onderdeel dat de daadwerkelijke 3D-reconstructies uitvoert. Deze software bevat een interface naar een server met de onbewerkte sensordata. De Storage Handler verzorgt het wegschrijven van de beelden. Om het hele proces aan te sturen, is er de Acquire Reconstruction Handler. ’We hebben de Storage Handler helemaal opnieuw gemaakt met de ASD-tools‘, vertelt Ronald Wiericx, die het proces vanuit Verum begeleidde. ’De Reconstruction Handler hebben we niet helemaal voor elkaar gekregen binnen de beschikbare tijd. Daar waren best wat semantiekverschillen.‘

