風河VxWorks被歐洲EGNOS衛星導航系統(European Geostationary Navigation Overlay Service)項目作為完整性處理工具(Integrity Processing Facility，IPF)的操作系統。IPF用于驗證衛星廣播發送給關鍵安全級用戶的信息。

如果沒有EGNOS，民用航空等領域的用戶就不可能放心地使用各種衛星導航系統(例如全球定位系統GPS)。EGNOS使這些用戶能夠完全信賴衛星導航信號的精確性，從而縮短路程距離，降低駕駛燃油消耗。

EGNOS系統是歐洲自主建設的第一個衛星導航系統，它通過增強目前在運行的美國的GPS和俄羅斯的GLONASS這兩個軍用系統來滿足關鍵安全級用戶的需求。

EGNOS系統包含了三顆地球同步衛星和一張地面站網絡，通過在傳送的信號中加入由GPS和GLONASS衛星提供的定位信息，提升了系統的可靠性和精確性，從而實現精準導航。使用EGNOS系統，歐洲以及更多地區的用戶能夠實現2米以內精度的定位，而單獨使用GPS或GLONASS系統只能達到20米的精度。

EGNOS系統是由歐洲航天局(ESA) 、歐盟(EC)和歐洲航空安全組織(Eurocontrol) 聯合開發的項目。它是歐洲全球導航衛星系統(GNSS)計劃的第一步行動，同時也是目前正在歐洲進行研發的完整全球衛星系統——伽利略(Galileo)計劃的前奏。

風河航空與國防行業高級項目經理Alex Wilson表示：“滿足關鍵安全級別的安全認證”是一個昂貴而耗時的過程。選擇VxWorks這個已獲得安全認證的行業領先解決方案，使得Logica這樣業界領先的設備制造商獲得了足夠穩健性和功能性，最大程度地降低了開發風險，縮短了安全認證過程所需的時間。”

EGNOS IPF基于Intel架構運行，已經全面完成了面向EUROCAE ED-12B Level B級別(與RTCA DO-178B Level B安全級別完全對等)的高級安全認證，這也成為EGNOS系統在關鍵安全級別應用中部署的重要里程碑。