基于模型的設(shè)計(jì)：MCU篇

定　價(jià)：￥69.00

作　者：	劉杰等著
出版社：	北京航空航天大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	計(jì)算機(jī)體系結(jié)構(gòu)

購買這本書可以去

ISBN：	9787512403154	出版時(shí)間：	2011-01-01	包裝：	平裝
開本：	16開	頁數(shù)：	502	字?jǐn)?shù)：

內(nèi)容簡介

　　《基于模型的設(shè)計(jì)：MCU篇》以基于模型的設(shè)計(jì)在MCU中的應(yīng)用為主線，分三部分介紹全書。第一部分，深入剖析了Stateflow的建模與應(yīng)用，以及Simulink建模與調(diào)試；介紹了新版MATLAB的特色功能與R2010b版中Embedded MA丁I．AB的編程規(guī)范和新的編程與調(diào)試模式；最后著重討論了用戶驅(qū)動(dòng)模塊的創(chuàng)建過程與應(yīng)用實(shí)例等．第二部分，演示了簡化的基于模型設(shè)計(jì)，即基于模型的8051、英飛凌C166、Microehip dsPIC、ARM等MCU中的快速開發(fā)，并在Proteus中進(jìn)行虛擬硬件測(cè)試，使讀者直觀地感受到在可視化的開發(fā)環(huán)境中，從算法驗(yàn)證到嵌入式C代碼自動(dòng)生成一步到位的方便與高效。第三部分，以直流電動(dòng)機(jī)的PID控制模型為例，介紹了滿足DO一178b航空電子規(guī)范的完整基于模型設(shè)計(jì)在ARM上的實(shí)現(xiàn)。其流程包括可執(zhí)行、可跟蹤的需求分析／技術(shù)規(guī)范、Model Ad—vior測(cè)試、系統(tǒng)測(cè)試、設(shè)計(jì)測(cè)試、浮點(diǎn)模型到定點(diǎn)模型的自動(dòng)轉(zhuǎn)換與定標(biāo)、為特定芯片生成嵌入式C代碼、軟件／硬件在環(huán)測(cè)試、嵌入式實(shí)時(shí)C代碼的自動(dòng)生成，最后是手工底層驅(qū)動(dòng)代碼與自動(dòng)代碼的整合等，這部分是《基于模型的設(shè)計(jì)：MCU篇》的總結(jié)與核心?！痘谀Ｐ偷脑O(shè)計(jì)：MCU篇》可作為航天軍工、汽車電子、通信與信息處理，電力等行業(yè)的工程師從事MCU開發(fā)時(shí)的技術(shù)手冊(cè)，也可作為高校電類專業(yè)的MCU開發(fā)或基于模型設(shè)計(jì)的教材，同時(shí)也是Simulink／Sateflow高級(jí)建模與驗(yàn)證的參考書，另外也為廣大高校學(xué)生（本、碩、博）做畢業(yè)設(shè)計(jì)提供了一種高效、快捷的軟件實(shí)現(xiàn)方法。

作者簡介

　　劉杰，畢業(yè)于浙江大學(xué)信電系通信工程專業(yè)，獲工學(xué)博士學(xué)位，現(xiàn)為碩士生導(dǎo)師，兼職教授。長期從事嵌入式器件的研究與開發(fā)，特別是近3～4年，夜以繼日地潛心鉆研基于模型的設(shè)計(jì)，這項(xiàng)最近幾年才在全球掀起的新技術(shù)。致力于宣傳、推廣基于模型的設(shè)計(jì)在我國的應(yīng)用和普及，已經(jīng)出版了國內(nèi)第一部基于模型設(shè)計(jì)的專著《基于模型的設(shè)計(jì)及其嵌入式實(shí)現(xiàn)》。

圖書目錄

