Title | ||
---|---|---|
A domain-specific language for task handlers generation, applying discrete controller synthesis |
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1141277.1141487 | SAC |
Keywords | Field | DocType |
simple programming language,multi-task real-time embedded system,usage constraint,synchronous modelling technique,avionics system,compilation-like process,application expert,application-specific task handler,formal technique,discrete controller synthesis,task handlers generation,domain-specific language,domain specific language,programming language,real time systems | USable,Domain-specific language,Control theory,Programming language,Existential quantification,Computer science,Avionics,Programming domain,Language primitive,Automotive industry | Conference |
ISBN | Citations | PageRank |
1-59593-108-2 | 2 | 0.41 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gwenaël Delaval | 1 | 96 | 8.86 |
Éric Rutten | 2 | 255 | 30.50 |