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

Dezyne is een tool ontwikkeld door Verum om software te ontwerpen gebaseerd op de methodologie van Model Driven Engineering. Dezyne wordt voornamenlijk gebruikt om complexe software systemen te ontwikkelen. Door zijn ingebouwde formele verificatie functionaliteit is Dezyne met name geschikt voor veiligheidkritische systemen gebruikt in de luchtvaart, auto-industrie, computerchipfabricatie en de medische industrie.

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.

AVG toestemmingen

De ICT Group website gebruikt cookies voor diverse functionaliteiten in de website: Functionele cookies, website statistieken, gepersonaliseerde advertenties en social media. Advertentie en social media cookies verzamelen informatie over individuele gebruikers. Dit laat derden gepersonaliseerde adverties tonen en stelt je in staat om content van deze site te delen naar social media platforms.

Bij gebruik van deze site geef je ons toestemming om deze cookies te plaatsen. De Cookie Instellingen voor de ICT Group website kunnen ten alle tijden aangepast of ingetrokken worden. Je kunt de Cookie Instellingen bereiken middels de Cookie Instellingen knop of via de link onderaan iedere pagina in deze site.

Lees onze privacy policy hier | Deze melding sluiten
Scroll naar top