Automating the software verification test process for SIL logic solvers for subsea oil & gas applications

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.

Sistemas de encerramento do processo são usados para parar a produção dos poços de petróleo e gás e manter em segurança a funcionalidade dos sistemas de intervenção. A segurança e a confiabilidade da tecnologia utilizada para a paragem da produção é um dos principais argumentos para ganhar a confiança do cliente e, consequentemente uma das principais razões tecnológicas para continuar na vanguarda do mercado de exploração submarina de petróleo e gás. É aqui que entram os programadores lógicos com certificação SIL. Para cada projeto que utilize programadores lógicos SIL software específico tem que ser criado com base na normalização aplicável e nas filosofias de encerramento de processo. Antes do fornecimento do equipamento de segurança a funcionalidade do sistema tem que ser verificada. A intenção é aplicar novos métodos para automatizar a verificação do software. Isso permite melhoria no tempo de execução dos testes, redução dos recursos necessários e redução de custos nos projectos em curso.