论文部分内容阅读
航天嵌入式软件是面向航天领域的特殊的嵌入式软件，它的可靠性和健壮性直接关系到航天飞行器的安全。如果没有对软件进行充分的调试和验证，一旦出现问题，不仅造成飞行器的损毁，甚至会造成人员的伤亡和巨大的财产损失。所以对航天嵌入式软件进行快速的、有效的测试就变得极其重要。本文根据航天嵌入式软件系统的测试要求，结合模型驱动开发技术，本文对调试验证一体化平台的系统整体设计进行了分析描述，并对以太网以及CAN的接口模型设计、板卡IO配置、接口抽象代码、模型验证以及生成文件的组织结构四个方面进行了详细分析。针对以太网及CAN接口模型设计提出了变量配置和流程图建模相结合的技术；针对以太网及CAN板卡属性配置，通过手动配置以太网及CAN板卡IO实现；针对以太网及CAN接口抽象，提出了由接口变量类型抽象，板卡初始化接口抽象，数据发送和接收抽象相结合的方法；针对以太网及CAN模型验证，结合通信技术，指定了有效的验证准则；针对以太网及CAN模型生成文件组织结构，提出了与系统总体生成代码文件组织结构相统一，并描述了以太网及CAN相关文件的组织结构关系。经过使用调试验证一体化平台对实际航天嵌入式软件的测试，本文设计的以太网和CAN接口模型满足相关要求。