17 feb. 1999
2 minuten
Verum en de TU Eindhoven zijn begonnen met een onderzoeksproject om te zien of de verificatietechnologie van de TU kan worden geïntegreerd in de ASD toolset van Verum.
Het technologietransferproject, dat wordt gefinancierd door Tetracom, heeft als doel de integratie van de mCRL2 model checker, die is ontwikkeld door het team van professor Jan Friso Groote van de faculteit Wiskunde en Informatica, met de nieuwe ASD Modelling Language (ASDML). Daardoor zou de toolset van Verum software-ontwerpen voor een breder scala aan toepassingen kunnen worden gebruikt.
Het project, dat 9 maanden gaat duren, zal zich in eerste instantie richten op de semantische vertaling van ASDML naar mCRL2. Ook wordt bekeken hoe additionele eigenschappen van ASDML model sets kunnen worden geverifieerd en hoe resultaten kunnen worden teruggekoppeld naar de ASDML-omgeving in een gebruiksvriendelijk formaat.
"Ons team is verheugd om te kunnen samenwerken met de groep van professor Groote", zegt Robert Howe, Verum’s CEO. "We denken dat we door het toevoegen van mCRL2 aan onze toolset uiteindelijk meer waarde kunnen bieden aan onze klanten. Het enthousiasme van het TU/e team voor ASD werkt erg aanstekelijk en ik geloof dat mCRL2 en verwante tools een belangrijk deel zullen worden van onze roadmap."
Het project wordt geleid door universitair docent Tim Willemse. "mCRL2 is een gerenommeerde model checking technologie die is uiteenlopende toepassingen wordt gebruikt, van de verificatie van spoorwegsignaleringssystemen tot de analyse van de besturingssystemen van de Large Hadron Collider bij Cern. Wij denken dat door desamenwerking met Verum de kracht van mCRL2-verificatie beschikbaar komt voor een groot aantal software engineers."
Als het project succesvol verloopt, wil Verum mCRL2 zo spoedig mogelijk opnemen in ASD, wellicht al in het vierde kwartaal van 2015.
"Op dit moment hebben we onze handen vol aan de ontwikkeling van een nieuwe generatie tools op basis van ASDML", zegt Howe. "We willen ons nieuwe product begin 2015 introduceren. Op dat moment zullen we de voortgang van het Tetracom-project evalueren en nieuwe plannen maken."
Howe ziet meer mogelijkheden tot samenwerking met de centres of excellence in de regio: "De regio Eindhoven zit boordevol met innovatieve software-engineeringtechnologie. We zijn op diverse fronten in gesprek om toegang te krijgen tot die technologie – natuurlijk met het oog op toekomstige commercialisering."
Anderen lazen ook
