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

摘要：

介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图［1］（Seq uential Function Charts，即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法，讨论了系统实现的若干关键技术，最后通过例子演示了系统的操作过程。

机标关键词：控制软件、设计与验证、计算机、辅助系统、key technologies、control software、原理与实现、顺序功能图、Petri net、转化算法、验证系统、验证算法、需求说明、软件设计、关键技术、操作过程、网模型、语言、演示

所属期刊栏目：11

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金;全国高等学校优秀博士学位论文作者专项基金;教育部优秀青年教师资助计划;山东省优秀中青年科学家科研奖励基金;上海市曙光学者计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：62-65