A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2005

A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis

Résumé

We propose a simple programming language, called Nemo, specific to the domain of multi-task 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 obtain automatically 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 useable by application experts. Our approach is based on the synchronous modelling techniques, languages and tools.
Fichier principal
Vignette du fichier
RR-5690.pdf (418.13 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000867 , version 1 (28-11-2005)

Identifiants

  • HAL Id : inria-00000867 , version 1

Citer

Gwenaël Delaval, Éric Rutten. A Domain-Specific Language for Multi-task Systems, applying Discrete Controller Synthesis. [Research Report] RR-5690, INRIA. 2005, pp.44. ⟨inria-00000867⟩
188 Consultations
232 Téléchargements

Partager

More