基于模型的设计及其嵌入式实现（第2版）

《基于模型的设计及其嵌入式实现（第2版）》以基于模型的设计为主线,讲述了M代码的快速编写与调试,用户界面的创建,浮点Simulink/Stateflow模型的建立、调试与验证,用户自定义模块的生成;详细介绍了基于模型设计的全过程,主要有需求分析与跟踪、模型的检查与设计验证、浮点模型到定点模型的转换、模型嵌入式C代码的自动生成、软件/处理器/硬件在环测试,整个过程满足DO178B航空电子规范,可显著提高工作效率、降低开发成本,并且增强了代码的安全性与鲁棒性,避免了产品开发的潜在市场风险。本书可作为汽车电子、航天军工、通信与电子信息、电力等领域的工程师从事嵌入式开发的技术手册,也可作为高校电类专业嵌入式系统开发与基于模型设计的教材,还可作为学习MATLABSimulink/Stateflow的参考书。