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

Computer Aid System of Design and Verification for control Software

作　　者：蒋昌俊[1] 张鹏[2] 叶志宝[3] 

机构地区：[1]同济大学计算机科学与工程系,上海200092 [2]山东科技大学计算机科学系,泰安271019 [3]中国科学院软件研究所,北京100080

出　　处：《高技术通讯》2001年第3期62-65,共4页Chinese High Technology Letters

基　　金：国家自然科学基金(重点);全国优秀博士论文作者专项基金;教育部青年骨干教师基金;山东省优秀中青年科学家基金;上海市曙光基金

摘　　要：介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。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.

关 键 词：控制软件设计 验证系统 计算机辅助系统 

分 类 号：TH166[机械工程—机械制造及自动化]