Physical and Cyber Convergence Approach to Design Future Complex Aviation Cyber Physical Systems

被引：0

作者：

Chen, Wenqi ^{[1
]}

Zhang, Lichen ^{[1
]}

机构：

[1] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China

来源：

PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE | 2015年

关键词：

component; Convergence; Aviation Cyber Physical System; CPS; Modelica; AADL; Spatial-Temporal Features; Dynamic Continuous Features;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Aviation Cyber-Physical Systems are the integration of cyber systems and physical systems. Recent concentration to Aviation Cyber Physical Systems (ACPS) is driven by the demand for deeper Convergence of design disciplines that integrate physical and computational worlds. In this paper, we supply a new idea to support cyber-physical system design by proposing multi-dimension and multi-domain approach; we take a combination of different methodologies in a multi-formalism approach from different views. The effectiveness of the approach is illustrated by means of one practical case study: specifying and modeling Aviation Cyber-Physical Systems. We specify and model Aviation Cyber-Physical Systems with integrating Modelica and Architecture Analysis & Design Language (AADL), the physical world is modeled by Modelica, the cyber part is modeled by AADL.

引用

页码：541 / 544

页数：4

共 50 条

[21] Cyber Physical Systems
不详
[J]. ATP EDITION, 2012, (11): : 12 - 12
[22] Resilient Cyber-Security Approach For Aviation Cyber-Physical Systems Protection Against Sensor Spoofing Attacks
Alsulami, Abdulaziz A.
Zein-Sabatto, Saleh
[J]. 2021 IEEE 11TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2021, : 565 - 571
[23] A Cyber-Physical System Design Approach
Sveda, Miroslav
Vrba, Radimir
[J]. PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON SYSTEMS (ICONS 2011), 2011, : 12 - 18
[24] An Approach to Model Complex Big Data Driven Cyber Physical Systems
Zhang, Lichen
[J]. ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2014, PT I, 2014, 8630 : 740 - 754
[25] A Systems Security Approach for Requirements Analysis of Complex Cyber-Physical Systems
Span, Martin Trae
Mailloux, Logan O.
Grimaila, Michael R.
Young, William Bill
[J]. 2018 INTERNATIONAL CONFERENCE ON CYBER SECURITY AND PROTECTION OF DIGITAL SERVICES (CYBER SECURITY), 2018,
[26] Design Time Considerations For Cyber Physical Systems
Usman, Awais
Mukhtar, Hamid
[J]. 2012 IEEE INTERNATIONAL CONFERENCE ON GREEN COMPUTING AND COMMUNICATIONS, CONFERENCE ON INTERNET OF THINGS, AND CONFERENCE ON CYBER, PHYSICAL AND SOCIAL COMPUTING (GREENCOM 2012), 2012, : 442 - 445
[27] Design Automation for Cyber-Physical Systems
Zhu, Qi
Sangiovanni-Vincentelli, Alberto
Hu, Shiyan
Li, Xin
[J]. PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
[28] Design and Analysis of Cyber-Physical Systems
Plakhotnikov, Dmitriy P.
Kotova, Elena E.
[J]. PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
[29] Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems
Zhang, Lichen
[J]. PROGRESS IN SYSTEMS ENGINEERING, 2015, 366 : 621 - 628
[30] Automated Malware Design for Cyber Physical Systems
Tantawy, Ashraf
[J]. 9TH INTERNATIONAL SYMPOSIUM ON DIGITAL FORENSICS AND SECURITY (ISDFS'21), 2021,

← 1 2 3 4 5 →