A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue EURASIP Journal on Embedded Systems Année : 2007

A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis

Résumé

We propose a simple programming language, called Nemo, specific to the domain of multitask real-time control systems, such as in robotic, automotive, or avionics systems. It can be used to specify a set of resources with usage constraints, a set of tasks that consume them according to various modes, and applications sequencing the tasks. We automatically obtain an application-specific task handler that correctly manages the constraints (if there exists one), through a compilation-like process including a phase of discrete controller synthesis. This way, this formal technique contributes to the safety of the designed systems, while being encapsulated in a tool that makes it usable by application experts. Our approach is based on the synchronous modelling techniques, languages, and tools.
Fichier principal
Vignette du fichier
1687-3963-2007-084192.pdf (347.91 Ko) Télécharger le fichier
1687-3963-2007-084192.xml (15.15 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Format : Autre
Loading...

Dates et versions

hal-00784474 , version 1 (04-02-2013)

Identifiants

  • HAL Id : hal-00784474 , version 1

Citer

Gwenaël Delaval, Eric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.084192. ⟨hal-00784474⟩
226 Consultations
218 Téléchargements

Partager

Gmail Facebook X LinkedIn More