在工业控制领域中,随着用户需求的不断升级,网络技术、计算机技术的推动,工业控制系统的应用不断拓展,规模不断扩大。工业控制系统软件作为构造工业控制系统的核心技术之一,必须适应工业控制系统的变化,必须不断发展、扩展新功能以满足用户提出的新需求。根据系统所处的环境选择合适的开发模型来进行开发,能够提高系统开发效率与系统软件质量。在工业控制领域中,系统软件的开发与系统中的工业控制设备有着十分直接的联系,将工业控制设备与软件结合起来实施开发过程,可在一定程度上解决传统工业控制软件系统的封闭性、低水平的重复劳动等弱点。工业控制领域中基于有限自动机的软件开发模型是针对工业控制系统特点提出的,它结合了有限自动机的理论,引入了以设备为核心进行软件开发的思想,同时也加入了其它模型中一些重要的观点:评审观点、重用观点与并行开发观点。该模型将传统瀑布模型的单线型结构演变成上下双线型结构,上线结构中包含了系统分析、总控行为描述、总控描述评审、总控自动机生成、总控设计及系统测试等六个部分,而下线结构则由设备行为描述、设备自动机生成、设备控制设计、设备控制测试和设备重用库组成。通过对模型过程的阐述和一个实际工业控制系统的分析,深入研究使用该模型进行系统软件开发的方法和步骤。在系统实时性要求引入、复杂系统独立功能界定与划分以及使独立功能设备并行运行三个方面,该模型还有进一步的研究工作。