摘要
随着工业的发展,产品的生产制造逐渐向智能化迈进.磁性材料生产线主要研究智能化生产过程.该生产线由多种设备及控制器构成,涉及不同工序间设备的交互,及同一工序间不同设备的并行.采用时间自动机建立生产线模型,利用控制器传输信号,实现生产线的有效调度.并通过模型检验工具UPPAAL验证模型性质,保证生产线的正确性和安全性.
With the development of industry, manufacture of the products are gradually moving towards intelligent. Magnetic ma- terial production line is mainly research about intelligent manufacturing process. This production line consists of a controller and diverse equipment, involves equipment＇ s interaction between different process and parallel equipment between the same pro- cess. The production line model is established by timed automata, and transferring signal by controller, realizing the effective scheduling of the production line. The model is verified through the model checking tools UPPAAL properties, ensure validity and security of the production line.
作者
吕靖
LV Jing （Tongji University, Shanghai 201804, China）
出处
《电脑知识与技术》
2016年第10期252-253,259,共3页
Computer Knowledge and Technology
关键词
磁性材料生产线
时间自动机
模型检验
形式化方法
magnetic material production line
timed automata
model checking
formal method
