A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application
暂无分享,去创建一个
[1] S. Lamperiere-Couffin,et al. Formal validation of PLC programs: A survey , 1999, 1999 European Control Conference (ECC).
[2] Georg Frey,et al. A re-engineering approach for PLC programs using finite automata and UML , 2004, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
[3] Luciano Baresi,et al. PLCTOOLS: design, formal validation, and code generation for programmable controllers , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[4] Lothar Litz,et al. Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[5] Tanvir Hussain,et al. Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[6] M.B. Younis,et al. Visualization of PLC programs using XML , 2004, Proceedings of the 2004 American Control Conference.
[7] M.B. Younis,et al. Formalization and Visualization of Non-binary PLC Programs , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[8] Georg Frey,et al. Formalization of PLC programs to sustain reliability , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..
[9] James H. Cross,et al. Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.
[10] Dipl.-Inform. Karl-Heinz John,et al. IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.
[11] Hanno Wupper,et al. What is the method in applying formal methods to PLC applications , 2000 .