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

Tham khảo luận văn - đề án 'báo cáo hóa học: " research article a domain-specific language for multitask systems, applying discrete controller synthesis"', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 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 .

• Báo cáo khoa học
• báo cáo khoa học
• báo cáo hóa học
• công trình nghiên cứu về hóa học
• tài liệu về hóa học
• cách trình bày báo cáo
• trình bày báo cáo
• tài liệu báo cáo khoa học
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• luận văn mẫu
• người lính việt nam
• sau chiến tranh
• tuyển tập báo cáo khoa học
• báo cáo ngành triết học
• báo cáo ngành lịch sử
• báo cáo ngành văn học
• nghiên cứu khoa học
• báo cáo về văn học
• báo cáo triết học
• báo cáo văn học
• chuyên đề văn học
• văn học nghệ thuật
• văn học Việt NAm
• báo cáo ngành toán học
• báo cáo ngành vật lý
• báo cáo ngành chăn nuôi
• văn học Trung Hoa
• báo cáo khoa học kinh tế
• Kỷ yếu tóm tắt báo cáo khoa học
• Báo cáo khoa học y học
• Báo cáo y học
• Hội nghị khoa học tim mạch
• Báo cáo khoa học y khoa
• Tăng huyết áp
• báo cáo sinh học
• bảo tồn nguồn gen
• báo cáo ngành kỹ thuật
• Báo cáo quản lý chất thải sinh hoạt
• Báo cáo khoa học môi trường
• Báo cáo khoa học công nghệ
• Nghiên cứu khoa học về môi trường
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học