控制软件设计与验证计算机辅助系统

摘要

介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图［1］（Seq uential Function Charts，即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法，讨论了系统实现的若干关键技术，最后通过例子演示了系统的操作过程。%The principle and implementation of system of design and verifica tion for control software are introduced. The transfer agorithms from requiremen t specification language (Sequential Function Charts, ect. SFC) to Petri net mod el of system and the verification algorithms for abnormal phenomenons of system are given, respectively. The key technologies of implementation of system are al so discussed. The run procedureof system is shown by an example.