论文部分内容阅读
基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。
The model-based design method is the mainstream method for the development and design of embedded control systems. Testing the correctness of the embedded control system model and its code is an urgent problem to be solved. Based on the platform-based design theory, this paper proposes an embedded computing platform for autonomous vehicles. The platform uses a model-based design method to model complex real-time control systems, and automatically generates models and codes in the same framework and real- The control system performs tests of different granularities, namely X-ring simulation, including model-in-loop simulation, software in-loop simulation, and hardware-in-the-loop simulation. The proposed platform provides an integrated environment for modeling and model checking for the development and design of embedded real-time control system, and improves the development efficiency of embedded real-time control system.