掃一掃
關注中圖網
官方微博
嵌入式實時系統-調度.分析和驗證 版權信息
- ISBN：9787512418714
- 條形碼：9787512418714 ; 978-7-5124-1871-4
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
嵌入式實時系統-調度.分析和驗證 本書特色
阿爾伯特陳*作的《嵌入式實時系統--調度分析和驗證/嵌入式系統譯叢》面向嵌入式實時系統，較系統地論述基本的實時調度算法、調度性分析方法，說明引入形式化方法的必要性，并為實時系統設計提供一個清晰的形式化方法基礎。其核心是面向實時系統的形式化分析（forreal analysis）及驗證。全書特別列舉了大量關于安全關鍵系統的工程實例，從簡單系統（如溫度控制系統、面包機和電飯煲）到高度復雜系統（如飛機和航天飛機），通過將上述形式化方法成功應用于這些工程項目，有助于加深讀者對嵌入式實時系統分析和驗證方法的理解和運用。 本書面向高等院校本科生和研究生，作為“嵌入式系統”、“實時系統”相關專業課程教材或教學參考書使用；也可面向業界從業者和研究人員，作為參考書使用。
嵌入式實時系統-調度.分析和驗證 內容簡介
本書面向嵌入式實時系統,較系統地論述基本的實時調度算法、調度性分析方法,說明引入形式化方法的必要性,并為實時系統設計提供一個清晰的形式化方法基礎.其核心是面向實時系統的形式化分析(formalanalysis)及驗證.全書特別列舉了大量關于安全關鍵系統的工程實例。
嵌入式實時系統-調度.分析和驗證 目錄
第1章 簡介 1.1 什么是時間 1.2 仿真 1.3 測試 1.4 驗證 1.5 運行時期監測 1.6 相關資源第2章 非實時系統的分析與驗證 2.1 符號邏輯 2.1.1 命題邏輯 2.1.2 謂詞邏輯 2.2 自動機和語言 2.2.1 語言和表示 2.2.2 有限自動機 2.2.3 非定時系統的規范指定和驗證 2.3 歷史回顧和相關研究 2.4 總結 習題第3章 實時調度和調度性分析 3.1 確定計算時間 3.2 單處理器調度 3.2.1 獨立可搶占任務的調度 3.2.2 不可搶占任務的調度 3.2.3 帶前后次序約束的不可搶占任務 3.2.4 周期任務間的通信：確定的會合模型 3.2.5 帶臨界區域的周期任務：核心化監測模型 3.3 多處理器調度 3.3.1 調度表示 3.3.2 單實例任務調度 3.3.3 周期任務調度 3.4 可用的調度工具 3.4.1 perts/rapid rma 3.4.2 performax 3.4.3 timewiz 3.5 可用的實時操作系統 3.6 歷史回顧和相關研究 3.7 總結 習題第4章 有限狀態系統的模型檢測 4.1 系統規范 4.2 clarke-emerson-sistla模型檢測器 4.3 ctl的擴展 4.4 應用 4.5 用c實現的完整的ctl模型檢測器程序 4.6 符號化模型檢測 4.6.1 二元決策圖bdds 4.6.2 符號模型檢測器 4.7 實時ctl 4.7.1 *小和*大延遲 4.7.2 條件發生的*小和*大數量 4.7.3 非單位轉移時間 4.8 可用的工具 4.9 歷史回顧和相關研究 4.10 總結 習題第5章 可視形式化、狀態圖和statemate 5.1 狀態圖 5.1.1 狀態圖的基本功能 5.1.2 語義 5.2 活動圖……第6章 實時邏輯、圖論分析與模式圖第7章 利用飾件自動機進行驗證第8章 時間相關的petri網第9章 進程代數第10章 基于命題邏輯規則系統的設計與分析第11章 基于謂詞邏輯規則系統的時序分析第12章 基于規則系統的優化參考文獻
展開全部
書友推薦
- >
月亮虎
- >
小考拉的故事-套裝共3冊
- >
伊索寓言-世界文學名著典藏-全譯本
- >
有舍有得是人生
- >
我與地壇
- >
二體千字文
- >
山海經
- >
大紅狗在馬戲團-大紅狗克里弗-助人
本類暢銷
