Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/52960
Título: | Automating the software verification test process for SIL logic solvers for subsea oil & gas applications |
Outro(s) título(s): | Automação do processo de verificação de software para programadores lógicos SIL em aplicações de exploração de petróleo submarina |
Autor(es): | Marqués, Ricardo Seabra, Eurico Machado, José |
Palavras-chave: | Automation project IEC61508 SIL Software Projeto automação |
Data: | 2016 |
Editora: | Asociación Española de Dirección e Ingeniería de Proyectos (AEIPRO) |
Citação: | Marques, 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. |
Resumo(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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/52960 |
ISBN: | 978-84-617-4180-9 |
Versão da editora: | http://www.aeipro.com/files/congresos/2016cartagena/03036.4608.pdf |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CT2M - Artigos em revistas de circulação internacional com arbitragem científica |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Article_AEIPRO2016 - Automating the software verification test process for SIL logic solvers for subsea oil & gas applications.pdf | 1,35 MB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons