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