Modeling Cyber-Physical Systems

被引：533

作者：

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] Modeling and Simulating Cyber-Physical Systems using CyPhySim
Lee, Edward A.
Niknami, Mehrdad
Nouidui, Thierry S.
Wetter, Michael
2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 115 - 124
[32] Computational Modeling of Age of Information for Cyber-physical Systems
Prandel, Paulo Cesar
Barreto, Priscila Solis
2021 IEEE LATIN-AMERICAN CONFERENCE ON COMMUNICATIONS (LATINCOM 2021), 2021,
[33] Modeling and Simulation of Cyberattacks for Resilient Cyber-Physical Systems
Rashid, Nafiul
Wan, Jiang
Quiros, Gustavo
Canedo, Arquimedes
Al Faruque, Mohammad Abdullah
2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 988 - 993
[34] Topological Structure Modeling and Analysis for Cyber-Physical Systems
Qiu Hangping
Yang Zhicai
Quan Jichuan
Lei Zhipeng
2014 IEEE 7TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC), 2014, : 523 - 526
[35] On Threat Modeling and Mitigation of Medical Cyber-Physical Systems
Almohri, Hussain
Cheng, Long
Yao, Danfeng
Alemzadeh, Homa
2017 IEEE/ACM SECOND INTERNATIONAL CONFERENCE ON CONNECTED HEALTH - APPLICATIONS, SYSTEMS AND ENGINEERING TECHNOLOGIES (CHASE), 2017, : 114 - 119
[36] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
Chatterjee, Amrita
Reza, Hassan
2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
[37] Modeling and Verification of Cyber-Physical Systems under uncertainty
Geng, Shengling
Peng, Jiao
Li, Ping
2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
[38] A Conceptual Framework for Modeling and Design of Cyber-Physical Systems
Dumitrache, Ioan
Sacala, Ioan Stefan
Moisescu, Mihnea Alexandru
Caramihai, Simona Iuliana
STUDIES IN INFORMATICS AND CONTROL, 2017, 26 (03): : 325 - 334
[39] A NEW MODELING FRAMEWORK FOR CYBER-PHYSICAL AND HUMAN SYSTEMS
Poursoltan, Milad
Pinede, Nathalie
Vallespir, Bruno
Traore, Mamadou Kaba
PROCEEDINGS OF THE 2022 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'22), 2022, : 90 - 101
[40] Design Considerations for Modeling Modes in Cyber-Physical Systems
Murugesan, Anitha
Rayadurgam, Sanjai
Whalen, Michael W.
Heimdahl, Mats P. E.
IEEE DESIGN & TEST, 2015, 32 (05) : 66 - 73

← 1 2 3 4 5 →