| 炼焦过程控制计算机故障的分析与模型检测 |
| |
| 引用本文： | 李元,唐郑熠,李祥.炼焦过程控制计算机故障的分析与模型检测[J].计算机与数字工程,2010,38(1):118-120. |
| |
| 作者姓名： | 李元 唐郑熠 李祥 |
| |
| 作者单位： | 贵州大学计算机软件与理论研究所,贵阳,550025 |
| |
| 摘 要： | 用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析，建立了该通讯过程的Promela语言模型，并使用SPIN进行检测，找出了发生死锁的原因，其检测结果与技术人员的分析一致。
|
| 关 键 词： | 模型检测 SPIN Promela通讯 死锁 |
Analysis and Model Checking of the Fault of Coking Process Controlling Computer |
| |
| Li Yuan,Tang Zhengyi,Li Xiang.Analysis and Model Checking of the Fault of Coking Process Controlling Computer[J].Computer and Digital Engineering,2010,38(1):118-120. |
| |
| Authors: | Li Yuan Tang Zhengyi Li Xiang |
| |
| Affiliation: | Institute of Computer Software and Theory/a>;Guizhou University/a>;Guiyang 550025 |
| |
| Abstract: | This paper uses model checking techniques to analyze a deadlock which occurred in computer communication of industrial production.According to the analysis of technicians,we construct the model of communication process by Promela language and check the model by SPIN.The results accord with the analysis of technicians. |
| |
| Keywords: | model checking SPIN promela communication deadlock |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
