●第1章簡介
●1.1什麼是時間
●1.2仿真
●1.3測試
●1.4驗證
●1.5運行時期監測
●1.6相關資源
●第2章非實時繫統的分析與驗證
●2.1符號邏輯
●2.1.1命題邏輯
●2.1.2謂詞邏輯
●2.2自動機和語言
●2.2.1語言和表示
●2.2.2有限自動機
●2.2.3非定時繫統的規範指定和驗證
●2.3歷史回顧和相關研究
●2.4總結
●習題
●第3章實時調度和調度性分析
●3.1確定計算時間
●部分目錄

阿爾伯特陳著作的《嵌入式實時繫統--調度分析和驗證/嵌入式繫統譯叢》面向嵌入式實時繫統，較繫統地論述基本的實時調度算法、調度性分析方法，說明引入形式化方法的必要性，並為實時繫統設計提供一個清晰的形式化方法基礎。其核心是面向實時繫統的形式化分析（forrealanalysis）及驗證。全書特別列舉了大量關於安全關鍵繫統的工程實例，從簡單繫統（如溫度控制繫統、面包機和電飯煲）到高度復雜繫統（如飛機和航天飛機），通過將上述形式化方法成功應用於這些工程項目，有助於加深讀者對嵌入式實時繫統分析和驗證方法的理解和運用。
本書面向高等院校本科生和研究生，作為“嵌入式繫統”、“實時繫統”相關專業課程教材或教學參考書使用；也可面向業界從業者和研究人員，作為參考書使用。

(美)阿爾伯特陳(Albert M.K.cheng) 著；周強,李峭,楊昕欣 譯