基于UPPAAL磁性材料生产线的建模与验证

摘要

随着工业的发展,产品的生产制造逐渐向智能化迈进.磁性材料生产线主要研究智能化生产过程.该生产线由多种设备及控制器构成,涉及不同工序间设备的交互,及同一工序间不同设备的并行.采用时间自动机建立生产线模型,利用控制器传输信号,实现生产线的有效调度.并通过模型检验工具UPPAAL验证模型性质,保证生产线的正确性和安全性.