基于UPPAAL磁性材料生产线的建模与验证
随着工业的发展,产品的生产制造逐渐向智能化迈进.磁性材料生产线主要研究智能化生产过程.该生产线由多种设备及控制器构成,涉及不同工序间设备的交互,及同一工序间不同设备的并行.采用时间自动机建立生产线模型,利用控制器传输信号,实现生产线的有效调度.并通过模型检验工具UPPAAL验证模型性质,保证生产线的正确性和安全性.
磁性材料生产线、时间自动机、模型检验、形式化方法、UPPAAL
12
TP391(计算技术、计算机技术)
2016-12-09(万方平台首次上网日期,不代表论文的发表时间)
共3页
252-253,259