首页    期刊浏览 2025年02月28日 星期五
登录注册

文章基本信息

  • 标题:A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
  • 本地全文:下载
  • 作者:Gwenaël Delaval ; Éric Rutten
  • 期刊名称:EURASIP Journal on Embedded Systems
  • 印刷版ISSN:1687-3955
  • 电子版ISSN:1687-3963
  • 出版年度:2007
  • 卷号:2007
  • DOI:10.1155/2007/84192
  • 出版社:Hindawi Publishing Corporation
  • 摘要:

    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 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 application experts. Our approach is based on the synchronous modelling techniques, languages, and tools.

国家哲学社会科学文献中心版权所有