Publicação
Automating the software verification test process for SIL logic solvers for subsea oil & gas applications
| Resumo: | 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. |
|---|---|
| Autores principais: | Marqués, Ricardo |
| Outros Autores: | Seabra, Eurico; Machado, José |
| Assunto: | Automation project IEC61508 SIL Software Projeto automação |
| Ano: | 2016 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
Registos relacionados
article Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
por: Kunz, Guilherme
Publicado em: (2011)
por: Kunz, Guilherme
Publicado em: (2011)
school Automação de testes de um software da área da saúde
por: Silva, Ana Catarina Araújo
Publicado em: (2024)
por: Silva, Ana Catarina Araújo
Publicado em: (2024)
school Automation of machine learning pipelines for anomaly detection challenges
por: Martins, Ricardo Rodrigues
Publicado em: (2023)
por: Martins, Ricardo Rodrigues
Publicado em: (2023)
school Accountability in marketing : the impact of marketing automation processes in the measurement of marketing activity performance
por: Fernandes, Mariana Amaral
Publicado em: (2019)
por: Fernandes, Mariana Amaral
Publicado em: (2019)
school Automação de testes
por: Ramalho, André Tiago Gonçalves
Publicado em: (2022)
por: Ramalho, André Tiago Gonçalves
Publicado em: (2022)
school Robotic process automation e a auditoria financeira : modern framework
por: Calçada, Leonardo Ismael Silva
Publicado em: (2020)
por: Calçada, Leonardo Ismael Silva
Publicado em: (2020)
school The impact of robotic process automation on On-Demand Grocery Delivery companies
por: Brunner, Alexander Miguel
Publicado em: (2022)
por: Brunner, Alexander Miguel
Publicado em: (2022)
school Robotic process automation : impact and best practices in portuguese banks
por: Carmo, Gonçalo Pires de Carvalho Mota
Publicado em: (2020)
por: Carmo, Gonçalo Pires de Carvalho Mota
Publicado em: (2020)
school Robotic process automation : potencial da automação em contexto empresarial
por: Marques, Gustavo Sérgio de Gusmão Bandarra Costa
Publicado em: (2022)
por: Marques, Gustavo Sérgio de Gusmão Bandarra Costa
Publicado em: (2022)
school Software de controlo remoto de robô Desktop para aplicação de doseamento de fluidos
por: Gomes, Sérgio Alexandre Barros Ferreira
Publicado em: (2018)
por: Gomes, Sérgio Alexandre Barros Ferreira
Publicado em: (2018)
school Automation of sub-processes in the design stage
por: Figueiró, Isabela de Carvalho
Publicado em: (2023)
por: Figueiró, Isabela de Carvalho
Publicado em: (2023)
school Automation and digital transformation: the key to efficiency in accounting and financial report
por: Machado, Marta Bouça de Oliveira
Publicado em: (2023)
por: Machado, Marta Bouça de Oliveira
Publicado em: (2023)
school Desenvolvimento de protótipos virtuais para utilização em simulação Software-In-the-Loop
por: Carneiro, Paulo César Moreira
Publicado em: (2012)
por: Carneiro, Paulo César Moreira
Publicado em: (2012)
school Automating digital marketing processes using Artificial Intelligence and prompt engineering
por: Vieira, Vasco Cerqueira
Publicado em: (2025)
por: Vieira, Vasco Cerqueira
Publicado em: (2025)
school Parametrização automática de sistema de separação e alimentação de parafusos
por: Brito, Hugo Filipe Lopes
Publicado em: (2023)
por: Brito, Hugo Filipe Lopes
Publicado em: (2023)
school Safety verification for ROS software
por: Santos, André Filipe Faria
Publicado em: (2021)
por: Santos, André Filipe Faria
Publicado em: (2021)
article Using timed automata for modeling, simulating and verifying networked systems controller's specifications
por: Kunz, Guilherme
Publicado em: (2017)
por: Kunz, Guilherme
Publicado em: (2017)
school Avaliação da saúde oral nos utentes da Associação de Paralisia Cerebral de Viseu (APCV)
por: Duarte, Sofia Alexandra dos Santos
Publicado em: (2018)
por: Duarte, Sofia Alexandra dos Santos
Publicado em: (2018)
school The effects of automation on receivables management
por: Morais, Inês Diniz
Publicado em: (2021)
por: Morais, Inês Diniz
Publicado em: (2021)
school Desenvolvimento de um simulador para sistemas de tratamento de água
por: Almeida, Miguel Correia Lopes de
Publicado em: (2022)
por: Almeida, Miguel Correia Lopes de
Publicado em: (2022)
article Tailoring ISO/IEC/IEEE 29119-3 standard for small and medium-sized enterprises
por: Eira, Paulo
Publicado em: (2018)
por: Eira, Paulo
Publicado em: (2018)
school Inter-industry analysis of the impacts and attitudes of a chat versus human representative
por: Diogo, Diogo de Bernardes Henriques e Almeida
Publicado em: (2018)
por: Diogo, Diogo de Bernardes Henriques e Almeida
Publicado em: (2018)
article Automated cleansing and harmonization of international trade data
por: Oliveira, Sandra
Publicado em: (2021)
por: Oliveira, Sandra
Publicado em: (2021)
school Domótica sem fios baseada em redes ZigBee
por: Azevedo, Rui Alexandre Pereira
Publicado em: (2016)
por: Azevedo, Rui Alexandre Pereira
Publicado em: (2016)
school Laboratório remoto para o ensino de automação
por: Vieira, Manuel Carlos de Araújo
Publicado em: (2018)
por: Vieira, Manuel Carlos de Araújo
Publicado em: (2018)
article Automated verification of the freeRTOS scheduler in HIP/SLEEK
por: Ferreira, João Fernando
Publicado em: (2012)
por: Ferreira, João Fernando
Publicado em: (2012)
article Automated verification of the FreeRTOS scheduler in HIP/SLEEK
por: Ferreira, João F.
Publicado em: (2014)
por: Ferreira, João F.
Publicado em: (2014)
article Formal verification with Frama-C: a case study in the space software domain
por: Silva, Rovedy Aparecida Busquim e
Publicado em: (2016)
por: Silva, Rovedy Aparecida Busquim e
Publicado em: (2016)
school DevOps: the new development process
por: Rodrigues, Guilherme dos Santos
Publicado em: (2016)
por: Rodrigues, Guilherme dos Santos
Publicado em: (2016)
school Automation of machine learning models benchmarking
por: Sá, João Pedro Barros
Publicado em: (2022)
por: Sá, João Pedro Barros
Publicado em: (2022)
school Multi-objective optimization model for sustainable Robotic Process Automation technology implementation
por: Patrício, Leonel Filipe Santos
Publicado em: (2024)
por: Patrício, Leonel Filipe Santos
Publicado em: (2024)
school Estudo e caracterização da fiabilidade de um equipamento de teste da qualidade final do funcionamento dos botões dos Auto-Rádios
por: Teixeira, Samuel Damas
Publicado em: (2013)
por: Teixeira, Samuel Damas
Publicado em: (2013)
school Work in the European Union in 2030 : policy recommendations for an automated future
por: Pereira, Felisberto Sequeira
Publicado em: (2019)
por: Pereira, Felisberto Sequeira
Publicado em: (2019)
school Retail banks recommendations to properly implement marketing automation strategy?
por: Guilherme, Tatiana Brito
Publicado em: (2017)
por: Guilherme, Tatiana Brito
Publicado em: (2017)
school Reengenharia de uma máquina de extrusão de solas
por: Silva, Francisco José Alves
Publicado em: (2025)
por: Silva, Francisco José Alves
Publicado em: (2025)
school Industrialização e digitalização da construção
por: Cardoso, Diogo Daniel Carvalho
Publicado em: (2024)
por: Cardoso, Diogo Daniel Carvalho
Publicado em: (2024)
article On the derivation of class diagrams from use cases and logical software architectures
por: Santos, Maribel Yasmina
Publicado em: (2010)
por: Santos, Maribel Yasmina
Publicado em: (2010)
school Integração de processos financeiros através de RPA: desenvolvimento numa empresa do setor hoteleiro
por: Oliveira, Juliana Conceição
Publicado em: (2025)
por: Oliveira, Juliana Conceição
Publicado em: (2025)
school Desenho e implementação de processos de automação de IaaS em ambientes Cloud
por: Ferreira, João Pedro de Vasconcelos Cadavez
Publicado em: (2022)
por: Ferreira, João Pedro de Vasconcelos Cadavez
Publicado em: (2022)
school Automação de um sistema de desenrolamento e enrolamento de fio têxtil
por: Caldas, Pedro Miguel de Sousa
Publicado em: (2021)
por: Caldas, Pedro Miguel de Sousa
Publicado em: (2021)
Registos relacionados
-
article Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
por: Kunz, Guilherme
Publicado em: (2011) -
school Automação de testes de um software da área da saúde
por: Silva, Ana Catarina Araújo
Publicado em: (2024) -
school Automation of machine learning pipelines for anomaly detection challenges
por: Martins, Ricardo Rodrigues
Publicado em: (2023) -
school Accountability in marketing : the impact of marketing automation processes in the measurement of marketing activity performance
por: Fernandes, Mariana Amaral
Publicado em: (2019) -
school Automação de testes
por: Ramalho, André Tiago Gonçalves
Publicado em: (2022)