Seamless validation of cyber-physical systems under real-time conditions by using a cyber-physical laboratory test field

被引:1
作者
Jacobitz, Sven [1 ]
Gollner, Marian [1 ]
Zhang, Jie [1 ]
Yarom, Or Aviv [1 ]
Liu-Henke, Xiaobo [1 ]
机构
[1] Ostfalia Univ Appl Sci, Dept Mech Engn, Inst Mechatron, Salzdahlumer Str 46-48, D-38302 Wolfenbuttel, Germany
来源
IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021) | 2021年
关键词
Cyber-Physical Systems; Model-Based System Design; System Verification; Systems Integration; Real-Time Simulation; Autonomous Driving;
D O I
10.1109/RASSE53195.2021.9686844
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Cyber-physical systems (CPS) form the basis for many future-oriented technologies such as autonomous driving or Industry 4.0. The development and, in particular, the validation of such systems under real-time conditions represent a major challenge despite extensive software tools. Nowadays, the latter can only be done by replicating the system as a model (with corresponding simplifications, which only inadequately reflect the emergent system behavior) or by testing it in the later operational environment (which leads to non-reproducible results and a high hazard potential). A tool for the investigation of the emergent system behavior under consideration of all real influences such as latencies and discretization is missing. The following paper presents the seamless validation of CPS under real-time conditions by using a cyber-physical laboratory Test Field as an approach for addressing the problem outlined above. This allows the CPS, scaled to laboratory size, to be examined under realistic conditions. Based on the recent state of knowledge, the current development and validation methodology for CPS as well as its tool support is analyzed. Based on identified gaps, a concept for the test field is elaborated. The design of the test field for different configurations is performed to fill the identified gaps. With the help of a complex, end-to-end case study - conflict-free trajectory planning and decentralized order management - both, the extended methodology and the basic functions of the test field, are to be validated.
引用
收藏
页数:8
相关论文
共 50 条
[41]   Cyber-Physical Systems in Smart Transportation [J].
Moeller, Dietmar P. F. ;
Vakilzadian, Hamid .
2016 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2016, :776-781
[42]   Threat modeling in cyber-physical systems [J].
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
[43]   Doping Tests for Cyber-physical Systems [J].
Biewer, Sebastian ;
D'Argenio, Pedro ;
Hermanns, Holger .
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2021, 31 (03)
[44]   Programming Cyber-Physical Systems with MacroLab [J].
Sookoor, Tamim I. ;
Hnat, Timothy W. ;
Whitehouse, Kamin .
SENSYS'08: PROCEEDINGS OF THE 6TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2008, :363-364
[45]   Linking Trust to Cyber-Physical Systems [J].
Auer, Dagmar ;
Jaeger, Markus ;
Kueng, Josef .
DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2019), 2019, 1062 :119-128
[46]   Survey on Education for Cyber-Physical Systems [J].
Marwedel, Peter ;
Mitra, Tulika ;
Grimheden, Martin Edin ;
Andrade, Hugo A. .
IEEE DESIGN & TEST, 2020, 37 (06) :56-70
[47]   Towards Collaborative Cyber-Physical Systems [J].
Nazarenko, Artem A. ;
Camarinha-Matos, Luis M. .
2017 INTERNATIONAL YOUNG ENGINEERS FORUM (YEF-ECE), 2017, :12-17
[48]   A Framework for Developing Cyber-Physical Systems [J].
He, Xudong ;
Dong, Zhijiang ;
Yin, Heng ;
Fu, Yujian .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) :1361-1386
[49]   Runtime Enforcement of Cyber-Physical Systems [J].
Pinisetty, Srinivas ;
Roop, Partha S. ;
Smyth, Steven ;
Allen, Nathan ;
Tripakis, Stavros ;
Von Hanxleden, Reinhard .
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16
[50]   Cyber-Physical Systems in STEM Disciplines [J].
Azad, Abul K. M. ;
Hashemian, Reza .
PROCEEDINGS OF THE 2016 SAI COMPUTING CONFERENCE (SAI), 2016, :868-874