This paper addresses the issues of strong hardware platform dependency and in-sufficient testing time for multiple models in the traditional verification process of airborne critical software. Proposes a technical framework for full-digital simulation and continuous verification. By constructing a digital simulation environment based on the PowerPC architecture and combining the concept of continuous integration continuous delivery (CI/CD), an automated verification platform covering the entire software lifecycle is established. The key research areas include: (1) Establishing PowerPC full-digital simulation platform that is deeply integrated with continuous verification technology; (2) Building an automated pipeline tool-chain that meets aviation certification standards; (3) Integrating the existing system-level integrated verification environment with the development and test toolchain to meet the quality requirements of critical-level software development. The experimental results show this approach shortens the algorithm verification cycle by 30%, achieves full-process automation of functional testing, provides effective support for the start of testing when hardware is not fully ready, and solves the bottleneck problem of verification efficiency of airborne critical software under the agile development model. It improves testing efficiency by 95% and provides a highly efficient and continuous verification tool platform for avionics software development.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Research on Continuous Verification Technology of Aircraft Critical Software Based on Full Digital PowerPC

  • Qi Zhang,
  • Dapeng Zhou,
  • Yongyi Liu,
  • Yue Wang

摘要

This paper addresses the issues of strong hardware platform dependency and in-sufficient testing time for multiple models in the traditional verification process of airborne critical software. Proposes a technical framework for full-digital simulation and continuous verification. By constructing a digital simulation environment based on the PowerPC architecture and combining the concept of continuous integration continuous delivery (CI/CD), an automated verification platform covering the entire software lifecycle is established. The key research areas include: (1) Establishing PowerPC full-digital simulation platform that is deeply integrated with continuous verification technology; (2) Building an automated pipeline tool-chain that meets aviation certification standards; (3) Integrating the existing system-level integrated verification environment with the development and test toolchain to meet the quality requirements of critical-level software development. The experimental results show this approach shortens the algorithm verification cycle by 30%, achieves full-process automation of functional testing, provides effective support for the start of testing when hardware is not fully ready, and solves the bottleneck problem of verification efficiency of airborne critical software under the agile development model. It improves testing efficiency by 95% and provides a highly efficient and continuous verification tool platform for avionics software development.