第1章 MATLAB編程基礎(chǔ)
1.1 MATLAB R2010a與2010b的若干更新
1.1.1 壓縮文件
1.1.2 目錄瀏覽器
1.1.3 文件夾及文件比較
1.1.4 登錄MATLAB文件交換服務(wù)器
1.2 M文件的編寫
1.2.1 M文件結(jié)構(gòu)
1.2.2 M腳本文件
1.2.3 快捷方式
1.2.4 M函數(shù)
1.2.5 匿名函數(shù)
1.2.6 函數(shù)提示
1.3 M文件的調(diào)試
1.3.1 M-Lint
1.3.2 使用cells加快調(diào)試
1.4 M文件的發(fā)布
1.5 Embedded MATLAB
1.5.1 Embedded MATLAB的主要功能特點(diǎn)
1.5.2 Embedded MATLAB的編程規(guī)范
1.5.3 C編譯器的設(shè)置
1.5.4 Embedded MATLAB編程實(shí)例
第2章 Simulink建模與調(diào)試
2.1 Simulink基本操作
2.1.1 模塊庫和編輯窗口
2.1.2 Simulink模塊庫
2.1.3 模塊的基本操作
2.2 搭建直流電動(dòng)機(jī)模型
2.2.1 數(shù)學(xué)模型分析
2.2.2 模型搭建與參數(shù)設(shè)置
2.2.3 子系統(tǒng)與庫
2.2.4 添加模塊到庫瀏覽器及知識(shí)產(chǎn)權(quán)保護(hù)
2.2.5 數(shù)據(jù)格式與輸入／輸出
2.2.6 PID控制
2.3 Simulink模型調(diào)試
2.3.1 圖形界面調(diào)試
2.3.2 命令行調(diào)試
2.3.3 運(yùn)行調(diào)試器
2.3.4 斷點(diǎn)設(shè)置
2.3.5 顯示模型和仿真信息
第3章 Stateflow建模與應(yīng)用
3.1 Stateflow基本概念
3.1.1 狀態(tài)圖編輯器
3.1.2 狀態(tài)
3.1.3 遷移
3.1.4 數(shù)據(jù)與事件
3.1.5 對(duì)象的命名規(guī)則
3.2 Stateflow狀態(tài)圖
3.2.1 狀態(tài)
3.2.2 遷移
3.2.3 計(jì)時(shí)器狀態(tài)圖
3.2.4 數(shù)據(jù)與事件
3.2.5 動(dòng)作
3.2.6 自動(dòng)創(chuàng)建對(duì)象
3.3 Stateflow流程圖
3.3.1 流程圖與節(jié)點(diǎn)
3.3.2 建立流程圖
3.4 層次結(jié)構(gòu)
3.4.1 層次的概念
3.4.2 遷移的層次
3.4.3 歷史節(jié)點(diǎn)
3.4.4 子狀態(tài)圖
3.4.5 層次狀態(tài)圖中的流程圖
3.5 并行機(jī)制
3.5.1 設(shè)置狀態(tài)關(guān)系
3.5.2 并行狀態(tài)活動(dòng)順序配置
3.5.3 本地事件廣播
3.5.4 直接事件廣播
3.5.5 隱含事件和條件
3.6 stateflow其他對(duì)象
3.6.1 真值表（Truth table）
3.6.2 圖形函數(shù)（Graphical function）
3.6.3 Embedded MATLAB
3.6.4 圖形盒（Box）
3.6.5 Simulink函數(shù)調(diào)用
3.6.6 目標(biāo)
3.7 綜合應(yīng)用
3.7.1 計(jì)時(shí)器
3.7.2 交通燈
第4章設(shè)備驅(qū)動(dòng)模塊的編寫
4.1 創(chuàng)建S函數(shù)模塊的示例
4.1 I1手工編寫Wrapper S函數(shù)
4.1.2 代碼繼承工具（Legacy Code T001）
4.1.3 S-Function Builder
4.1.4 三種方法的比較
4.2 S函數(shù)
4.2.1 S函數(shù)工作機(jī)制
4.2.2 C MEX S函數(shù)模板
4.2.3 其他回調(diào)方法
4.2.4 宏函數(shù)
4.2.5 數(shù)據(jù)訪問
4.2.6 目標(biāo)語言編譯器
4.3 S-Function Builder
4.3.1 S-Function Builder簡介
4.3.2 初始化界面（initialization）
4.3.4 數(shù)據(jù)屬性界面（Data Properties）
4.3.5 庫文件界面（Libraries）
4.3.6 輸出界面（Outputs）
4.3.7 連續(xù)狀態(tài)求導(dǎo)（Continuous Derivatives）
4.3.8 離散狀態(tài)更新（Discrete Update）
4.3.9 編譯信息（Build Info）
4.4 創(chuàng)建設(shè)備驅(qū)動(dòng)實(shí)例
4.4.1 HCl2模數(shù)轉(zhuǎn)換模塊
4.4.2 DASl600數(shù)據(jù)輸入模塊
4.4.3 S-Function Builder
第5章 8051單片機(jī)代碼的快速生成
5.1 仿真軟件Proteus快速人門
5.1.1 Proteus簡介
5.1.2 快速繪制原理圖
5.1.3 PCB制板
5.2 KeilC51集成開發(fā)環(huán)境（IDE）
5.2.1 預(yù)備知識(shí)
5.2.2 RTW-EC快速代碼生成
5.2.3 脈寬調(diào)制
5.2.4 流水燈
5.3 TASKING嵌入式開發(fā)環(huán)境（EDE）
5.3.1 預(yù)備知識(shí)
5.3.2 直流電機(jī)控制
5.3.3 算術(shù)乘法
5.3.4 流水燈
第6章 C166代碼的快速生成
6.1 英飛凌C166模塊庫簡介
6.2 TASKING EDE for C166
6.2.1 電動(dòng)機(jī)控制模型
6.2.2 設(shè)置IDE與模型參數(shù)
6.2.3 處理器在環(huán)測(cè)試（PIL）
6.2.4 代碼的自動(dòng)生成
第7章基于Simulink模塊的dsPIC單片機(jī)開發(fā)
7.1 MPLAB嵌入式開發(fā)環(huán)境及工具
7.1.1 軟件的下載和安裝
7.1.2 利用MPLAB IDE及Proteus VSM進(jìn)行虛擬硬件調(diào)試
7.1.3 dsPIC外圍驅(qū)動(dòng)模塊簡介
7.2 dsPIC外圍驅(qū)動(dòng)模塊應(yīng)用
7.2.1 數(shù)模轉(zhuǎn)換實(shí)驗(yàn)
7.2.2 閃爍燈
7.2.3 調(diào)用現(xiàn)有C函數(shù)
7.3 無對(duì)應(yīng)模塊時(shí)的應(yīng)用
7.3.1 創(chuàng)建功能驗(yàn)證模型
7.3.2 自動(dòng)代碼生成
7.3.3 虛擬硬件測(cè)試
第8章 ARM代碼的快速生成
8.1 ARM簡介
8.2 蜂鳴器
8.2.1 蜂鳴器發(fā)聲模型
8.2.2 蜂鳴器功能驗(yàn)證模型
8.2.3 軟件在環(huán)測(cè)試
8.2.4 自動(dòng)代碼生成
8.2.5 虛擬硬件測(cè)試
8.3 交通燈控制
8.3.1 軟件在環(huán)測(cè)試
8.3.2 自動(dòng)代碼生成及編譯
8.3.3 虛擬硬件測(cè)試
8.4 步進(jìn)電動(dòng)機(jī)控制
8.4.1 步進(jìn)電動(dòng)機(jī)原理簡介
8.4.2 步進(jìn)電動(dòng)機(jī)控制模型
8.4.3 步進(jìn)電動(dòng)機(jī)的功能驗(yàn)證模型
8.4.4 軟件在環(huán)測(cè)試
8.4.5 自動(dòng)代碼生成
8.4.6 虛擬硬件測(cè)試
8.5 無刷電動(dòng)機(jī)的控制
8.5.1 無刷電動(dòng)機(jī)原理簡介
8.5.2 TASKING IDE FOR ARM
8.5.3 無刷電動(dòng)機(jī)控制模型
8.5.4 無刷電動(dòng)機(jī)功能驗(yàn)證模型
8.5.5 軟件在環(huán)測(cè)試
8.5.6 編寫驅(qū)動(dòng)代碼
8.5.7 自動(dòng)代碼生成
8.5.8 代碼效率比較
8.5.9 虛擬硬件測(cè)試
第9章基于模型的設(shè)計(jì)
9.1 傳統(tǒng)設(shè)計(jì)的弊端
9.2 基于模型設(shè)計(jì)的優(yōu)勢(shì)
9.3 基于模型設(shè)計(jì)的流程
9.3.1 建立需求文檔
9.3.2 建立可執(zhí)行的技術(shù)規(guī)范
9.3.3 浮點(diǎn)模型
9.3.4 需求與模型間的雙向跟蹤
9.3.5 Model Advisor檢查
9.3.6 模型驗(yàn)證
9.3.7 定點(diǎn)模型
9.3.8 軟件在環(huán)測(cè)試（SIL）
9.3.9 處理器在環(huán)測(cè)試（PIL）
9.3.10 代碼與模型間的雙向跟蹤
9.3.11 代碼優(yōu)化
9.3.12 生成產(chǎn)品級(jí)代碼
9.4 需求分析及跟蹤
9.4.1 系統(tǒng)模型
9.4.2 需求關(guān)聯(lián)
9.4.3 一致性檢查
9.5 模型檢查及驗(yàn)證
9.5.1 System Test
9.5.2 Design Verifier
9.5.3 Model Advisor檢查
9.6 定點(diǎn)模型
9.6.1 Fixed Point Advisoi
9.6.2 Fixed Point Tools
9.7 軟件在環(huán)測(cè)試
9.8 代碼跟蹤
9.9 代碼優(yōu)化及代碼生成
9.9.1 子系統(tǒng)原子化
9.9.2 確定芯片類型
9.9.3 代碼檢查
9.9.4 代碼生成
9.10 虛擬硬件測(cè)試
附錄Embedded MATLAB支持的各函數(shù)
參考文獻(xiàn)