形式化方法在氢氧化铝焙烧炉联锁设计中的应用

下载PDF

导出

摘要介绍形式化方法的基础知识,及其在氢氧化铝焙烧炉风机系统联锁逻辑设计中的应用。

作者黄其杨

机构地区贵阳铝镁设计研究院有限公司

出处《自动化应用》 2015年第5期41-43,共3页 Automation Application

关键词形式化方法氢氧化铝焙烧炉联锁设计

参考文献9

1王昌晶,罗海梅,左正康.基于问题模式的形式化软件规格说明生成方法[J].计算机研究与发展,2013,50(2):352-360. 被引量：5
2钱振江,黄皓,宋方敏.操作系统形式化设计与安全需求的一致性验证研究[J].计算机学报,2014,37(5):1082-1099. 被引量：6
3刘路路,陶玲.数字系统的形式化验证方法[J].合肥师范学院学报,2008,26(3):51-54. 被引量：2
4肖娟.混成系统的形式验证[J].长沙通信职业技术学院学报,2008,7(1):51-55. 被引量：1
5邓洁清,袁宇波.基于PLC模块的变电站自动化测试仿真系统的实现及应用[J].电力系统保护与控制,2009,37(24):157-160. 被引量：20
6HAXTHAUSEN AE.An introduction to formal methods for the development of safety critical applications [D]. Lyngby: Technical Univemity of Denmark, 2010 : 6-19.
7于丽贞,徐中伟,陈祖希,张舒青.基于梯形逻辑的联锁系统形式化验证方法[J].计算机应用,2013,33(12):3419-3422. 被引量：4
8燕飞,唐涛.计算机联锁控制逻辑的模型检验方法[J].铁道通信信号,2009(5):26-29. 被引量：6
9杜军威,徐中伟.联锁系统形式化模型的安全性评估[J].微电子学与计算机,2007,24(8):14-17. 被引量：4

1马国梁,陈庆伟,胡维礼.混合系统:回顾与展望[J].东南大学学报（自然科学版）,2003,33(z1):46-50. 被引量：4
2王志开.PLC及WINCC组态软件在自动控制中的应用[J].中国科技信息,2005(5):12-12. 被引量：10
3刘静,何积丰,缪淮扣.模型驱动架构中模型构造与集成策略[J].软件学报,2006,17(6):1411-1422. 被引量：26
4方敏,张雅顺,李辉.混合系统的形式验证方法[J].系统仿真学报,2006,18(10):2921-2924. 被引量：16
5马浩海,谢冰,麻志毅,张能斌,邵维忠.PKUMoDEL:模型驱动的开发和语言家族支持环境[J].计算机研究与发展,2007,44(4):686-692. 被引量：6
6Clarke E M, Emerson E A. Design and synthesis of synchronization skeletons using branching time temporal logic [ C ]. In: Logic of Programs. Work shop, York town Heights, LNCS 131. Berlin: Sp ringer, 1981.
7Quielle. J P, Sifakis. J. Specification and verification of concurrent system s in CESAR[ C]. In: Proc of the 5th Intl Sympon Programming, LNCS 207. Berlin: Springer Verlag, 1983,337 -350.
8Leslie Lamport. The Temporal Logic of Actions [ J ]. ACM transaction on Programming Language and Systems, 1994, 16(3): 872-923.
9Pnueli. The Temporal Semantics of Concurrent Programs [ J ]. Theoretical Computer Science, 1981, 13 : 45 - 60.
10E. M. Clarke, et al. Automatic Verification of Finite State Concurrent System Using Temporal Logical Specification [ J ]. ACM transaction on Programming Language and Systems, 1986, 8(2) : 244 -263.

自动化应用

2015年第5期

内容加载中请稍等...