商品簡介
《基於模型的設計及其嵌入式實現》以基於模型的設計為主線，講述了M代碼和Embedded MATLAB代碼的快速編寫與調試、浮點Simulillk／Stateflow模型的建立、調試與驗證以及用戶驅動模塊的創建；詳細介紹了基於模型設計的全過程，主要包括：需求的驗證與跟蹤、模型的系統測試與設計驗證、浮點到定點模型的轉換、模型嵌入式C代碼的自動生成以及軟件／處理器／硬件在環測試。整個過程滿足DO-178B航空電子規範，可顯著提高工作效率、降低開發成本，并且增加了代碼的安全性與魯棒性，避免了產品開發的潛在市場風險。《基於模型的設計及其嵌入式實現》可作為汽車電子、航天軍工、通信與電子信息、電力等領域的工程師從事嵌入式系統開發的技術手冊，也可作為高校電子類專業嵌入式系統開發與基於模型設計的教材，另外也是一本MATLAB高級建模與模型驗證的參考書。
目次
第1章 MATLAB基礎
1.1 MATLAB發環境新功能
1.1.1 函數瀏覽器
1.1.2 函數提示
1.1.3 目錄瀏覽器
1.1.4 文件交換服務
1.2 M文件
1.2.1 M文件結構
1.2.2 清理程序
1.2.3 創建M文件
1.2.4 M腳本文件
1.2.5 M函數
1.2.6 匿名函數
1.3 加快M文件的編寫——M-Lint
1.3.1 什麼是M-Lint
1.3.2 M-Lint使用方法
1.3.3 M-Lint實時代碼檢查
1.4 加快M文件的調試——cell
1.4.1 什麼是eell
1.4.2 cell的定義與刪除
1.4.3 使用eell調試模式
1.4.4 應用
1.5 數據存取
1.5.1 生成MAT文件
1.5.2 加載MAT文件
1.5.3 讀取音視頻文件
1.6 代碼效率分析
1.7 Embedded MATLAB
1.7.1 Embedded MATLAB的主要功能特點
1.7.2 Embedded MATLAB的編程規範
1.7.3 Embedded MATLAB的常用命令
1.7.4 C編譯器的設置
1.7.5 應用實例
第2章 Simulink建模與驗證
2.1 Simulink基本操作
2.1.1 啟動Simulink
2.1.2 Simulink模塊庫簡介
2.1.3 模塊操作
2.2 信號采樣誤差
2.2.1 信號源
2.2.2 MATLAB工作空間
2.2.3 用戶自定義函數
2.2.4 非線性系統
2.2.5 離散模塊
2.2.6 采樣誤差
2.2.7 建立于系統
2.2.8 封裝子系統
2.2.9 數據類型匹配
2.2.10 模型信息
2.2.11 模型元件化
2.2.12 自定義模塊庫
2.3 音頻信號處理
2.3.1 仿真環境
2.3.2 基於采樣的模型
2.3.3 幀結構
2.3.4 基於幀結構的模型
2.3.5 信號緩沖器
2.3.6 低通濾波
2.4 視頻監控
2.4.1 原理
2.4.2 SAD子系統
2.4.3 閾值比較
2.4.4 視頻記錄子系統
2.4.5 源視頻幀計數及顯示
2.4.6 數據讀取與顯示
2.5.7 實驗結果
2.5 模型調試
2.5.1 圖形調試模式
2.5.2 命令行調試模式
2.5.3 調試過程
2.5.4 斷點設置
2.5.5 顯示仿真及模型信息
2.6 模型檢查與驗證
2.6.1 使用ModelAdvisor檢查模型
2.6.2 建立測試用例；
2.6.3 模型覆蓋度分析
2.6.4 模型效率分析
第3章 Stateflow原理與建模
3.1 Stateflow概述
3.1.1 狀態
3.1.2 遷移
3.1.3 事件
3.1.4 數據對象
3.1.5 條件與動作
3.1.6 連接節點
3.2 流程圖
3.2.1 手動建立流程圖
3.2.2 快速建立流程圖
3.2.3 車速控制
3.3 狀態圖的層次
3.3.1 歷史節點
3.3.2 遷移的層次性
3.3.3 內部遷移
3.4 並行機制
3.4.1 廣播
3.4.2 隱含事件
3.4.3 時間邏輯事件
3.5 其他的圖形對象
3.5.1 真值表
3.5.2 圖形盒
3.5.3 圖形函數
3.6 Embedded MATLAB函數
3.6.1 建立調用Embedded MATLAB函數的Simulink模型
3.6.2 編寫Embedded MATLAB函數
3.6.3 調試
3.7 Simulink函數
3.7.1 Simulink函數的使用
3.7.2 使用Simulink函數需遵循的規則
3.8 集成自定義代碼
3.9 Stateflow建模實例
3.9.1 嵌入Simulink
3.9.2 模擬各種操作模式的狀態
3.9.3 狀態行為與變量
3.9.4 狀態間的遷移
3.9.5 如何觸發圖表
3.9.6 仿真
3.9.7 調試
第4章 用戶驅動模塊的創建
4.1 什麼是S-Function
4.1.1 S-Function的工作機制
4.1.2 S-Function的幾個重要概念
4.1.3 編寫CMEXS-Function
4.1.4 Simulink引擎與CS-Function的相互作用
4.1.5 TLC文件
4.1.6 LEVEL-2M文件S-Function介紹
4.1.7 調用仿真模型外部的C代碼和生成代碼
4.2 S-FunctionBuilder，
4.2.1 S-Function名及參數名選項卡
4.2.2 初始化選項卡
4.2.3 數據屬性面板
4.2.4 庫文件選項卡
4.2.5 輸出代碼選項卡
4.2.6 連續狀態求導
4.2.7 離散狀態更新
4.2.8 編譯信息
4.2.9 應用
4.3 Embedded MATLAB函數模塊
4.3.1 Embedded MATLAB函數模塊的生成方法
4.3.2 集成用戶自定義的C代碼
4.4 實例
4.4.1 IIR濾波器
4.4.2 圖像的相似度
4.4.3 S-Function的參數設置與封裝
4.4.4 讀取數據文件
第5章 嵌入式代碼的快速生成
5.1 CCS介紹
5.1.1 反匯編窗口
5.1.2 鏈接命令文件
5.1.3 探針的設置
……
第6章 基於模型的設計
附錄
參考文獻
