|
|||||
|
|
| 控制软件设计与验证计算机辅助系统 | |
| 引用本文： | 蒋昌俊,张鹏,叶志宝. 控制软件设计与验证计算机辅助系统[J]. 高技术通讯, 2001, 11(3): 62-65 |
| 作者姓名： | 蒋昌俊 张鹏 叶志宝 |
| 作者单位： | 1. 同济大学计算机科学与工程系 2. 山东科技大学计算机科学系 3. 中国科学院软件研究所 |
| 基金项目： | 国家自然科学基金(重点)，全国优秀博士论文作者专项基金，教育部青年骨干教师基金，山东省优秀中青年科学家基金，上海市曙光基金 |
| 摘 要： | 介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图（Sequential Function Charts,即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法，讨论了系统实现的若干关键技术，最后通过例子演示了系统的操作过程。 |
| 关 键 词： | 控制软件设计 验证系统 计算机辅助系统 |
Computer Aid System of Design and Verification for control Software |
|
| Jiang Changjun,Zhang Peng,Ye Zhibao. Computer Aid System of Design and Verification for control Software[J]. High Technology Letters, 2001, 11(3): 62-65 | |
| Authors: | Jiang Changjun Zhang Peng Ye Zhibao |
| Abstract: | The principle and implementation of system of design and verification for control software are introduced. The transfer agorithms from requirement specification language (Sequential Function Charts, ect. SFC) to Petri net model of system and the verification algorithms for abnormal phenomenons of system are given, respectively. The key technologies of implementation of system are also discussed. The run procedureof system is shown by an example. |
| Keywords: | Control software Verification Design System Petri net |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |