As flight control software becomes the key to the production of advanced digitalized air-to-air missiles, how to verify the embedded flight control software is of vital importance.

飞控软件已成为先进数字化空空导弹研制的关键，如何对嵌入式飞控软件进行验证是空空导弹研制的焦点。

youdao

Software testing is the key work to ensure software quality and reliability, and it is faced with many difficulties as the complexity and specificity of embedded flight-control software.

软件测试是保证软件质量和可靠性的关键工作，但由于嵌入式飞控软件的复杂性和特殊性，使软件测试面临许多特殊的困难。

youdao

The independent inquiry board set up to investigate the first explosive failure said the flight control system failed because of errors in computer software design.

BBC: Ariane 5: A short history

But the same software that runs the simulation will also control the physical engine in flight.

FORBES: For Radical Innovation, Nature Loves A Vacuum