Jump to : Download | Abstract | Keywords | Contact | BibTex reference | EndNote reference |

jes-gd-07

GwenaŽl Delaval, …ric Rutten. A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis. EURASIP Journal on Embedded Systems, 2007:0-17, 2007.

Download [help]

Download paper: (link)

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

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

Keywords

[ Real-time systems ] [ Safe design ] [ Domain-specific language ] [ Discrete control synthesis ] [ Synchronous programming ]

Contact

Gwenael Delaval

BibTex Reference

@article{jes-gd-07,
   Author = {Delaval, GwenaŽl and Rutten, …ric},
   Title = {A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis},
   Journal = {EURASIP Journal on Embedded Systems},
   Volume = {    2007},
   Pages = {0--17},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)