随着信息技术的发展,硬件和储存器价格的日益降低以及功能日益强大,嵌入式系统越来越普及。然而,仍有一些问题存在于嵌入式系统开发过程中。如在需求阶段引入的错误有时只能在最终的验证阶段才能发现,不同的开发人员对系统存在着不同的理解等。这些问题延长了开发周期,增加了开发成本并且难以保证开发过程的可靠性,极大的增加了开发嵌入式系统的难度。因此,针对上述问题的研究具有较大的工程应用价值。论文首先基于MATLAB/Simulink平台,得到了基于模型的设计过程中能够使用的各种软件工具,分析了在设计过程中对嵌入式系统进行不间断验证测试的方法;其次,按照基于模型的设计流程,进行了对直流电机Simulink模型的搭建与PID反馈控制,同时通过MATLAB/Simulink提供的测试工具完成了对模型的验证;最后,通过自动代码生成技术与手工代码的结合,不仅实现了控制算法在PROTEUS虚拟硬件中的运行,而且也通过硬件实验验证了算法的正确性。