Diagnosability of programmable logic controllers

The diagnosis problem of Programmable Logic Controllers used to control industrial processes is an important research track. This paper introduces the use of slicing methods on programmable logic controller's code. The used method enables better navigation of the program variables. These vairables are mainely the inputs/ouputs field devices intstalled on the plant. The Instruction List programming language is chosen to determine the software feasibility and applicability of the slicing method. The sliced program is exploited for the debugging purposes. An evaluation about the methods and techniques used for the Diagnosability are also provided in the scope of this paper. A case study is provided to ease the understanding of the used slicing technique.