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