Actel公司宣布，Barco专为Actel ProASIC3 FPGA而开发的BA511 ARINC 429 IP内核已在多个安全关键的航空电子应用中通过DO-254认证。配有 Barco BA511 ARINC 429 IP内核的Actel ProASIC3 A3P1000器件获选用在民用航空项目中四个DO-254认证实现方案中，其中两个为最高设计保证级别 (DAL-A)，另两个为次高级别 (DAL-B)。DO-254是一种设计保证指南，其目的是要确保民航机上电子系统的设计方式可以符合应用的安全关键特性。设计的安全程度由其设计保证级别 (DAL) 来决定。DAL分为五级，其中A为最高的安全关键级别。目前开发的所有主要飞机项目如Airbus A350和Boeing 787，以及B747及B777的翻新，都需要经过DO-254的认证。

ARINC-429是一种用于民用航空电子产业中的工业标准通信接口，它可用来处理大型民航机上电子系统之间的命令和控制信号。