書(shū)馨卡幫你省薪 2024個(gè)人購(gòu)書(shū)報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >>
嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證

嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證

出版社：北京航空航天大學(xué)出版社出版時(shí)間：2015-12-01
開(kāi)本： 16開(kāi) 頁(yè)數(shù)： 403
本類榜單：考試銷量榜
中 圖 價(jià):¥38.0(5.5折) 定價(jià)  ¥69.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書(shū)更多>

嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證 版權(quán)信息

嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證 本書(shū)特色

　　阿爾伯特陳*作的《嵌入式實(shí)時(shí)系統(tǒng)--調(diào)度分析和驗(yàn)證/嵌入式系統(tǒng)譯叢》面向嵌入式實(shí)時(shí)系統(tǒng)，較系統(tǒng)地論述基本的實(shí)時(shí)調(diào)度算法、調(diào)度性分析方法，說(shuō)明引入形式化方法的必要性，并為實(shí)時(shí)系統(tǒng)設(shè)計(jì)提供一個(gè)清晰的形式化方法基礎(chǔ)。其核心是面向?qū)崟r(shí)系統(tǒng)的形式化分析（forreal analysis）及驗(yàn)證。全書(shū)特別列舉了大量關(guān)于安全關(guān)鍵系統(tǒng)的工程實(shí)例，從簡(jiǎn)單系統(tǒng)（如溫度控制系統(tǒng)、面包機(jī)和電飯煲）到高度復(fù)雜系統(tǒng)（如飛機(jī)和航天飛機(jī)），通過(guò)將上述形式化方法成功應(yīng)用于這些工程項(xiàng)目，有助于加深讀者對(duì)嵌入式實(shí)時(shí)系統(tǒng)分析和驗(yàn)證方法的理解和運(yùn)用。 　　本書(shū)面向高等院校本科生和研究生，作為“嵌入式系統(tǒng)”、“實(shí)時(shí)系統(tǒng)”相關(guān)專業(yè)課程教材或教學(xué)參考書(shū)使用；也可面向業(yè)界從業(yè)者和研究人員，作為參考書(shū)使用。  

嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證 內(nèi)容簡(jiǎn)介

本書(shū)面向嵌入式實(shí)時(shí)系統(tǒng),較系統(tǒng)地論述基本的實(shí)時(shí)調(diào)度算法、調(diào)度性分析方法,說(shuō)明引入形式化方法的必要性,并為實(shí)時(shí)系統(tǒng)設(shè)計(jì)提供一個(gè)清晰的形式化方法基礎(chǔ).其核心是面向?qū)崟r(shí)系統(tǒng)的形式化分析(formalanalysis)及驗(yàn)證.全書(shū)特別列舉了大量關(guān)于安全關(guān)鍵系統(tǒng)的工程實(shí)例。

嵌入式實(shí)時(shí)系統(tǒng)-調(diào)度.分析和驗(yàn)證 目錄

第1章  簡(jiǎn)介  1.1  什么是時(shí)間  1.2  仿真  1.3  測(cè)試  1.4  驗(yàn)證  1.5  運(yùn)行時(shí)期監(jiān)測(cè)  1.6  相關(guān)資源第2章  非實(shí)時(shí)系統(tǒng)的分析與驗(yàn)證  2.1  符號(hào)邏輯    2.1.1  命題邏輯    2.1.2  謂詞邏輯  2.2  自動(dòng)機(jī)和語(yǔ)言    2.2.1  語(yǔ)言和表示    2.2.2   有限自動(dòng)機(jī)    2.2.3  非定時(shí)系統(tǒng)的規(guī)范指定和驗(yàn)證  2.3  歷史回顧和相關(guān)研究  2.4  總結(jié)  習(xí)題第3章  實(shí)時(shí)調(diào)度和調(diào)度性分析  3.1  確定計(jì)算時(shí)間  3.2  單處理器調(diào)度    3.2.1  獨(dú)立可搶占任務(wù)的調(diào)度    3.2.2  不可搶占任務(wù)的調(diào)度    3.2.3  帶前后次序約束的不可搶占任務(wù)    3.2.4  周期任務(wù)間的通信：確定的會(huì)合模型    3.2.5  帶臨界區(qū)域的周期任務(wù)：核心化監(jiān)測(cè)模型  3.3  多處理器調(diào)度    3.3.1  調(diào)度表示    3.3.2  單實(shí)例任務(wù)調(diào)度    3.3.3  周期任務(wù)調(diào)度  3.4  可用的調(diào)度工具    3.4.1  perts/rapid rma    3.4.2  performax    3.4.3  timewiz  3.5  可用的實(shí)時(shí)操作系統(tǒng)  3.6  歷史回顧和相關(guān)研究  3.7  總結(jié)  習(xí)題第4章  有限狀態(tài)系統(tǒng)的模型檢測(cè)  4.1  系統(tǒng)規(guī)范  4.2  clarke-emerson-sistla模型檢測(cè)器  4.3  ctl的擴(kuò)展  4.4  應(yīng)用  4.5  用c實(shí)現(xiàn)的完整的ctl模型檢測(cè)器程序  4.6 符號(hào)化模型檢測(cè)    4.6.1  二元決策圖bdds    4.6.2  符號(hào)模型檢測(cè)器  4.7  實(shí)時(shí)ctl    4.7.1  *小和*大延遲    4.7.2  條件發(fā)生的*小和*大數(shù)量    4.7.3  非單位轉(zhuǎn)移時(shí)間  4.8  可用的工具  4.9  歷史回顧和相關(guān)研究  4.10  總結(jié)  習(xí)題第5章  可視形式化、狀態(tài)圖和statemate  5.1  狀態(tài)圖    5.1.1  狀態(tài)圖的基本功能    5.1.2  語(yǔ)義  5.2  活動(dòng)圖……第6章  實(shí)時(shí)邏輯、圖論分析與模式圖第7章  利用飾件自動(dòng)機(jī)進(jìn)行驗(yàn)證第8章  時(shí)間相關(guān)的petri網(wǎng)第9章  進(jìn)程代數(shù)第10章  基于命題邏輯規(guī)則系統(tǒng)的設(shè)計(jì)與分析第11章  基于謂詞邏輯規(guī)則系統(tǒng)的時(shí)序分析第12章  基于規(guī)則系統(tǒng)的優(yōu)化參考文獻(xiàn)
展開(kāi)全部
暫無(wú)評(píng)論……
書(shū)友推薦
返回頂部
中圖網(wǎng)
在線客服