OLIVEIRA, K. V.; http://lattes.cnpq.br/1121152162202880; OLIVEIRA, Kézia de Vasconcelos.
Resumo:
The goal of this work is to present a method and provide a tool to ensure the safety and
dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation and execution of conformance testing cases are used to verify the conformance between the PLC program and the specification. The method uses the Uppaal tool syntax and semantic to automatically generate timed automata models from ISA 5.2 Binary Logic Diagrams (specification) and Ladder language (implementation). After the models generation, conformance testing is performed using the Uppaal-TRON tool. Case studies are performed to validate this work.