Soepele toepassing van Verum’s Dezyne bij het modelleren van software voor een service tool

Bedrijven die gebruik maken van Dezyne hebben hun marktintroductietijd met 20% versneld, 25% minder softwarefouten gemaakt en 50% kosten bespaard. Dezyne is één van de Model Driven Engineering toolsets waar ICT Group mee werkt om traditionele manieren van software ontwerp te innoveren. Met de technologie van vandaag leiden we de software engineers van morgen op.

Hieronder beschrijven we de functionaliteit van Dezyne aan de hand van een ontwikkelingsproject: de ontwikkeling van een servicetool voor een opstart-/afschakelcontroller. Dit project is uitgevoerd door onze software engineer Saurav Paul.

Eerste ervaringen

Saurav Paul maakte kennis met de methodologie van Model Driven Engineering tijdens zijn Masteropleiding Embedded Systems aan de Technische Universiteit Delft. Toen hij kort na zijn afstuderen een bijeenkomst van de Dezyne community bijwoonde, herkende hij een sterke parallel tussen Dezyne en wat hij op de universiteit had geleerd. Enthousiast over Dezyne’s mogelijkheden, begon hij de toolset te gebruiken voor een klein software-ontwerpproject. “Volgens mij is Model Driven Engineering de toekomst van softwareontwikkeling”, zegt Saurav. “Dus ik stond te popelen om Dezyne te gaan gebruiken.”

Dezyne gebruiken in een project in opdracht van Philips

Na zijn afstuderen is Saurav Paul aan de slag gegaan bij ICT Group. Hij werd gekozen als software engineer in een project in opdracht van Philips. In dit project werd Dezyne gebruikt als de primaire toolset.

Philips ontwikkelt röntgensystemen voor beeldgeleide medische procedures. De röntgenapparaten worden aangedreven door complexe opstart-/uitschakel controllers die de betrouwbaarheid en veiligheid garanderen. Omdat het gedrag van deze controllers complex is, wordt een speciale servicetool gebruikt om ze te controleren en te onderhouden. Saurav ontwierp de software voor deze nieuwe service tool, met behulp van Dezyne.

Dezyne’s aanpak is om te beginnen met het creëren van een model dat het gedrag van het softwaresysteem vastlegt. Het model dient als communicatiemiddel tussen softwareontwikkelaar(s) en belanghebbenden. Het zorgt ervoor dat de door de stakeholders geformuleerde eisen grondig, compleet en effectief worden geïmplementeerd. Dezyne stelt de software engineer ook in staat om software gedrag te simuleren bij elke stap van het ontwikkelingsproces, wat helpt om te verifiëren of het systeem voldoet aan de eisen. Eenmaal getest en geverifieerd wordt met een druk op de knop automatisch computercode uit het model gegenereerd.