Tight WCRT Analysis of Synchronous C Programs

1.簡介 在過去的十年中，無處不在的嵌入式系統引起了研究人員的注意。典型的嵌入式應用，從複雜的飛機飛行控制器到簡單的數碼相機，都需要對它們的定時性能做出最壞的保證，因此被稱爲實時系統。實時系統設計的標準方法依賴於靜態地確定代碼的執行時間，這個過程稱爲最壞情況執行時間(WCET)分析[22]。WCET分析用於確定任務週期和最後期限。然後使用RTOS模擬任務的併發性，並使用互斥鎖和監視器等機制實現任務

>>阅读原文<<