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 条
  • [31] Cyber-physical systems integration of building information models and the physical construction
    Akanmu, Abiola
    Anumba, Chimay J.
    [J]. ENGINEERING CONSTRUCTION AND ARCHITECTURAL MANAGEMENT, 2015, 22 (05) : 516 - 535
  • [32] On the Security of Cyber-Physical Systems Against Stochastic Cyber-Attacks Models
    Abu Al-Haija, Qasem
    [J]. 2021 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS), 2021, : 155 - 160
  • [33] Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty
    Kobayashi, Tsutomu
    Salay, Rick
    Hasuo, Ichiro
    Czarnecki, Krzysztof
    Ishikawa, Fuyuki
    Katsumata, Shin-Ya
    [J]. NASA FORMAL METHODS (NFM 2021), 2021, 12673 : 198 - 213
  • [34] 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
  • [35] Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
    Ma, Meiyi
    Stankovic, John
    Bartocci, Ezio
    Feng, Lu
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (05)
  • [36] Ensure: Towards Reliable Control of Cyber-Physical Systems Under Uncertainty
    Yang, Wenhua
    Xu, Chang
    Pan, Minxue
    Zhou, Yu
    Huang, Zhiqiu
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2023, 72 (01) : 289 - 301
  • [37] Probabilistic Inference of Fault Condition of Cyber-Physical Systems Under Uncertainty
    Tao, Xin
    Lu, Jinzhi
    Chen, Dejiu
    Torngren, Martin
    [J]. IEEE SYSTEMS JOURNAL, 2020, 14 (03): : 3256 - 3266
  • [38] Creation of cyber-physical systems based on basic structures in conditions of uncertainty
    Korshunov, G., I
    Polyakov, S. L.
    [J]. INTERNATIONAL SCIENTIFIC CONFERENCE ON APPLIED PHYSICS, INFORMATION TECHNOLOGIES AND ENGINEERING (APITECH-2019), 2019, 1399
  • [39] EDA for Cyber-Physical Systems
    Chakraborty, Samarjit
    [J]. 2017 7TH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED), 2017,
  • [40] Cyber-Physical Systems Attestation
    Valente, Junia
    Barreto, Carlos
    Cardenas, Alvaro A.
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357