基于模型的設(shè)計(jì)及其嵌入式實(shí)現(xiàn)

第1章 MATLAB基礎(chǔ)
　1.1 MATLAB發(fā)環(huán)境新功能
　　1.1.1 函數(shù)瀏覽器
　　1.1.2 函數(shù)提示
　　1.1.3 目錄瀏覽器
　　1.1.4 文件交換服務(wù)
　1.2 M文件
　　1.2.1 M文件結(jié)構(gòu)
　　1.2.2 清理程序
　　1.2.3 創(chuàng)建M文件
　　1.2.4 M腳本文件
　　1.2.5 M函數(shù)
　　1.2.6 匿名函數(shù)
　1.3 加快M文件的編寫——M-Lint
　　1.3.1 什么是M-Lint
　　1.3.2 M-Lint使用方法
　　1.3.3 M-Lint實(shí)時(shí)代碼檢查
　1.4 加快M文件的調(diào)試——cell
　　1.4.1 什么是cell
　　1.4.2 cell的定義與刪除
　　1.4.3 使用eell調(diào)試模式
　　1.4.4 應(yīng)用
　1.5 數(shù)據(jù)存取
　　1.5.1 生成MAT文件
　　1.5.2 加載MAT文件
　　1.5.3 讀取音視頻文件
　1.6 代碼效率分析
　1.7 Embedded MATLAB
　　1.7.1 Embedded MATLAB的主要功能特點(diǎn)
　　1.7.2 Embedded MATLAB的編程規(guī)范
　　1.7.3 Embedded MATLAB的常用命令
　　1.7.4 C編譯器的設(shè)置
　　1.7.5 應(yīng)用實(shí)例
第2章 Simulink建模與驗(yàn)證
　2.1 Simulink基本操作
　　2.1.1 啟動(dòng)Simulink
　　2.1.2 Simulink模塊庫簡介
　　2.1.3 模塊操作
　2.2 信號(hào)采樣誤差
　　2.2.1 信號(hào)源
　　2.2.2 MATLAB工作空問
　　2.2.3 用戶自定義函數(shù)
　　2.2.4 非線性系統(tǒng)
　　2.2.5 離散模塊
　　2.2.6 采樣誤差
　　2.2.7 建立子系統(tǒng)
　　2.2.8 封裝子系統(tǒng)
　　2.2.9 數(shù)據(jù)類型匹配
　　2.2.10 模型信息
　　2.2.11 模型元件化
　　2.2.12 自定義模塊庫
　2.3 音頻信號(hào)處理
　　2.3.1 仿真環(huán)境
　　2.3.2 基于采樣的模型
　　2.3.3 幀結(jié)構(gòu)
　　2.3.4 基于幀結(jié)構(gòu)的模型
　　2.3.5 信號(hào)緩沖器
　　2.3.6 低通濾波
　2.4 視頻監(jiān)控
　　2.4.1 原理
　　2.4.2 SAD子系統(tǒng)
　　2.4.3 閾值比較
　　2.4.4 視頻記錄子系統(tǒng)
　　2.4.5 源視頻幀計(jì)數(shù)及顯示
　　2.4.6 數(shù)據(jù)讀取與顯示
　　2.5.7 實(shí)驗(yàn)結(jié)果
　2.5 模型調(diào)試
　　2.5.1 圖形調(diào)試模式
　　2.5.2 命令行調(diào)試模式
　　2.5.3 調(diào)試過程
　　2.5.4 斷點(diǎn)設(shè)置
　　2.5.5 顯示仿真及模型信息
　2.6 模型檢查與驗(yàn)證
　　2.6.1 使用Model Advisor檢查模型
　　2.6.2 建立測(cè)試用例
　　2.6.3 模型覆蓋度分析
　　2.6.4 模型效率分析
第3章 Stateflow原理與建模
　3.1 stateflow概述
　　3.1.1 狀態(tài)
　　3.1.2 遷移
　　3.1.3 事件
　　3.1.4 數(shù)據(jù)對(duì)象
　　3.1.5 條件與動(dòng)作
　　3.1.6 連接節(jié)點(diǎn)
　3.2 流程圖
　　3.2.1 手動(dòng)建立流程圖
　　3.2.2 快速建立流程圖
　　3.2.3 車速控制
　3.3 狀態(tài)圖的層次
　　3.3.1 歷史節(jié)點(diǎn)
　　3.3.2 遷移的層次性
　　3.3.3 內(nèi)部遷移
　3.4 并行機(jī)制
　　3.4.1 廣播
　　3.4.2 隱含事件
　　3.4.3 時(shí)間邏輯事件
　3.5 其他的圖形對(duì)象
　　3.5.1 真值表
　　3.5.2 圖形盒
　　3.5.3 圖形函數(shù)
　3.6 Embedded MATLAB函數(shù)
　　3.6.1 建立調(diào)用Embedded MATLAB函數(shù)的Simulink模型
　　3.6.2 編寫Embedded MATLAB函數(shù)
　　3.6.3 調(diào)試
　3.7 Simulink函數(shù)
　　3.7.1 Simulink函數(shù)的使用
　　3.7.2 使用Simulink函數(shù)需遵循的規(guī)則
　3.8 集成自定義代碼
　3.9 Stateflow建模實(shí)例
　　3.9.1 嵌入Simulink
　　3.9.2 模擬各種操作模式的狀態(tài)
　　3.9.3 狀態(tài)行為與變量
　　3.9.4 狀態(tài)問的遷移
　　3.9.5 如何觸發(fā)圖表
　　3.9.6 仿真
　　3.9.7 調(diào)試
第4章 用戶驅(qū)動(dòng)模塊的創(chuàng)建
　4.1 什么是S-Funetion
　　4.1.1 S-Funetion的工作機(jī)制
　　4.1.2 S-Furtion的幾個(gè)重要概念
　　4.1.3 編寫C MEX S-nlnction
　　4.1.4 Simulink引擎與C S-Fllrletion的相互作用
　　4.1.5 TLC文件
　　4.1.6 LEVEL-2 M文件S-Fnction介紹
　　4.1.7 調(diào)用仿真模型外部的C代碼和生成代碼
　4.2 S-Funetion Builder
　　4.2.1 S-Function名及參數(shù)名選項(xiàng)卡
　　4.2.2 初始化選項(xiàng)卡
　　4.2.3 數(shù)據(jù)屬性面板
　　4.2.4 庫文件選項(xiàng)卡
　　4.2.5 輸出代碼選項(xiàng)卡
　　4.2.6 連續(xù)狀態(tài)求導(dǎo)
　　4.2.7 離散狀態(tài)更新
　　4.2.8 編譯信息
　　4.2.9 應(yīng)用
　4.3 Embedded MATLAB函數(shù)模塊
　　4.3.1 Embedded MATLAB函數(shù)模塊的生成方法
　　4.3.2 集成用戶自定義的C代碼
　4.4 實(shí)例
　　4.4.1 IIR濾波器
　　4.4.2 圖像的相似度
　　4.4.3 S-Function的參數(shù)設(shè)置與封裝
　　4.4.4 讀取數(shù)據(jù)文件
第5章 嵌入式代碼的快速生成
　5.1 CCS介紹
　　5.1.1 反匯編窗口
　　5.1.2 鏈接命令文件
　　5.1.3 探針的設(shè)置
　　5.1.4 CCS的使用
　5.2 利用RTW-EC生成DSP目標(biāo)代碼
　　5.2.1 RTW自動(dòng)生成代碼的過程
　　5.2.2 TI DSP原裝板的實(shí)時(shí)代碼生成
　　5.2.3 代碼驗(yàn)證
　　5.2.4 代碼實(shí)時(shí)運(yùn)行剖析
　　5.2.5 堆棧分析
　　5.2.6 TI C6416 DSK目標(biāo)板的應(yīng)用實(shí)例
　　5.2.7 用戶自定義目標(biāo)板的應(yīng)用
　　5.2.8 其他目標(biāo)板的應(yīng)用
　5.3 MATLAB與CCS的交互式開發(fā)
　　5.3.1 選定目標(biāo)板
　　5.3.2 創(chuàng)建ticcs對(duì)象
　　5.3.3 加載程序
　　5.3.4 配置RTDX通道
　　5.3.5 對(duì)RTDX鏈接對(duì)象進(jìn)行操作
　　5.3.6 關(guān)閉鏈接并清除RTDX通道
　5.4 應(yīng)用實(shí)例
　　5.4.1 視頻數(shù)據(jù)格式的轉(zhuǎn)換(基于2009a版本)
　　5.4.2 數(shù)字濾波器的傳統(tǒng)設(shè)計(jì)方法與基于模型設(shè)計(jì)的比較
第6章 基于模型的設(shè)計(jì)
　6.1 傳統(tǒng)方法與基于模型設(shè)計(jì)過程的對(duì)比
　6.2 DO-178B標(biāo)準(zhǔn)簡介
　　6.2.1 什么是DO-178B標(biāo)準(zhǔn)
　　6.2.2 Do-178B標(biāo)準(zhǔn)驗(yàn)證要求
　　6.2.3 Do-178B軟件生命周期
　6.3 基于模型設(shè)計(jì)的工作流程
　　6.3.1 建立需求文檔
　　6.3.2 建立可執(zhí)行的技術(shù)規(guī)范
　　6.3.3 浮點(diǎn)模型
　　6.3.4 需求與模型間的雙向跟蹤
　　6.3.5 模型助手檢查
　　6.3.6 模型驗(yàn)證
　　6.3.7 定點(diǎn)模型
　　6.3.8 軟件在環(huán)測(cè)試
　　6.3.9 處理器在環(huán)測(cè)試
　　6.3.10 代碼與模型間的雙向跟蹤
　　6.3.11 代碼優(yōu)化
　　6.3.12 代碼有效性檢查
　　6.3.13 代碼效率剖析
　　6.3.14 內(nèi)存用量檢查
　　6.3.15 硬件在環(huán)測(cè)試
　　6.3.16 生成產(chǎn)品級(jí)代碼
　6.4 需求分析及跟蹤
　　6.4.1 根據(jù)需求建立系統(tǒng)模型
　　6.4.2 建立需求與模塊問的關(guān)聯(lián)
　　6.4.3 一致性檢查
　6.5 模型檢查及驗(yàn)證
　　6.5.1 Model Advisol檢查
　　6.5.2 System Test
　　6.5.3 Design Verifiel
　6.6 浮點(diǎn)轉(zhuǎn)定點(diǎn)模型
　6.7 軟件在環(huán)測(cè)試
　6.8 處理器在環(huán)測(cè)試
　6.9 代碼跟蹤
　6.10 硬件模型
　　6.10.1 建立硬件模型
　　6.10.2 模塊設(shè)置
　6.11 代碼優(yōu)化及代碼生成
　　6.11.1 子系統(tǒng)原子化
　　6.11.2 優(yōu)化模塊庫
　　6.11.3 指定芯片
　　6.11.4 代碼檢查
　　6.11.5 IDE環(huán)境下的代碼優(yōu)化
　　6.11.6 工程選項(xiàng)及代碼生成
　6.12 代碼有效性檢查
　6.13 硬件測(cè)試
　　6.13.1 建立PC端模型
　　6.13.2 模塊參數(shù)設(shè)置
　　6.13.3 硬件測(cè)試步驟
　　6.13.4 代碼效率剖析
　　6.13.5 內(nèi)存使用分析
　6.14 邊緣檢測(cè)
　　6.14.1 邊緣檢測(cè)原理
　　6.14.2 基于模型設(shè)計(jì)的算法實(shí)現(xiàn)
附錄 Embedded MATLAB支持的各函數(shù)
參考文獻(xiàn)