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

被引：3

作者：

蒋昌俊

张鹏

叶志宝

机构：

[1] 同济大学计算机科学与工程系!上海

[2] 山东科技大学计算机科学系!泰安

[3] 中国科学院软件研究所!北京

来源：

关键词：

Control software; Verification; Design; System; Petri net;

D O I：

暂无

中图分类号：

TH166 [计算机集成制造];

学科分类号：

080202 ;

摘要：

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

引用

页码：62 / 65

页数：4

共 5 条