Digital Twins Verification and Validation Approach through the Quintuple Helix Conceptual Framework

被引:0
|
作者
Perisic, Ana [1 ]
Perisic, Branko [2 ]
机构
[1] Univ Novi Sad, Fac Tech Sci, Novi Sad 21102, Serbia
[2] Univ Singidunum Belgrade, Ctr Novi Sad, Beograd 11010, Serbia
关键词
verification; validation; digital twins; system-of-systems; domain-specific modeling; verification frameworks; helix models; quintuple helix model; cyber-critical systems; meta object facility; MODEL;
D O I
10.3390/electronics13163303
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The concept of digital twins has been in the field for a long time, constantly challenging the specification, modeling, design, implementation, and exploitation of complex cyber-physical systems. Despite the various foundations, standards, and platforms in systems engineering, there are ongoing challenges with verification and validation methodology. This study aims to establish a generic framework that addresses the various aspects of digital twinning. The multifaceted nature of the problem requires raising the abstraction level in both the real (actual) and virtual domains, effective dissemination of information resources, and a design inspired by verification and validation. The proposed framework combines the quintuple helix model with the problem and operational domains of a real (actual) twin, the solution and implementation domains of a virtual twin, and the execution domain as the bridge that links them. Verification and validation dimensions follow the meta object facility abstraction layers (instance, model, meta-model, and meta-meta-model) mapping over five helices. Embedding the complexity reduction mechanisms in the proposed framework builds a suite for extendible and verifiable digital twinning in simulation and real-time scenarios. The application of main conceptual framework mechanisms in a real-world example study aids the verification of this research's intentions. The validation is a matter of further research endeavors.
引用
收藏
页数:32
相关论文
共 50 条
  • [31] Use patterns of health information exchange through a multidimensional lens: Conceptual framework and empirical validation
    Politi, Liran
    Codish, Shlomi
    Sagy, Iftach
    Fink, Lior
    [J]. JOURNAL OF BIOMEDICAL INFORMATICS, 2014, 52 : 212 - 221
  • [32] Learning Orthodontic Cephalometry through Augmented Reality: A Conceptual Machine Learning Validation Approach
    Rao, Gururajaprasad Kaggal Lakshmana
    Mokhtar, Norehan
    Iskandar, Yulita Hanum P.
    Srinivasa, Arvind Channarayapatna
    [J]. 2018 2ND INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING AND INFORMATICS (ICELTICS): INTELLIGENT DEVICES AND COMPUTING FOR ACCELERATING INDUSTRY 4.0 AND ENRICHING SMART SOCIETIES, 2018, : 133 - 138
  • [33] EFFECTIVE SOFTWARE VERIFICATION AND VALIDATION APPROACH FOR NUCLEAR POWER PLANT DIGITAL INSTRUMENTATION AND CONTROL SYSTEMS
    Yang, Steve
    Ding, Jun
    Miao, Huifang
    Zheng, Jianxiang
    [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING 2010, VOL 1, 2011, : 659 - 665
  • [34] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models
    Sastry, J. K. R.
    Chandra, Prakash, V
    Reddy, L. S. S.
    [J]. PROCEEDINGS OF THE 2009 FOURTH INTERNATIONAL CONFERENCE ON EMBEDDED AND MULTIMEDIA COMPUTING, 2009, : 222 - 229
  • [35] Digital Maturity Model for SMEs: Validation Through a Mixed- Method Approach
    Williams, Christopher A.
    Krumay, Barbara
    Schallmo, Daniel
    Scornavacca, Eusebio
    [J]. PACIFIC ASIA JOURNAL OF THE ASSOCIATION FOR INFORMATION SYSTEMS, 2024, 16 (01): : 28 - 50
  • [36] Digital Image Identification and Verification Using Maximum and Preliminary Score Approach with Watermarking for Security and Validation Enhancement
    Upadhyay, Shrikant
    Kumar, Mohit
    Upadhyay, Aditi
    Verma, Sahil
    Kavita
    Hosen, A. S. M. Sanwar
    Ra, In-Ho
    Kaur, Maninder
    Singh, Satnam
    [J]. ELECTRONICS, 2023, 12 (07)
  • [37] Design, development, and optimization of a conceptual framework of digital twin electric grid using systems engineering approach
    Sifat, Md. Mhamud Hussen
    Das, Sajal K.
    Choudhury, Safwat Mukarrama
    [J]. ELECTRIC POWER SYSTEMS RESEARCH, 2024, 226
  • [38] An appraisal of literature for design and implementation of developing a framework for digital twin and validation through case studies
    Sanjay Mohapatra
    Sayan Bose
    [J]. Health and Technology, 2020, 10 : 1229 - 1237
  • [39] An appraisal of literature for design and implementation of developing a framework for digital twin and validation through case studies
    Mohapatra, Sanjay
    Bose, Sayan
    [J]. HEALTH AND TECHNOLOGY, 2020, 10 (05) : 1229 - 1237
  • [40] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems Represented Through Black Box Structures
    Sastry, J. K. R.
    Prakash, Chandra, V
    [J]. 2010 IEEE 2ND INTERNATIONAL ADVANCE COMPUTING CONFERENCE, 2010, : 430 - 435