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