航空电子应用软件的分析及其分析验证软件浅析

在航电系统调试，试验，检测等过程中，对航空电子顶层应用软件的正确性进行分析和验证是至关重要的。本文结合某型飞机航电系统的研制实践，主要介绍了对航空电子应用软件进行分析的依据，方法和分析验证软件概况。