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