Cordis breidt toolset uit met verificatietechnologie TUE

Het Eindhovense Cordis integreert de MCRL2-modelchecker van de Technische Universiteit Eindhoven in zijn toolset voor modelgebaseerde software-engineering. Daartoe werkt het bedrijf sinds begin dit jaar samen met de vakgroep van Jan Friso Groote, waar de verificatietechnologie haar wortels heeft. Met MCRL2 aan boord kan de Cordis-tooling fouten in een softwareontwerp in een vroeg stadium opsporen en oplossen. De samenwerking levert mogelijk twee promotieplekken op.

Het op de High Tech Campus gehuisveste Cordis maakt sinds 2000 innovatieve besturingssoftware voor complexe systemen in de technische it en de industriële automatisering. Daarnaast heeft het zijn eigen modelgebaseerde tooling op de markt gebracht. Deze is breed inzetbaar. Infrabedrijf Improvia gebruikt het gereedschap bijvoorbeeld om programmatuur te ontwikkelen voor beweegbare bruggen, sluizen en tunnels. Philips Innovation Services gaat het blijvend inzetten in projecten na een succesvolle pilot waarbij de tooling voor een nieuwe machine robuuste en goed gedocumenteerde software heeft gegenereerd uit een uml-ontwerp.

De potentie en de uitdagingen van de nieuwe markt waren voor Cordis aanleiding om zich vorig jaar aan te sluiten bij Nextoem. Dit programma is bedoeld om bedrijven versneld te laten groeien, onder meer met workshops, intervisie en coaching door ervaren ondernemers. Eind deze maand is de 2014-editie afgelopen. Naast Cordis namen Admes, JSB, Leddriven, Nemo Healthcare en Pathofinder deel. In april start een nieuwe ronde.