Uncertainty in Coupled Models of Cyber-Physical Systems

被引:2
|
作者
Acosta, Maribel [1 ]
Hahner, Sebastian [2 ]
Koziolek, Anne [2 ]
Kuehn, Thomas [2 ]
Mirandola, Raffaela [3 ]
Reussner, Ralf [2 ]
机构
[1] Ruhr Univ Bochum, Bochum, Germany
[2] Karlsruhe Inst Technol, Karlsruhe, Germany
[3] Politecn Milan, Milan, Italy
关键词
FRAMEWORK;
D O I
10.1145/3550356.3561539
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The development of cyber-physical systems typically involves the association between multiple coupled models that capture different aspects of the system and the environment where it operates. Due to the dynamic aspect of the environment, unexpected conditions and uncertainty may impact the system. In this work, we tackle this problem and propose a taxonomy for characterizing uncertainty in coupled models. Our taxonomy extends existing proposals to cope with the particularities of coupled models in cyber-physical systems. In addition, our taxonomy discusses the notion of uncertainty propagation to other parts of the system. This allows for studying and (in some cases) quantifying the effects of uncertainty on other models in a system even at design time. We show the applicability of our uncertainty taxonomy in real use cases motivated by our envisioned scenario of automotive development.
引用
收藏
页码:569 / 578
页数:10
相关论文
共 50 条
  • [1] Creation of Physical Models for Cyber-Physical Systems
    Pankratova, Nataliya D.
    [J]. CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 55 - 63
  • [2] Semigroup Models of Cyber-physical Systems
    Letichevsky, Alexander A.
    [J]. 2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 12 - 15
  • [3] Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models
    Hsieh, Fu-Shiung
    [J]. 2021 IEEE WORLD AI IOT CONGRESS (AIIOT), 2021, : 250 - 254
  • [4] 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,
  • [5] 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
  • [6] Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems
    Woodcock, Jim
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14165 LNCS : 237 - 253
  • [7] Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
    Zhang, Man
    Selic, Bran
    Ali, Shaukat
    Yue, Tao
    Okariz, Oscar
    Norgren, Roland
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2016, 2016, 9764 : 247 - 264
  • [8] Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems
    Bandyszak, Torsten
    Daun, Marian
    Tenbergen, Bastian
    Kuhs, Patrick
    Wolf, Stefanie
    Weyer, Thorsten
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2020, 17 (03) : 1250 - 1265
  • [9] Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems
    Yang, Chenchen
    Sun, Haiying
    Liu, Jing
    Kang, Jiexiang
    Yin, Wei
    Wang, Hui
    Li, Tengfei
    [J]. 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 874 - 883
  • [10] Uncertainty-Wise Testing of Cyber-Physical Systems
    Ali, Shaukat
    Lu, Hong
    Wang, Shuai
    Yue, Tao
    Zhang, Man
    [J]. ADVANCES IN COMPUTERS, VOL 107, 2017, 107 : 23 - 94