A domain-specific language for task handlers generation, 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 embedded 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 usable by end-users and application experts. Our approach is based on the synchronous modelling techniques, languages and tools.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000865
Contributor : Gwenaël Delaval <>
Submitted on : Monday, November 28, 2005 - 1:48:57 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on : Friday, April 2, 2010 - 11:14:13 PM

Identifiers

  • HAL Id : inria-00000865, version 1

Collections

Citation

Gwenaël Delaval, Éric Rutten. A domain-specific language for task handlers generation, applying discrete controller synthesis. ACM Symposium on Applied Computing, Apr 2006, Dijon/France. ⟨inria-00000865⟩

Share

Metrics

Record views

435

Files downloads

267