摘 要: 以SoC软硬件协同设计方法学及验证方法学为指导,系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中,软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。 航空系统中的控制系统对数据的安全性、实时性、可靠性及可维修性有极高的要求。在这种环境下,必须使用最具可靠性与实时性的通信链路。航空全双工交换以太网AFDX(Avionics Full-Duplex Ethernet)的开发满足了商业航空应用的需要。AFDX[1]是一种航空电子子系统间进行数据交换的网络标准,它是在IEEE802.3以太网技术的基础上增加一些特殊机制,提供一个具有确定