《分布式實時系統(tǒng)》分析了這類系統(tǒng)的負載、故障和模型,以及必須滿足的時間規(guī)范,從集成的角度,講述了分布式實時應用所包含的實時、分布、容錯、調度和架構等方面的理論和技術基礎,描述了系統(tǒng)設計、實現(xiàn)和驗證的一般方法,致力于解釋其解決方案與最新科學見解之間的關系。全書共分9章,第1~3章作為入門,主要介紹實時環(huán)境、實時實體、實時映像、任務、節(jié)點、簇、容錯單元、全局時間同步和架構等基本概念;第4~5兩章給出了分布式實時系統(tǒng)一個概念性模型及其時間行為,介紹了學術界在時間準確性、安定度、冪等性、復制確定性等方面的重要見解;第6~8章利用失效、錯誤、故障、和復制等概念,研究安全關鍵性系統(tǒng)的容錯單元構造方法,從最小抖動、可組性和復制確定性角度,探討時間觸發(fā)協(xié)議、任務調度算法、實時操作系統(tǒng)和實時通信。