Compact Timed Automata for PLC Programs


In this work a set of tools is developed to convert programs for Programmable Logic Controllers (PLCs) into timed automata in order to facilitate the verification of such programs. The construction of the compilers is dicussed and some results are given for small PLC programs. Conclusions: The compilers produced in this work are able to perform the… (More)


15 Figures and Tables

Slides referencing similar topics