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 条

[21] Modeling more software performance antipatterns in cyber-physical systems
Pinciroli, Riccardo
Smith, Connie U.
Trubiani, Catia
SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04) : 1003 - 1023
[22] A Calculus of Cyber-Physical Systems
Lanotte, Ruggero
Merro, Massimo
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017), 2017, 10168 : 115 - 127
[23] Knowledge-based cyber-physical systems for assembly automation
Merdan, Munir
Hoebert, Timon
List, Erhard
Lepuschitz, Wilfried
PRODUCTION AND MANUFACTURING RESEARCH-AN OPEN ACCESS JOURNAL, 2019, 7 (01): : 223 - 254
[24] Review of Cyber-Physical Systems Modeling With UML, SysML, and MARTE
Opranescu, Veronica
Ionita, Anca Daniela
IEEE ACCESS, 2025, 13 : 47132 - 47145
[25] Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL
Huang, Ping
Jiang, Kaiqiang
Guan, Chunlin
Du, Dehui
2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 264 - 269
[26] Accountability in Cyber-Physical Systems
Datta, Anupam
Kar, Soummya
Sinopoli, Bruno
Weerakkody, Sean
2016 SCIENCE OF SECURITY FOR CYBER-PHYSICAL SYSTEMS WORKSHOP (SOSCYPS), 2016,
[27] Data Center Modeling Using a Cyber-Physical Systems Lens
Levy, Moises
Raviv, Daniel
Hallstrom, Jason O.
2019 IEEE 9TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2019, : 146 - 155
[28] METROII: A Design Environment for Cyber-Physical Systems
Davare, Abhijit
Densmore, Douglas
Guo, Liangpeng
Passerone, Roberto
Sangiovanni-Vincentelli, Alberto L.
Simalatsar, Alena
Zhu, Qi
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12
[29] Smart Agents in Industrial Cyber-Physical Systems
Leitao, Paulo
Karnouskos, Stamatis
Ribeiro, Luis
Lee, Jay
Strasser, Thomas
Colombo, Armando W.
PROCEEDINGS OF THE IEEE, 2016, 104 (05) : 1086 - 1101
[30] Understanding the impact of cyber-physical correlation on security analysis of Cyber-Physical Systems
Jiang, Luanjuan
Chen, Xin
2021 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS DASC/PICOM/CBDCOM/CYBERSCITECH 2021, 2021, : 529 - 534

← 1 2 3 4 5 →