以51芯片为例，讲述了模型的建立、调试与验证，以及基于模型的嵌入式C代码的自动生成及软硬件在环测试。实践表明，该基于模型的设计方法可显著提高工作效率、缩短研发周期、降低开发成本，并且增加了代码的安全性与鲁棒性，有效降低了产品软件开发的风险。