Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.

Abstract

Safety Instrumented Systems (SIS) are designed to guarantee continuous operation of industrial production systems, control the behavior of the industrial equipments and prevent accidents, therefor, it is importante to be able to test the SIS implementation against its specification in order to increase the dependability of the system. In this work a technique to improve the dependability of SIS is introduced. A method to automatically obtain a timed automaton model of the specification, diagrams ISA 5.2, and the implementation of SIS, Function Block Diagram (FBD), is presented. One approach to perform automatic testing of the implementation using the models generated is discussed and finally the the technique is applied to a case study provided by Petrobras. The method introduced here is based on the use of the Uppaal model checker and the Uppaal-TRON testing tool.