FMS运控软件调试环境中的死锁检测方法 |
| |
引用本文: | 毕诸明,姜浩.FMS运控软件调试环境中的死锁检测方法[J].动态分析与测试技术,1996,14(1):5-9. |
| |
作者姓名: | 毕诸明 姜浩 |
| |
摘 要: | FMS中存在死现象是理想的,此时系统至少存在一个等待环,环中工件处于互相等待彼此所占有资源的状态。对于一个FMS控制软件,如果不具死锁的预测和回避方法,在实际运行过程中就会因可能出现的死锁现象而发生故障,在建立FMS运控系统调试环境时,本文旨于确认被测FMS运控软件的死锁预测和回避功能。在被测系统Petri网模型的基础上,根据选定的调度策略确定所有被占用资源上工件的目标库所集,以检验系统中是否在死
|
关 键 词: | 柔性制造系统 软件 检测 |
本文献已被 维普 等数据库收录! |
|