Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

被引:78
|
作者
Zhang, Man [1 ]
Selic, Bran [1 ]
Ali, Shaukat [1 ]
Yue, Tao [1 ,2 ]
Okariz, Oscar [3 ]
Norgren, Roland [4 ]
机构
[1] Simula Res Lab, Oslo, Norway
[2] Univ Oslo, Oslo, Norway
[3] ULMA Handling Syst, Onati, Spain
[4] Future Posit X, Gavle, Sweden
关键词
Uncertainty; Cyber-Physical systems; Conceptual model; REPRESENTATION;
D O I
10.1007/978-3-319-42061-5_16
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Uncertainty is intrinsic in most technical systems, including Cyber-Physical Systems (CPS). Therefore, handling uncertainty in a graceful manner during the real operation of CPS is critical. Since designing, developing, and testing modern and highly sophisticated CPS is an expanding field, a step towards dealing with uncertainty is to identify, define, and classify uncertainties at various levels of CPS. This will help develop a systematic and comprehensive understanding of uncertainty. To that end, we propose a conceptual model for uncertainty specifically designed for CPS. Since the study of uncertainty in CPS development and testing is still irrelatively unexplored, this conceptual model was derived in a large part by reviewing existing work on uncertainty in other fields, including philosophy, physics, statistics, and healthcare. The conceptual model is mapped to the three logical levels of CPS: Application, Infrastructure, and Integration. It is captured using UML class diagrams, including relevant OCL constraints. To validate the conceptual model, we identified, classified, and specified uncertainties in two distinct industrial case studies.
引用
收藏
页码:247 / 264
页数:18
相关论文
共 50 条
  • [1] A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems
    Asmat, Mah Noor
    Khan, Saif Ur Rehman
    Mashkoor, Atif
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS - DEXA 2021 WORKSHOPS, 2021, 1479 : 9 - 17
  • [2] Understanding the impact of cyber-physical correlation on security analysis of Cyber-Physical Systems
    Jiang, Luanjuan
    Chen, Xin
    [J]. 2021 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS DASC/PICOM/CBDCOM/CYBERSCITECH 2021, 2021, : 529 - 534
  • [3] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578
  • [4] Understanding and Formalizing Accountability for Cyber-Physical Systems
    Kacianka, Severin
    Pretschner, Alexander
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2018, : 3165 - 3170
  • [5] Big Data Conceptual Modelling in Cyber-Physical Systems
    Bagozi, Ada
    Bianchini, Devis
    De Antonellis, Valeria
    Marini, Alessandro
    Ragazzi, Davide
    [J]. ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2018, 13 : 316 - 332
  • [6] A Conceptual Framework for Modeling and Design of Cyber-Physical Systems
    Dumitrache, Ioan
    Sacala, Ioan Stefan
    Moisescu, Mihnea Alexandru
    Caramihai, Simona Iuliana
    [J]. STUDIES IN INFORMATICS AND CONTROL, 2017, 26 (03): : 325 - 334
  • [7] BIG DATA APPLIED TO CYBER-PHYSICAL LOGISTIC SYSTEMS: CONCEPTUAL MODEL AND PERSPECTIVES
    Frazzon, Enzo Morosini
    Dutra, Moises Lima
    Vianna, William Barbosa
    [J]. BRAZILIAN JOURNAL OF OPERATIONS & PRODUCTION MANAGEMENT, 2015, 12 (02) : 330 - 337
  • [8] A Model for Signatories in Cyber-Physical Systems
    Sudarsan, Sreelakshmi Vattaparambil
    Schelen, Olov
    Bodin, Ulf
    [J]. 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 15 - 21
  • [9] Modeling and Verification of Cyber-Physical Systems under uncertainty
    Geng, Shengling
    Peng, Jiao
    Li, Ping
    [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
  • [10] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
    Chatterjee, Amrita
    Reza, Hassan
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576