AUTOMAÇÃO DO PROCESSO DE VERIFICAÇÃO DE SOFTWARE PARA PROGRAMADORES LÓGICOS SIL EM APLICAÇÕES DE EXPLORAÇÃO DE PETRÓLEO SUBMARINA

Abstract

Process Shutdown systems are used for shutting down subsea oil and gas wells and maintaining a safe state for the intervention systems. The safety and reliability of the technology used for process shutdown is one of the major arguments to earn the trust of the customer and consequently one of the main technological reasons to stay ahead of the subsea oil and gas business market. SIL (IEC61508) is the measure of trust. This is where SIL certified logic solvers come into play. For every project using SIL logic solvers specific software has to be made based on applicable standards and customer shutdown philosophies. Before deployment the system has to be verified. The intention is to apply new methods for automating the testing of the software. This will provide run-time improvement of testing, reduction of the needed resources and direct reduced costs in ongoing projects.