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是一種用於民用航空電子產業中的工業標準通信介面，它可用來處理大型民航機上電子系統之間的命令和控制信號。