分佈式實時系統原理與設計方法(原書第2版)

實時系統的行為確定性是個艱深的主題，需要對系統全局特性有深入的理解。準確和完整理解這個特性的主要困難在於系統的時域行為，需要在各個抽象層次上開展分析和設計，而這一直是經典的實時系統著作有所欠缺的地方。本書從體系結構層面介紹了分佈式實時系統的設計，主要內容包括實時系統環境、簡潔性、全局時間、實時模型、時間關系、依賴性、實時通信、能量、實時操作系統、實時調度、系統設計、驗證性、物聯網以及實時觸發體系結構方面的內容。