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 条

[1] Context modeling for cyber-physical systems
Daun, Marian
Tenbergen, Bastian
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (07)
[2] Modeling Cyber-Physical Systems for Automatic Verification
Driouich, Youssef
Parente, Mimmo
Tronci, Enrico
2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
[3] A comprehensive survey on modeling of cyber-physical systems
Graja, Imen
Kallel, Slim
Guermouche, Nawal
Cheikhrouhou, Saoussen
Kacem, Ahmed Hadj
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (15)
[4] Modeling Cyber-Physical Production Systems With SystemC-AMS
Fraccaroli, Enrico
Vinco, Sara
IEEE TRANSACTIONS ON COMPUTERS, 2023, 72 (07) : 2039 - 2051
[5] RoSA: A Framework for Modeling Self-Awareness in Cyber-Physical Systems
Gotzinger, Maximilian
Juhasz, David
Taherinejad, Nima
Willegger, Edwin
Tutzer, Benedikt
Liljeberg, Pasi
Jantsch, Axel
Rahmani, Amir M.
IEEE ACCESS, 2020, 8 : 141373 - 141394
[6] 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
[7] Modeling and Requirements on the Physical Side of Cyber-Physical Systems
Heimdahl, Mats P. E.
Duan, Lian
Murugesan, Anitha
Rayadurgam, Sanjai
2013 2ND INTERNATIONAL WORKSHOP ON THE TWIN PEAKS OF REQUIREMENTS AND ARCHITECTURE (TWINPEAKS), 2013, : 1 - 7
[8] Modeling Methodology for Autonomous Cyber-Physical Systems
Pinto, Alessandro
2ND INTERNATIONAL WORKSHOP ON COMPUTATION-AWARE ALGORITHMIC DESIGN FOR CYBER-PHYSICAL SYSTEMS (CAADCPS 2022), 2022, : 1 - 2
[9] Cyber-Physical Manufacturing Systems
Tilbury, Dawn M.
ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 2, 2019, 2 : 427 - 443
[10] Cyber-physical systems in manufacturing
Monostori, L.
Kadar, B.
Bauernhansl, T.
Kondoh, S.
Kumara, S.
Reinhart, G.
Sauer, O.
Schuh, G.
Sihn, W.
Ueda, K.
CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2016, 65 (02) : 621 - 641

← 1 2 3 4 5 →