嵌入式软件调试验证一体化平台下串口接口模型的设计与实现

发布时间：2018-03-05 06:22

本文选题：嵌入式调试验证一体化平台　切入点：模型驱动开发技术　出处：《西安电子科技大学》2013年硕士论文　论文类型：学位论文

【摘要】：航天嵌入式软件是植入航天领域设备的嵌入式系统软件，它的可靠性和健壮性直接决定了航天飞行器的安全，这就对航天嵌入式软件调试与验证提出了更严格的要求。为此，我们将模型驱动技术应用于嵌入式软件调试工具，使得工程师更多地关注于系统逻辑设计，无须关心具体实现细节，提高调试验证效率。根据航天嵌入式软件系统的测试要求，结合模型驱动开发技术，本文对嵌入式调试验证一体化平台的系统整体设计进行了分析描述，并对系统硬件接口中串口的接口模型设计、板卡IO配置、接口代码抽象、模型验证以及生成文件的组织结构四个方面进行了详细分析。针对串口接口模型，提出了接口变量配置和流程图建模相结合的设计；针对串口板属性配置，通过手动配置串口板卡IO实现；针对串口接口抽象的设计，，是由接口变量类型抽象，板卡初始化接口抽象，数据发送和接收接口抽象三部分组成；针对串口模型验证，结合串口通信技术，制定了细致有效的验证规则；针对串口模型生成文件组织结构，确定为与系统建模总体生成代码文件组织结构相统一的设计。经过使用嵌入式调试与验证一体化平台对实际航天嵌入式软件的测试，本文提出的串口接口模型设计满足相关要求。
[Abstract]:Spaceflight embedded software is embedded system software embedded in space equipment. Its reliability and robustness directly determine the safety of spacecraft, which puts forward more strict requirements for the debugging and verification of aerospace embedded software. We apply model-driven technology to embedded software debugging tools, which makes engineers pay more attention to the logic design of the system, do not need to care about the details of the implementation, and improve the efficiency of debugging and verification. According to the test requirements of the aerospace embedded software system and the model driven development technology, this paper analyzes and describes the system design of the embedded debugging and verification integrated platform. The interface model design of the serial port in the hardware interface of the system, the IO configuration of the board card, the abstraction of the interface code, the verification of the model and the organization structure of the generating file are analyzed in detail. The combination of interface variable configuration and flow chart modeling is proposed. The interface variable type is abstracted by the interface variable type in the design of interface interface abstraction, which is realized by manually configuring serial port card IO for serial port board attribute configuration. Card initialization interface abstraction, data sending and receiving interface abstraction three components; for serial port model verification, combined with serial communication technology, developed detailed and effective verification rules; for serial port model generation file organization structure, It is determined that the design is unified with the organization structure of the overall generating code file of system modeling. After testing the actual aerospace embedded software by using the integrated platform of embedded debugging and verification, The serial interface model proposed in this paper meets the related requirements.
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP311.52;TP334.7

【参考文献】