模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关...
详细信息
模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。
传统的DSP开发方法具有周期长,效率低等特点。采用PSIM软件中的SimCoder for CodeGeneration模块自动生成可执行的DSP代码,可大幅提高DSP的开发效率。本文在PSIM仿真环境中搭建SPWM控制器模型,并自动生成代码,将生成的代码通过CCS9.0编...
详细信息
传统的DSP开发方法具有周期长,效率低等特点。采用PSIM软件中的SimCoder for CodeGeneration模块自动生成可执行的DSP代码,可大幅提高DSP的开发效率。本文在PSIM仿真环境中搭建SPWM控制器模型,并自动生成代码,将生成的代码通过CCS9.0编译后装载到目标DSP中,实现了逆变电路的SPWM控制。仿真和实验结果表明,该方法易于实现,可以快速高效地完成整个开发过程。
暂无评论