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 条

[1] Threat modeling in cyber-physical systems
Fernandez, Eduardo B.
2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 448 - 453
[2] Modeling Architectures of Cyber-Physical Systems
Kusmenko, Evgeny
Roth, Alexander
Rumpe, Bernhard
von Wenckstern, Michael
MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
[3] Modeling security in cyber-physical systems
Burmester, Mike
Magkos, Ernmanouil
Chrissikopoulos, Vassilis
INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2012, 5 (3-4) : 118 - 126
[4] Context modeling for cyber-physical systems
Daun, Marian
Tenbergen, Bastian
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (07)
[5] Challenges in Modeling Cyber-Physical Systems
Broy, Manfred
2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5
[6] Compositional Cyber-Physical Systems Modeling
Bakirtzis, Georgios
Vasilakopoulou, Christina
Fleming, Cody H.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
[7] A first Cyber-Physical Systems of Systems modeling
Maurice, Olivier
2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
[8] 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
[9] Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems
Ruchkin, Ivan
Samuel, Selva
Schmerl, Bradley
Rico, Amanda
Garlan, David
2016 IEEE 3RD WORLD FORUM ON INTERNET OF THINGS (WF-IOT), 2016, : 210 - 215
[10] 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):

← 1 2 3 4 5 →