Title | ||
---|---|---|
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis |
Abstract | ||
---|---|---|
Abstract: We propose a simple programming language, called Nemo, specic 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-specic,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. Key-words: Real-time systems, safe design, domain-specic language, discrete |
Year | DOI | Venue |
---|---|---|
2007 | 10.1155/2007/84192 | EURASIP J. Emb. Sys. |
Keywords | Field | DocType |
real time systems,programming language,domain specific language,real time control system | Domain-specific language,USable,Control theory,Existential quantification,Computer science,Avionics,Real-time computing,Control system,Programming domain,Automotive industry | Journal |
Volume | Issue | ISSN |
2007 | 1 | 1687-3963 |
Citations | PageRank | References |
7 | 0.59 | 20 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gwenaël Delaval | 1 | 96 | 8.86 |
Éric Rutten | 2 | 255 | 30.50 |