按照V模式的开发方法对燃料电池车用动力蓄电池管理系统BMS进行了开发。根据BMS的功能和相应的算法在Simulink平台上对BMS进行了建模仿真。模型验证无误后,运用embedded target for TI C2000实现控制器的自动代码生成,并在硬件平台上对...按照V模式的开发方法对燃料电池车用动力蓄电池管理系统BMS进行了开发。根据BMS的功能和相应的算法在Simulink平台上对BMS进行了建模仿真。模型验证无误后,运用embedded target for TI C2000实现控制器的自动代码生成,并在硬件平台上对自动生成的代码进行了验证。展开更多
文摘综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。