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 条

[21] On modeling of electrical cyber-physical systems considering cyber security
Yi-nan Wang
Zhi-yun Lin
Xiao Liang
Wen-yuan Xu
Qiang Yang
Gang-feng Yan
Frontiers of Information Technology & Electronic Engineering, 2016, 17 : 465 - 478
[22] Cyber-physical modeling and simulation: A reference architecture for designing demonstrators for industrial cyber-physical systems
Oks, Sascha Julian
Jalowski, Max
Fritzsche, Albrecht
Moeslein, Kathrin M.
29TH CIRP DESIGN CONFERENCE 2019, 2019, 84 : 257 - 264
[23] Physical modeling of material flows in cyber-physical production systems
Glatt, Moritz
Aurich, Jan C.
7TH INTERNATIONAL CONFERENCE ON CHANGEABLE, AGILE, RECONFIGURABLE AND VIRTUAL PRODUCTION (CARV2018), 2019, 28 : 10 - 17
[24] Cyber-physical Systems
Wolf, Wayne
COMPUTER, 2009, 42 (03) : 88 - 89
[25] Cyber-Physical Systems
Letichevsky A.A.
Letychevskyi O.O.
Skobelev V.G.
Volkov V.A.
Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
[26] CYBER-PHYSICAL SYSTEMS
Zanero, Stefano
COMPUTER, 2017, 50 (04) : 15 - 16
[27] Cyber-Physical Systems
Lamnabhi-Lagarrigue, Francoise
Di Benedetto, Maria Domenica
Schoitsch, Erwin
ERCIM NEWS, 2014, (97): : 6 - 7
[28] Cyber-physical Systems
Vogel-Heuser, Birgit
Kowalewski, Stefan
AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
[29] Reliability Modeling and Assessment of Cyber Space in Cyber-Physical Power Systems
He, Ruiwen
Xie, Haijun
Deng, Jianhua
Feng, Teng
Lai, Loi Lei
Shahidehpour, Mohammad
IEEE TRANSACTIONS ON SMART GRID, 2020, 11 (05) : 3763 - 3773
[30] Fundamental Challenges of Cyber-Physical Systems Security Modeling
Bakirtzis, Georgios
Ward, Garrett L.
Deloglos, Christopher J.
Elks, Carl R.
Horowitz, Barry M.
Fleming, Cody H.
2020 50TH ANNUAL IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME (DSN-S), 2020, : 33 - 36

← 1 2 3 4 5 →