tailieunhanh - Báo cáo hóa học: " Research Article A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis"

Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2007 Article ID 84192 17 pages doi 2007 84192 Research Article A Domain-Specific Language for Multitask Systems Applying Discrete Controller Synthesis Gwenael Delaval1 and Eric Rutten2 1INRIA Rhône-Alpes 38334 Saint Ismier Cedex France 2 Laboratoire d Informatique Fondamentale de Lille INRIA Futurs 59655 Villeneuve d Ascq Cedex France Received 30 June 2006 Revised 15 December 2006 Accepted 3 January 2007 Recommended by S. Ramesh We propose a simple programming language called Nemo specific to the domain of multitask 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 automatically obtain an applicationspecific 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 application experts. Our approach is based on the synchronous modelling techniques languages and tools. Copyright 2007 G. Delaval and E. Rutten. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. 1. CONTEXT AND MOTIVATION . Embedded control systems Embedded control systems are implementing automatic control laws or signal processing such as in robotic automotive or avionics systems or even more widely available portable devices processing voice and image signals. These systems are reactive working in close interaction with their environment including the controlled process which has its own dynamics typically following the laws of .