ON THE DEVELOPMENT OF A RISK BASED VERIFICATION PROTOCOL FOR PROCESS MODELLING AND SIMULATION

被引:0
|
作者
Myhrvold, Tore [1 ]
Singh, Arjun [1 ]
机构
[1] Det Norske Veritas AS, Veritasveien 1, N-1363 Hovik, Norway
关键词
verification protocol; risk based; process modelling and simulation;
D O I
暂无
中图分类号
C93 [管理学]; O22 [运筹学];
学科分类号
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要
A risk based procedure for verification of process modelling and simulation (PMS) is presented. The procedure is based on Det Norske Veritas offshore service specification for risk based verification, state-of-the-art methodologies within simulation verification, validation & accreditation, and recognized methods for PMS. The motivation for developing the procedure is the increasing challenges posed by the growing energy demand and climate change which creates an accelerating need for new energy technologies. The procedure is therefore directed towards physical and chemical processes and application with new emerging energy technologies, such as CO2 capture and CO2 conversion. Based upon various levels for verification involvement, the procedure describes how to verify subsequent steps in a proposed generalized framework for PMS.
引用
收藏
页码:229 / 234
页数:6
相关论文
共 50 条
  • [1] Modelling, Simulation and Verification of the Screening Process of a Swing-Bar Sieve Based on the DEM
    Wang, Yang
    Yu, Jianqun
    Yu, Yajun
    [J]. 6TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, MANUFACTURING, MODELING AND SIMULATION (CDMMS 2018), 2018, 1967
  • [2] Development of a process modelling tool for simulation
    Ryan, J.
    Heavey, C.
    [J]. JOURNAL OF SIMULATION, 2007, 1 (03) : 203 - 213
  • [3] Modelling and Formal Verification of the NEO Protocol
    Choppy, Christine
    Dedova, Anna
    Evangelista, Sami
    Klai, Kais
    Petrucci, Laure
    Youcef, Samir
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 197 - 225
  • [4] Process development based on simulation
    Hofmann, F.
    [J]. WOCHENBLATT FUR PAPIERFABRIKATION, 2006, 134 (16): : 910 - 912
  • [5] Automated analysis structures for BiCMOS process simulation development and verification
    Leibiger, S
    Huber, J
    Qazi, S
    Frankwicz, P
    Goepfert, ID
    [J]. IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 2004, 17 (04) : 612 - 618
  • [6] Robustness Modelling and Verification of a Mix Net Protocol
    Stathakidis, Efstathios
    Schneider, Steve
    Heather, James
    [J]. SECURITY STANDARDISATION RESEARCH, SSR 2014, 2014, 8893 : 131 - 150
  • [7] Risk-based verification, validation, and accreditation process
    Elele, James N.
    Smith, Jeremy
    [J]. MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS V, 2010, 7705
  • [8] Formal specification and verification of protocol-based handover in a mobile process
    Vinh, PC
    [J]. JOINT 4TH IEEE INTERNATIONAL CONFERENCE ON ATM (ICATM'01) AND HIGH SPEED INTELLIGENT INTERNET SYMPOSIUM, 2001, : 354 - 358
  • [9] Using simulation techniques for continuous process verification in industrial system development
    Klingstam, P
    Olsson, BG
    [J]. PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 1315 - 1321
  • [10] Reliability modelling and verification of manufacturing processes based on process knowledge management
    Dai, Wei
    Maropoulos, Paul G.
    Zhao, Yu
    [J]. INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2015, 28 (01) : 98 - 111