汽車電子、航空航天和醫(yī)療設備等安全關鍵應用系統(tǒng)以高度集成的實時嵌入式(RTE)系統(tǒng)為構造基礎。為了滿足此類應用的功能復雜性、時序可預測性和高可靠性等方面的嚴格要求，需要完整統(tǒng)一的系統(tǒng)設計、實現(xiàn)、驗證和分析方法。
實時嵌入式系統(tǒng)設計的論題非常廣泛，其核心科學基礎和方法涉及控制、計算機、軟件和電子等多個工程領域。本書從實時計算和設計自動化兩方面討論此類系統(tǒng)的系統(tǒng)級設計方法，主要涉及硬件架構、實時操作系統(tǒng)、實時任務調度與共享資源訪問控制、多處理器與分布式實時系統(tǒng)、實時嵌入式軟件設計(程序結構、編程模型、實時編程語言)、形式化方法(設計、建模、驗證)、建模語言與設計框架，以及常用的輔助設計工具等內容，涵蓋應用軟件、運行時環(huán)境和硬件系統(tǒng)結構等多個系統(tǒng)層次。書中綱要式地勾畫出基于構件化設計(CBD)和基于模型化設計(MBD)范式的系統(tǒng)設計方法的完整視圖和工程化開發(fā)過程的關鍵階段，并展現(xiàn)了學術界的**研究成果和工業(yè)界的應用現(xiàn)狀。
本書面向計算機專業(yè)研究生或高年級本科生，需要讀者具備計算機工程、軟件工程、控制工程、電子工程等相關領域的基礎知識。