随着嵌入式系统在各个领域的广泛应用，嵌入式系统变得越来越复杂，研究一种支持嵌入式系统从分析、设计、验证到编码整个过程的模型系统及建模方法变得越来越重要。本系统在IAR VisualSTATE环境下用状态图对嵌入式系统进行面向对象分析与设计，并以ATM实时控制系统为例，建立系统的动态模型，分析系统状态变化，实现了从状态图到C代码的自动生成，并将生成代码及用户代码与具体的硬件SmartARM2200结合来验证基于有限状态机建模的正确性。

With the widespread use of embedded system in every field, they are now becoming more and more complicated.It is important to study a method to analyse,design, verify ,code and model the system.The system uses the Finite State Diagram to analyse and design the embedded system, and at last, the software IAR VisualSTATE is used to establish the ATM system's dynamic model, whcih can produce the code automatically. This process can enhance the efficiency of the design, maintenance, and quality of software.After doing all the above, it is time to download the automatic codes and the user codes to specific hardware，such as SmartARM2200 to verify the accuracy of the modeling based on the Finite State Machine.