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

Gwenaël Delaval 1 Éric Rutten 2
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-5690, INRIA. 2005, pp.44
Liste complète des métadonnées


https://hal.inria.fr/inria-00000867
Contributeur : Gwenaël Delaval <>
Soumis le : lundi 28 novembre 2005 - 15:00:47
Dernière modification le : vendredi 16 septembre 2016 - 15:14:52
Document(s) archivé(s) le : vendredi 2 avril 2010 - 23:14:45

Fichiers

Identifiants

  • HAL Id : inria-00000867, version 1

Collections

Citation

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>

Partager

Métriques

Consultations de
la notice

305

Téléchargements du document

154