SBIR Phase I: Real-Time SHIFT: A Complete Simulation and Deployment Framework

SBIR 第一阶段：实时转变：完整的模拟和部署框架

• 批准号: 9861179
• 负责人: Aleks Gollu
• 金额: $ 9.79万
• 依托单位: Meta-X
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-01-01 至 1999-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9861179&HistoricalAwards=false
• 关键词: SBIR; Phase; Real; Time; SHIFT

Meta-X This Small Business Innovation Research Phase I project proposes to design and implement a real-time extension to the SHIFT language. SHIFT mathematical model and language will be extended to formally represent the interaction between SHIFT generated control code and the real-time operating system environment. An end-to-end methodology will be specified for iterative system design, simulation, and progressive deployment with the SHIFT system. SHIFT is in use in a variety of applications including highway automation, autonomous submarines, chemical distillation column control, and air traffic management. This project should result in the actual deployment of control-code in a real-time operating system. Currently the transition from simulation to implementation is done via manual translation that is time consuming, error prone, and ad hoc. As a result SHIFT's value in iterative system design is limited. In the current market there is a lack of tools that support iterative and end-to-end simulation and deployment of real-time control systems. SHIFT is a powerful, domain-specific language used for simulation and hybrid system controller design. A tool formal extension of SHIFT makes it a commercially viable end-to-end design, simulation, and progressive deployment for automotive, aerospace, process control, and manufacturing industries.

Meta-X 这个小企业创新研究第一阶段项目提出设计和实现一个实时扩展的Java语言。SHIFT数学模型和语言将被扩展以形式化地表示SHIFT生成的控制代码与实时操作系统环境之间的交互。一个端到端的方法将被指定为迭代系统设计，仿真，并逐步部署与可持续发展系统。它被用于各种应用，包括高速公路自动化、自主潜艇、化学蒸馏塔控制和空中交通管理。该项目应导致在实时操作系统中的控制代码的实际部署。目前，从模拟到实现的过渡是通过手动翻译完成的，这是耗时的，容易出错的，并且是临时的。因此，在迭代系统设计中，迭代算法的价值是有限的。 在当前的市场中，缺乏支持实时控制系统的迭代和端到端仿真和部署的工具。是一种功能强大的、特定于领域的语言，用于仿真和混合系统控制器设计。一个正式的扩展工具，使其成为一个商业上可行的端到端的设计，仿真，并逐步部署汽车，航空航天，过程控制和制造业。