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

这个小企业创新研究的第一阶段项目建议设计并实现SHIFT语言的实时扩展。SHIFT数学模型和语言将被扩展，以正式表示SHIFT生成的控制代码与实时操作系统环境之间的交互。将指定一个端到端的方法，用于迭代系统设计、模拟和SHIFT系统的逐步部署。SHIFT用于各种应用，包括高速公路自动化，自主潜艇，化学精馏塔控制和空中交通管理。该项目将导致在实时操作系统中实际部署控制代码。目前，从模拟到实现的转换是通过手动转换完成的，这是耗时的，容易出错的，而且是临时的。因此SHIFT在迭代系统设计中的价值是有限的。在目前的市场上，缺乏支持迭代和端到端实时控制系统仿真和部署的工具。SHIFT是一种功能强大的领域特定语言，用于仿真和混合系统控制器设计。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.