本文提出了一种基于软件定义的MCPS建模方法. 通过结构分析与设计语言AADL(Architectural Analysis and Design Language)对硬件资源虚拟化
然后使用软件定义的方法对硬件资源进行分析和处理
可以有效提高MCPS系统的自动化水平. 以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例
详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证
证实了基于软件定义建模的可行性与有效性.
Abstract
Installing sensors and other devices in vehicles such as cars and aircraft have led to the emergence of a new generation of mobile cyber-physical system (MCPS). However
MCPS is mainly based on hardware resources and has low automation level. A MCPS modeling method is proposed based on software defined approach. Virtualizing the hardware resources by AADL (Architectural Analysis and Design Language)
and then analyzing and processing the hardware resources through the software-defined method
the automation level of the MCPS system can be effectively improved. The mobile vehicle which autonomously processes and analyzes sensor data for controlling vehicle driving is taken as an instance and the system composition and model is described. Finally
the security of the system is analyzed by adding a secure annex. This instance demonstrates the feasibility and effectiveness of software-defined modeling method.
关键词
Keywords
references
LIU Y, PENG Y, WANG B, et al . Review on cyber- physical systems [J ] . IEEE/CAA Journal of Automatic Sonica, 2017, 4(1): 27-40.
XIONG G. Cyber-physical-social system in intelligent transportation [J]. IEEE/CAA Journal of Automatica Sinica, 2015, 2(3): 320-333.
LEE E A. The past, present and future of cyber-physical systems: a focus on models [J]. Sensors, 2015, 15(3): 4837-4869.
ZHANG L. A framework to specify big data driven complex cyber physical control systems[C]// International Conference on Information and Automation (ICIA). [S. l.]: IEEE, 2014: 548-553.
COLOMBO A W, KARNOUSKOS S, KAYNAK O, et al . Industrial cyberphysical systems: a backbone of the fourth industrial revolution [J ] . IEEE Industrial Electronics Magazine, 2017, 11(1): 6-16.
HARISON ROBERT, D. VERA, B. AHMAD, et al . Engineering methods and tools for cyber-physical automation systems [J ] . Proceedings of the IEEE, 2016, 104(5): 973-985.
ZHU Q, BASAR T. A hierarchical security architecture for cyber-physical systems [J]. Office of Scientific Technical Information Technical Reports, 2011, 1(3): 15-20.
TANG L A, HAN J, JIANG G. Mining sensor data in cyber-physical systems [J]. Tsinghua Science and Technology, 2014, 19(3): 225-234.
BABICEANU R F, SEKER R. Big data and virtualization for manufacturing cyber-physical systems: a survey of the current status and future outlook [J]. Computers in Industry, 2016, 81: 128-137.
CHENG Q H, ZHANG L C. A semantic model analysis for cyber-physical systems [J]. Journal of Guangdong University of Technology, 2016, 33(3): 43-48.
XU H, CHEN H W, ZONG X L. Semantic-mismatching of management information for software-defined networking based on extension theory [J]. Journal of Guangdong University of Technology, 2017, 34(4): 17-21.
KATHIRAVELU P, VEIGA L. SD-CPS: Taming the challenges of cyber-physical systems with a software-defined approach[C]//International Conference on Software Defined Systems. [S. l.]: IEEE, 2017: 6-13.
FENG S, ZHANG L. Model transformation for cyber physical systems. advances in computer science and its applications[M]. Berlin, Heidelberg: Springer, 2014. 83-87.
CHEN H H, ZHANG L C. Cyber-physical system adaptive routing service with large data [J]. CEA, 2018, 54(1): 94-101.
YANG F, LIU Y, LI R F, et al . A modeling method research based on data in cyber-physical system [J ] . Chinese Journal of Computers, 2016, 39(5): 961-972.