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

Gwenaël Delaval 1, * Éric Rutten 1, 2, *
* Auteur correspondant
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Article dans une revue
EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192
Liste complète des métadonnées


https://hal.inria.fr/hal-00784474
Contributeur : Ed. Bmc <>
Soumis le : lundi 4 février 2013 - 13:13:52
Dernière modification le : jeudi 30 mai 2013 - 11:39:47
Document(s) archivé(s) le : lundi 17 juin 2013 - 18:47:40

Identifiants

  • HAL Id : hal-00784474, version 1

Collections

Citation

Gwenaël Delaval, Éric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP Journal on Embedded Systems, SpringerOpen, 2007, 2007 (1), pp.084192. <hal-00784474>

Partager

Métriques

Consultations de
la notice

226

Téléchargements du document

138