%0 Journal Article 
%F jes-gd-07
%A Delaval, Gwenaël
%A Rutten, Éric
%T A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
%J EURASIP Journal on Embedded Systems
%V 	 2007
%P 0-17
%X 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
%U http://sardes.inrialpes.fr/ gdelaval/pub/nemo-jes2007.pdf
%U 10.1155/2007/84192
%D 2007
%K real-time systems
%K  safe design
%K  domain-specific language
%K  discrete control synthesis
%K  synchronous programming