Compact Timed Automata for PLC Programs

Abstract

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)

Topics

15 Figures and Tables

Slides referencing similar topics