“ESA認證RTEM在對稱多處理配置中的關鍵性C和D，”德國RTEMS支持公司嵌入式大腦。 “這意味著現在也可以在依賴REEMS的現代多核處理器上執行安全關鍵功能。此前，只有大大減少，現在已經過時，單核版本可用於此目的。“
在Cobham-Gaisler處理器GR740和GR712RC上進行了資格，具有SPARC架構。用ARM和RISC-V核心的認證位於管道中。
設想A和B類別的資格。 “那麼載人任務中的甚至安全關鍵函數都可以根據RTEMS運行，”嵌入式大腦。 “對此的文檔和測試已經到位，必要的獨立驗證正在進行中。”
根據嵌入式大腦，它設計和開發了當前的資格數據包，RTEMS認證現在主要是自動化的 - 從文檔到測試和評估摘要。 “以這種方式，眾多的目標系統，界面和驅動程序可以以經濟的方式認證。即使在基本版本中，這也包括超過2,000多個測試程序和超過10,000頁的結果和文檔“ - 該公司正在提供其服務，以簡化尚未支持的多核處理器的資格。
嵌入式大腦RTEMS頁面在這裡
ESA的RTEMS資格頁面
REEMS在這裡