工业控制领域中基于有限自动机的软件开发模型研究.pdf
时间:06-23 14:09
查看:1917次
下载:163次
简介:
该模型将传统瀑布模型的单线型结构演变成上下双线型结构, 上线结构中包含了系统分析、 总控行为描述、总控描述评审、总控自动机生成、总控设计及系统测试等六个部分,而下线结构则由设备行为描述、设备自动机生成、设备控制设计、设备控制测试和设备重用库组成。通过对模型过程的阐述和一个实际工业控制系统的分析, 深入研究使用该模型进行系统软件开发的方法和步骤。在系统实时性要求引入、复杂系统独立功能界定与划分以及使独立功能设备并行运行三个方面,该模型还有进一步的研究工作。