ICT Embedded start met consultancydiensten voor Verums Analytical Software Design-gereedschappen (ASD). De twee bedrijven tekenden daarvoor een samenwerkingsovereenkomst. De ASD-methode van het jonge bedrijf zorgt ervoor dat een softwareontwerp functioneel en wiskundig correct is, voordat het programmeren begint. Eind vorig jaar streek Verum een subsidie van twee miljoen euro op om zijn tools tot een marktrijp product te ontwikkelen. Onlangs bracht het bedrijf een prerelease voor zijn commercieel beschikbare tools. Daarvoor had het alleen proefprojecten uitgevoerd bij Philips Medical Systems, Philips Apptech en Nanda Technologies.
Het commercieel beschikbare pakket, ASD:Suite, bevat drie componenten. ASD:Modelbuilder biedt de grafische tools voor het maken en verifiëren van systeemmodellen. ASD:Modelchecker voert de mathematische verificatie uit en identificeert eventuele fouten. ASD:Codegenerator kan C-, C++-, C#- of Java-code genereren uit het model. De eerste tool wordt per zetel gelicenseerd, de andere tools draaien op Verums servers. Volgend jaar moet ASD:Suite als volledig geïntegreerd pakket op de markt komen.