基于模型的设计及其嵌入式实现

本书内容：需求的验证与跟踪、模型的系统测试与设计验证、浮点到定点模型的转换、模型嵌入式C代码的自动生成以及软件/处理器/硬件在环测试。整个过程满足DO-178B航空电子规范，可显著提高工作效率、降低开发成本，并且增加了代码的安全性与鲁棒性。