關於RTOS的閱讀,「硬」RTOS的特點是它可以確定性地確定最後期限,但我們如何測試或證明系統實際滿足要求?保持最後期限的最佳系統測試是什麼?
MicroC/OS II RTOS的特點是硬RTOS,但我如何驗證該聲明?如果我的FPGA有一些C代碼和ISR,它們可以運行C程序並在信號量與RTOS類似的線程之間切換上下文,我怎麼知道OS/RTOS是「硬」還是「軟」RTOS?
它可以取決於應用程序,並且必須有定時器,因此使用內置硬件定時器(例如Altera DE2具有50 Mhz振盪器)和硬件中斷是首選,然後我們只測試線程和進程是否可以根據截止日期安排,然後我們檢查截止日期是否滿足?
還是有什麼必須包括在操作系統,實時操作系統,以及硬和軟RTOS之間的區別?
是否有一些「典型測試」,對標籤「硬RTOS」的典型要求?
雖然它不回答你的問題,但值得研究:http://stackoverflow.com/questions/22241264/what-makes-a-kernel-os-real-time – brokenfoot