Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/52960

TitleAutomating the software verification test process for SIL logic solvers for subsea oil & gas applications
Other titlesAutomação do processo de verificação de software para programadores lógicos SIL em aplicações de exploração de petróleo submarina
Author(s)Marqués, Ricardo
Seabra, Eurico
Machado, José
KeywordsAutomation project
IEC61508
SIL
Software
Projeto automação
Issue date2016
PublisherAsociación Española de Dirección e Ingeniería de Proyectos (AEIPRO)
CitationMarques, R., Seabra, E. Machado, J., "Automating the software verification test process for SIL logic solvers for subsea oil & gas applications", Proceedings of the 20th International Congress on Project Management and Engineering, Cartagena, Spain, July 13th-15th 2016, pp. 1087-1096.
Abstract(s)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.
TypeConference paper
URIhttp://hdl.handle.net/1822/52960
ISBN978-84-617-4180-9
Publisher versionhttp://www.aeipro.com/files/congresos/2016cartagena/03036.4608.pdf
Peer-Reviewedyes
AccessOpen access
Appears in Collections:CT2M - Artigos em revistas de circulação internacional com arbitragem científica


This item is licensed under a Creative Commons License Creative Commons

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID