调试验证平台中1553B总线通信的研究与实现

发布时间：2018-05-11 05:00

本文选题：嵌入式软件 + 1553B总线　；参考：《西安电子科技大学》2013年硕士论文

【摘要】：航天嵌入式软件是面向航天领域的特殊的嵌入式软件，它的健壮性和可靠性直接关系到航天飞行器的安全。只有对软件进行充分的调试验证，才能保证飞行器的安全。因此，为了提高调试验证效率，设计一种快速的，通用的测试工具显得尤为重要。本文根据航天嵌入式软件的测试要求，通过对嵌入式调试验证一体化平台的整体设计进行了分析，主要针对1553B总线从通信体系架构，图形化建模，代码生成和在线监控四个方面进行了详细分析。针对1553B总线通信体系架构，采用了驱动层，逻辑层和应用层的分层设计，，实现板卡与用户之间的交互，及对1553B初始化流程的改进，使得总线通信框架的配置更加灵活；针对图形化建模，采用静态建模的方法对目标机的硬件测试环境进行仿真，采用动态建模的方法对目标机的测试时序进行仿真；针对代码生成，提出了1553B消息的发送/接收数据的硬件接口抽象和整个工程代码框架的设计；针对在线监控，设计了对数据字，数据位进行实时监控的控件。经过对航天嵌入式软件的测试，本文提出的调试验证方法可以很好的满足相关要求。
[Abstract]:Spaceflight embedded software is a special embedded software facing space field. Its robustness and reliability are directly related to the safety of spacecraft. Only when the software is fully debugged and verified, can the safety of the aircraft be guaranteed. Therefore, in order to improve the efficiency of debugging and verification, it is very important to design a fast and universal testing tool. According to the test requirements of aerospace embedded software, this paper analyzes the whole design of the integrated platform of embedded debugging and verification, mainly aiming at 1553B bus from the communication architecture, graphical modeling, Code generation and online monitoring are analyzed in detail. Aiming at the 1553B bus communication architecture, the driver layer, logic layer and application layer are adopted to realize the interaction between the card and the user, and to improve the initialization flow of 1553B, which makes the configuration of the bus communication framework more flexible. Aiming at graphical modeling, static modeling method is used to simulate the hardware test environment of target machine, and dynamic modeling method is used to simulate the test sequence of target machine. The hardware interface abstraction of 1553B message sending / receiving data and the design of the whole engineering code frame are presented, and the real-time monitoring control of data word and data bit is designed for on-line monitoring. After testing the aerospace embedded software, the debugging and verification method proposed in this paper can meet the relevant requirements.
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP336

【参考文献】