Research on Continuous Verification Technology of Aircraft Critical Software Based on Full Digital PowerPC
摘要
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.