SAFECheckpoints基于SAFERTOS的功能安全系統中，除了空間隔離外，針對不同的安全標準，可能還需要時間隔離功能，確保軟件的時間處理需求。

在單核處理器中，可以使用軟件組件來檢測對系統時間需求的破壞。請注意，這并不能強制時間隔離，但可實現檢測和恢復操作。

基于優先級調度系統中的時間調度問題

在嵌入式實時系統中，很難實現真正的時間分離，因為根據嵌入式實時系統的定義，對事件的及時響應是至關重要的。

在本例中，周期任務2的執行周期非常不穩定。為了響應觸發低優先級任務1的事件，導致任務周期延遲，周期處理尚未完成，下一周期將開始。

為了避免時間調度問題，可以使用SAFERTOS提供的軟件定時器監視任務執行的頻率（和抖動），以及中斷響應時間。

使用定時器來實現監視checkpoint非常簡單有用；但存在一些缺點。軟件定時器的意外行為可能影響整個監測機制的完整性；由于CPU執行更高優先級任務處理，導致監控未報告及如何識別溢出任務等。

為了解決時間監控問題，并補充SAFERTOS的功能，WHIS提供了一個專門的檢查模塊SAFECheckpoints，實現時間檢查。

SAFECheckpoints機制在系統中以最高優先級的內核任務（timer實例）運行，確保定時器回調處理程序中的任何錯誤行為不會影響檢查監視的操作，并且其他任務處理不能搶占或阻止檢查任務的運行。

專用checkpoint機制還在API中提供了額外的功能，提供了安全認證的內核代碼：

• 有限的checkpoint API最大限度地減少了安全監控系統中由于誤操作造成的問題
• 可以選擇單次或周期性檢查
• 周期檢查可以從絕對或相對檢查點運行
• 通過回調函數實現故障通知；可以指定系統錯誤處理程序或單個checkpoint回調函數
• 同一個處理程序管理多個檢查點，并識別對應的回調函數
• SAFECheckpoint模塊為主機應用程序開發人員提供了必要的工具，以便對安全系統中的任務進行實時監視。