同元>经典案例>航天案例

CAN总线建模与航天嵌入式软件可信性保障环

案例背景
在航天嵌入式系统中,CAN总线连接着中心计算机、各传感器/执行器等关键部件,各种嵌入式软件通过它进行通信,CAN总线的通信正确性和实时性是影响航天嵌入式软件可信性的重要因素之一。

在航天嵌入式软件关于CAN总线通信的设计中,需要考虑传输协议、网络结构、电磁辐射、温度变化等不同层面因素对总线通讯的影响。要实现软件CAN总线通信的设计进行验证和仿真,需要开发一个CAN总线建模仿真工具,结合航天嵌入式软件虚拟仿真运行平台VTest,实现对软件的总线通信正确性进行闭环仿真和验证。
案例描述

采用多领域建模语言Modelica,完成CAN通信总线数据链路层,物理层的统一建模仿真,并提供航天嵌入式软件虚拟仿真运行平台VTest接口,与VTest建立的应用层进行交互,实现系统集成仿真,能够对以下参数进行分析:各通讯节点的单次通信数据量、通信频度、包间隔时间、反应时间、两次通信时间间隔等;传输信号的同步、延迟、干扰情况等。

应用价值

统一标准快速设计验证设计参数优化系统可重构

立即下载