TITEL

Modelgebaseerd ontwerp van embedded software met behulp van cosimulatie en foutinjectie

SPREKER

Christian Kleijn, directeur, Controllab Products

ABSTRACT

Efficiënte ontwerpen van betrouwbare embedded systemen worden bemoeilijkt door de scheiding tussen ontwerpdisciplines in ontwerpprocessen. Daarom zijn wij voorstander van een multidisciplinaire aanpak, waarbij modellen worden verbonden door cosimulatie (vaak discrete-event- en continue-tijdmodellen). Fouten en fouttolerante mechanismen zijn hierbij vanaf het begin in de modellen verwerkt. Dit maakt het mogelijk om abnormaal gedrag en de systeemrespons daarop expliciet te testen gedurende alle fases van het ontwerpproces. Hiermee verwachten we de ontwerptijd te verkorten en de kwaliteit te verhogen.

In dit nieuwe, door de EU gesponsorde zevende-kaderproject Destecs worden continue-tijdsystemen weergegeven door poortgebaseerde modellen in het softwarepakket 20-Sim. De discrete-eventregelaars worden gemodelleerd met de Vienna Development Method (VDM), waarbij we gebruikmaken van de opensource toolset Overture. Daartussen zal een open en uitbreidbaar cosimulatieplatform worden gebouwd, waarin diverse plug-ins voor analyse, codegeneratie en foutanalyse een plek vinden. Via casestudy’s in verschillende domeinen (documentafhandeling, servohydrauliek en personal transporters) zullen we de nieuwe tools gaan testen.

In deze presentatie zullen we de werking van de cosimulatietool uitleggen en de eisen bespreken die noodzakelijk zijn voor een efficiënte werking. Het gebruik van een cosimulatietool geeft ons de mogelijkheid om informatie tussen de aangesloten modellen te versturen. We zullen laten zien dat hiermee geautomatiseerd ontwerpparameters kunnen worden uitgewisseld en op een efficiënte manier gebruiksscenario’s kunnen worden getest en geanalyseerd.

Door de vergelijking van een traditioneel ontwerpproces met losse ontwikkeltools met een ontwerppoces gebaseerd op cosimulatie hopen we een verhoging van de kwaliteit te kunnen vaststellen. We hebben daarom dit zevende-kaderproject gestructureerd in drie iteratieve fases waarin we iedere keer een aantal cases uitvoeren om zo de ontwikkelde tools en methodes te kunnen testen.

BIO

Christian Kleijn is directeur van Controllab Products. Na zijn opleiding elektrotechniek en werktuigbouw aan de Universiteit Twente heeft hij in 1995 dit bedrijf opgericht. Het bekendste product van Controllab is 20-Sim, een softwarepakket voor modelvorming en simulatie van dynamische systemen. Een nieuw product is 20-Sim 4C, waarmee C-code met realtime Linux op embedded hardware kan worden gedraaid. Sinds de oprichting van Controllab is Kleijn werkzaam als consultant op het gebied van regeltechniek en embedded systemen. Via het Destecs-project onderzoekt hij de toepassing van modelgebaseerde ontwerptechnieken voor embedded systemen.

TAAL

Nederlands