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)。
Actel高可靠性" title="高可靠性">高可靠性產品市場總監Ken O'Neill表示，與基于SRAM的FPGA相較，Actel ProASIC3 FPGA具有低功耗和中子感應配置擾動(neutron-induced configuration upset) (又稱「韌體錯誤」)免疫能力，因而更具有高可靠性優勢。
DO-254是一種設計保證指南，其目的是要確保民航機上" title="機上">機上電子系統" title="電子系統">電子系統的設計方式可以符合應用的安全關鍵特性。設計安全程度由其設計保證等級(DAL)來決定。DAL分為五級，其中A為最高的安全關鍵等級。目前開發的所有主要飛機項目如Airbus A350和Boeing 787，以及B747及B777的翻新，都需要經過DO-254的認證。
ARINC-429是一種用于民用航空電子產業中的產業標準" title="產業標準">產業標準通訊接口，它可用來處理大型民航機上電子系統之間的命令和控制訊號。
在這種風險規避的(risk-averse)設計環境中，Barco Silex BA511 ARINC 429 IP設計工具" title="設計工具">設計工具能夠將風險降到最小，時間和工作量也減到最少，設計人員不必為需要DO-254認證的飛行關鍵或安全關鍵性應用，自行開發設計工具或開發自己的ARINC 429接口設計。