MÉTODO IMPLEMENTADO POR PROGRAMA DE COMPUTADOR PARA VERIFICAÇÃO AUTOMATIZADA DA LÓGICA DE SEQUENCIAMENTO DA ABERTURA DE VÁLVULAS DE DESCARGA E MEIO DE ARMAZENAMENTO NÃO TRANSITÓRIO LEGÍVEL

IPC Classification

Abstract

MÉTODO IMPLEMENTADO POR PROGRAMA DE COMPUTADOR PARA VERIFICAÇÃO AUTOMATIZADA DA LÓGICA DE SEQUENCIAMENTO DA ABERTURA DE VÁLVULAS DE DESCARGA E MEIO DE ARMAZENAMENTO NÃO TRANSITÓRIO LEGÍVEL. A presente invenção se refere a um método implementado por programa de computador para verificação automatizada da lógica de sequenciamento da abertura de válvulas de descarga (Blowdown Valves - BDVs) e um meio de armazenamento não transitório legível. O método é auxiliado por componentes de software desenvolvidos especificamente para essa finalidade, com a vantagem prática de permitir um número muito maior de casos (ou cenários) de teste em comparação com a abordagem anterior à invenção. O método é baseado em um estudo de priorização por cenários, em que dado um conjunto de cenários a serem testados, as curvas de decaimento das válvulas de descarga e as regras de priorização, utiliza-se de forma encadeada o método implementado por programa de computador que compreende as etapas principais de: 1. padronização da definição dos cenários; 2. cálculo do sequenciamento das válvulas de descarga que respeite o limite de capacidade do equipamento de segurança (Flare) e as regras de priorização para cada cenário; 3. geração de arquivos de configuração dos testes de sequenciamento e a possibilidade de visualização que permita a análise por um especialista; 4. teste automatizado de cada cenário; e 5. geração de um relatório com o resultado dos testes, indicando se a lógica implementada cumpriu ou não o sequenciamento esperado.