以SoC软硬件协同设计方法学及验证方法学为指导，系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中，软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。

摘  要： 以SoC软硬件协同设计方法学及验证方法学为指导，系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中，软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。 　　　航空系统中的控制系统对数据的安全性、实时性、可靠性及可维修性有极高的要求。在这种环境下，必须使用最具可靠性与实时性的通信链路。航空全双工交换以太网AFDX（Avionics Full-Duplex Ethernet）的开发满足了商业航空应用的需要。AFDX[1]是一种航空电子子系统间