Validação visual de programas Ladder baseada em modelos.

Abstract

Control systems are frequently used in industry in the execution of critical tasks. Flaws in this operations may cause expensive losses and can put the plant safety at risk. Therefore, it is necessary to define techniques, methods and tools to increase the dependability of control. Verification and validation techniques developed by academy often excel in technical aspects but have low acceptance in industry due to the necessary knowledge of advanced concepts. Academy applies formal methods in tools in this context, allowing analysis and generic adaptation. However, the knowledge level about concepts such as modeling and abstraction prevents a wide adoption of such tools. The goal of this work is to introduce a user-friendly visual conformance verification method, to hide implementation details from users during the test phase of Ladder programs without the need of specific training in formal methods.