Modeling Cyber-Physical Systems

被引：536
作者：
Derler, Patricia [1 ]
Lee, Edward A. [1 ]
Vincentelli, Alberto Sangiovanni [1 ]
机构：
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
PROCEEDINGS OF THE IEEE | 2012年 / 100卷 / 01期
基金：
美国国家科学基金会;
关键词：
Computers and information processing; computer simulation; continuous time systems; discrete time systems; embedded software; modeling; simulation; software; system analysis and design; systems engineering and theory; time factors; DESIGN; FRAMEWORK; SEMANTICS;
D O I：
10.1109/JPROC.2011.2160929
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
This paper focuses on the challenges of modeling cyber-physical systems (CPSs) that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management system (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.
引用
收藏
页码：13 / 28
页数：16
相关论文
共 50 条
  • [31] Supporting Heterogeneity in Cyber-Physical Systems Architectures
    Rajhans, Akshay
    Bhave, Ajinkya
    Ruchkin, Ivan
    Krogh, Bruce H.
    Garlan, David
    Platzer, Andre
    Schmerl, Bradley
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3178 - 3193
  • [32] Distributed Real-Time Software for Cyber-Physical Systems
    Eidson, John C.
    Lee, Edward A.
    Matic, Slobodan
    Seshia, Sanjit A.
    Zou, Jia
    PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 45 - 59
  • [33] Model Checking Cyber-Physical Energy Systems
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    PROCEEDINGS OF 2017 INTERNATIONAL RENEWABLE & SUSTAINABLE ENERGY CONFERENCE (IRSEC' 17), 2017, : 635 - 640
  • [34] Cyber-Physical Energy Systems Security: Threat Modeling, Risk Assessment, Resources, Metrics, and Case Studies
    Zografopoulos, Ioannis
    Ospina, Juan
    Liu, Xiaorui
    Konstantinou, Charalambos
    IEEE ACCESS, 2021, 9 : 29775 - 29818
  • [35] On Combining Domain Modeling and Organizational Modeling for Developing Adaptive Cyber-Physical Systems
    Sudeikat, Jan
    Koehler-Bussmeier, Michael
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 1, 2022, : 330 - 336
  • [36] Intelligent Embedded Systems Platform for Vehicular Cyber-Physical Systems
    Conrad, Christopher
    Al-Rubaye, Saba
    Tsourdos, Antonios
    ELECTRONICS, 2023, 12 (13)
  • [37] SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems
    Koutsoukos, Xenofon
    Karsa, Gabor
    Laszka, Aron
    Neema, Himanshu
    Potteiger, Bradley
    Volgyesi, Peter
    Vorobeychik, Yevgeniy
    Sztipanovits, Janos
    PROCEEDINGS OF THE IEEE, 2018, 106 (01) : 93 - 112
  • [38] Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems
    Jeon, Sung Woo
    Mitra, Sayan
    2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 268 - 276
  • [39] Cyber-Physical Systems Architectures and Modeling Methods Analysis for Smart Grids
    Korotunov, Sergiy
    GalynaTabunshchyk
    Wolff, Carsten
    2018 IEEE 13TH INTERNATIONAL SCIENTIFIC AND TECHNICAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT), VOL 1, 2018, : 181 - 186
  • [40] A Systematic Mapping Study on the Verification of Cyber-Physical Systems
    Duan, Pengfei
    Zhou, Ying
    Gong, Xufang
    Li, Bixin
    IEEE ACCESS, 2018, 6 : 59043 - 59064
12345