Keil RTX5在汽車安全及工業安全上又有新的進展啦！Arm為安全關鍵系統相關應用高度優化的運行時軟件組件可以運行在汽車，工業和醫療市場上廣受好評的Arm芯片上。

新的功能安全運行時軟件組件包含一個經過認證的實時操作系統(RTOS)，Keil RTX5，手工優化的C庫和大量文檔幫助客戶產品通過安全認證。結合TüV SüD認證的Arm編譯工具鏈和軟件測試庫，該組件通過提供一個安全，可靠，高效的軟件平臺減少工程師開發底層軟件上的時間，投入更多的時間在附加值更高的應用軟件上，從而提高工程師的效率，加速安全相關產品的上市時間。

面向安全關鍵的Cortex-M運行系統

為工程效率而設計

Keil RTX是一個任務時間確定的RTOS，開發者可以在它上創建同時運行多個函數的工程，它同時可以幫助開發者更好的組織和維護工程應用。RTOS一般會管理多個應用任務或線程，為了實時響應，RTOS會采用基于優先級或搶占式的方式進行任務調度。隨著安全關鍵系統變得越來越復雜，RTOS技術的優勢就越來越明顯。

在安全關鍵系統中使用RTOS，嵌入式工程師需要通過編寫符合監管要求的軟件文檔和測試，挑戰重重。為了簡化和加速需要認證的安全關鍵系統中的軟件開發，arm和TüV SüD合作將Keil RTX5通過了安全標準ISO26262中的面向車載的ASIL D(Automotive Safety Integrity Level，汽車安全完整性等級）標準和IEC61508的面向工業的SIL3標準。

為安全而設計

在Keil RTX5的開發中，我們考慮很多安全相關的因子，這樣內核自然提高了嵌入式應用的可靠性：

線程和句柄模式：Keil RTX5內核執行在句柄模式，擁有獨立的棧，從而避免線程切換中的棧重復加載。

中斷執行時間確定：Keil RTX5使用大部分Cortex-M處理器上都有的LDEX/STEX原子操作指令，系統運行時用戶中斷不用屏蔽。

內核對象的運行時檢測：對象檢測器在運行時會檢測類型是否匹配，避免用戶程序的誤操作。

堆棧溢出檢測：Keil RTX5將線程棧頂賦上特定值，在線程切換的時候檢測該值是否被覆寫。

基于對象的內存池：針對不同對象而設計的固定尺寸內存管理策略避免了運行時的內存碎片化，同時也讓對象的創建和銷毀時間確定。

靜態對象內存分配：用戶程序可以決定需要為內核對象提供靜態內存大小，這也避免了RTOS系統運行時內存不足的問題。

MISRA C:2012兼容：Keil RTX5使用C語言編寫，符合MISRA C:2012建議的C99擴展。

進程保護

許多基于Cortex-M設計的微處理器保護一個用來隔離不同進程存取內存和外設的內存保護單元（MPU）。通過安全認證的Keil RTX5，提供了可選的MPU支持，進一步利用硬件內嵌的進程隔離功能提高嵌入式應用的安全。

為了簡化系統配置和保護數據和外設，Arm引入了新的CMSIS組件：CMSIS-Zone。該組件包含一個交互工具無縫管理系統配置，可以用于單進程和多進程環境。該交互工具可以顯示系統可用資源，幫助軟件架構師分配處理器，內存和外設到不同的區域。在工程上，這些內存和外設還可以進一步劃分到用于執行安全進程的帶MPU執行單元。

可用性

這套用于功能安全的運行系統組件將于2018年六月上市，包含Keil RTX5實時操作系統， Arm功能安全c語言庫，安全手冊，安全案例報告和TüV SüD證書。

通過認證的運行系統組件可以用于使用Arm Cortex-M0, Cortex-M0+,Cortex-M3, Cortex-M4和Cortex-M7，期望通過ISO26262 ASIL D和IEC61508 SIL3認證的項目，基于Cortex-M23和Cortex-M33的認證組件計劃在2019年發布。