| Formalization of PLC Programs to Sustain Reliability |
| Mohammed Bani Younis |
| 关键词：PLC programs; Formalization; IEC; STEP 5; Timers and Counters |
| 主要内容：The complexity of existing PLC programs precludes dealing with or modifying them.The interest in the formalization of PLC programs has increases in recent years to overcome this problem,since they serve as a medium to analyze and verify them due to increased awareness of safety and quality.This is done by performing what is known as Verification and Validation (V&V).Moreover formal methods support re-use of already implemented PLC programs to meet new production demands.This paper examines different possibilities to formalize PLC programs.It explains the pros and cons of these different alternative.The paper outlines a formal description of timers and counters used in PLC programs according to the alternative that fulfills the criteria best... |
| 《2004 IEEE》 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号