基于模型的設計：MCU篇

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