Formalization of PLC programs to sustain reliability

2004 IEEE Conference on Robotics, Automation and Mechatronics

Volumn , Issue , 2004, Pages 613-618

  Younis, Mohammed Bani ^a   Frey, Georg ^a  

^a France   (Germany)

Author keywords

Formalization; IEC; PLC programs; STEP 5; Timers and Counters

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MICROCONTROLLERS; PRODUCTIVITY; QUALITY CONTROL; RELIABILITY; SAFETY FACTOR; COMPUTATIONAL COMPLEXITY; MACHINING; PROBLEM SOLVING; PROCESS CONTROL;

FORMALIZATION; IEC; PLC PROGRAMS; STEP 5; TIMERS AND COUNTERS; IECC; VERIFICATION & VALIDATION (V&V);

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 11244275942     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. M. Bani Younis, G. Frey, "Formalization of Existing PLC Programs: A Survey," Proceedings of CESA 2003, Lille (France), Paper No. S2-R-00-0239, July 2003.
2. International Electrotechnical Commission, IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages, 1993.
3. H. Berger, Automatisieren mit S5-115U. Berlin, München: Siemens Aktiengesellschaft, [Abt. Verl.], 1987.
4. G. Canet et al., "Towards the automatic verification of PLC programs written in Instruction List" IEEE Conf. on Systems, Man and Cybernetics (SMC'2000), Nashville, USA, Oct. 2000, pp. 2449-2454.
5. G. Frey, Design and formal Analysis of Petri Net based Logic Control Algorithms, Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002, ISBN 3-8322-0043-6.
6. M. Bani Younis, G. Frey, Visualization of PLC Programs Using XML. Proceedings of the American Control Conference (ACC2004), Boston, USA, June 30 - July 2, 2004, pp. 3082-3087.