本書以基于模型的設計為主線, 講述了 M 代碼和Em b e d d e dMAT LA B代碼的快速編寫與調試、 浮點S i m u l i n k / S t a t e f l o w模型的建立、 調試與驗證以及用戶驅動模塊的創建; 詳細介紹了基于模型設計的全過程, 主要包括: 需求的驗證與跟蹤、 模型的系統測試與設計驗證、 浮點到定點模型
的轉換、 模型嵌入式C代碼的自動生成以及軟件/處理器/硬件在環測試。整個過程滿足DO - 1 7 8 B航空電子規范, 可顯著提高工作效率、 降低開發成本, 并且增加了代碼的安全性與魯棒性, 避免了產品開發的潛在市場風險。本書可作為汽車電子、 航天軍工、 通信與電子信息、 電力等領域的工程師從事嵌入式系統開發的技術手冊, 也可作為高校電子類專業嵌入式系統開發與基于模型設計的教材, 另外也是一本MATLAB高級建模與模型驗證的參考書。