The Experts below are selected from a list of 9780 Experts worldwide ranked by ideXlab platform

Gary J Powers - One of the best experts on this subject based on the ideXlab platform.

  • verification of a chemical Process Leak test procedure
    Computer Aided Verification, 1997
    Co-Authors: Adam L Turk, Scott T Probst, Gary J Powers
    Abstract:

    A Leak test procedure for a combustion system which is used in the chemical industry was verified. This procedure is important since it reduces the probability of explosions. Both government and internal company standards where employed in creating the initial Leak test procedure. Several major faults were discovered by the verification of a logic model of the procedure and equipment using SMV. This paper describes the Leak test procedure with its corresponding combustion system pipe network, the approach employed in modeling the Process, failure modes included in the Process model, computational challenges, and verification results. This study indicates that the formal method, SMV, is an appropriate tool for verification of industrial Processes of modest complexity

Adam L Turk - One of the best experts on this subject based on the ideXlab platform.

  • verification of a chemical Process Leak test procedure
    Computer Aided Verification, 1997
    Co-Authors: Adam L Turk, Scott T Probst, Gary J Powers
    Abstract:

    A Leak test procedure for a combustion system which is used in the chemical industry was verified. This procedure is important since it reduces the probability of explosions. Both government and internal company standards where employed in creating the initial Leak test procedure. Several major faults were discovered by the verification of a logic model of the procedure and equipment using SMV. This paper describes the Leak test procedure with its corresponding combustion system pipe network, the approach employed in modeling the Process, failure modes included in the Process model, computational challenges, and verification results. This study indicates that the formal method, SMV, is an appropriate tool for verification of industrial Processes of modest complexity

Scott T Probst - One of the best experts on this subject based on the ideXlab platform.

  • verification of a chemical Process Leak test procedure
    Computer Aided Verification, 1997
    Co-Authors: Adam L Turk, Scott T Probst, Gary J Powers
    Abstract:

    A Leak test procedure for a combustion system which is used in the chemical industry was verified. This procedure is important since it reduces the probability of explosions. Both government and internal company standards where employed in creating the initial Leak test procedure. Several major faults were discovered by the verification of a logic model of the procedure and equipment using SMV. This paper describes the Leak test procedure with its corresponding combustion system pipe network, the approach employed in modeling the Process, failure modes included in the Process model, computational challenges, and verification results. This study indicates that the formal method, SMV, is an appropriate tool for verification of industrial Processes of modest complexity

Ricciu Marta - One of the best experts on this subject based on the ideXlab platform.

  • Advanced techniques for Environmental Risk Assessment within the Oil & Gas sector
    Alma Mater Studiorum - Università di Bologna, 2019
    Co-Authors: Ricciu Marta
    Abstract:

    Oil and gas installations in sensitive areas with harsh environmental conditions may require improved risk monitoring, assessment, and management in order to prevent and limit the damage caused by accidental hydrocarbon spills in the sea. This issue is a priority when the installation under examination is located in an area defined as sensitive. The present work deals with a real reference case study, an offshore installation located in the Barents Sea, which represents a relevant example of innovative facility operating offshore in the Arctic sensitive region. Hydrocarbon Process Leaks are a major contributor to offshore risk. The scenarios that may develop from the Process area of this installation have been selected through the application of a Leak frequency model and the modeling of the safety barriers. The Process Leak for Offshore installation Frequency Assessment Model estimates the topside Process Leak frequencies for use in Quantitative Risk Analysis of fire and explosion at installations located on the Norwegian Continental Shelf. It is based on the assumption that the Leak frequency is proportional to the number of each type of equipment. The performances of the safety barriers have been used as QRA parameters. The environmental risk is evaluated through an exposure-based analysis, based on duration, rate and amount of the release as well as oil drift simulation. This step has been carried out thanks to the SINTEF’s software OSCAR – Oil Spill Contingency and Response. The level of estimated risk is then compared with the stringent tolerability criteria to which installations located in sensitive areas are subjected. Further information about the impact on the ecosystem is given by the EIF factor related to different release categories