广东工业大学学报 ›› 2019, Vol. 36 ›› Issue (06): 59-65.doi: 10.12052/gdutxb.190037

• 综合研究 • 上一篇    下一篇

基于软件定义的移动信息物理融合系统

刘珍娟, 张立臣   

  1. 广东工业大学 计算机学院, 广东 广州 510006
  • 收稿日期:2019-03-15 出版日期:2019-11-28 发布日期:2019-11-01
  • 通信作者: 张立臣(1962-),男,教授.主要研究方向为为信息物理融合系统.E-mail:zhanglichen1962@163.com E-mail:zhanglichen1962@163.com
  • 作者简介:刘珍娟(1995-),女,硕士研究生.主要研究方向为信息物理融合系统.
  • 基金资助:
    国家自然科学基金资助项目(61873068)

A Mobile Cyber-Physical System Based on Software Definition

Liu Zhen-juan, Zhang Li-chen   

  1. School of Computers, Guangdong University of Technology, Guangzhou 510006, China
  • Received:2019-03-15 Online:2019-11-28 Published:2019-11-01

摘要: 在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile Cyber-Physical System)的出现.针对MCPS主要以硬件资源为核心,自动化水平不高的问题,本文提出了一种基于软件定义的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.

Key words: mobile cyber physical systems(MCPS), software-definition, architectural analysis and design language(AADL)

中图分类号: 

  • TP302
[1] 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
[2] XIONG G. Cyber-physical-social system in intelligent transportation[J]. IEEE/CAA Journal of Automatica Sinica, 2015, 2(3):320-333
[3] LEE E A. The past, present and future of cyber-physical systems:a focus on models[J]. Sensors, 2015, 15(3):4837-4869
[4] 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.
[5] 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
[6] 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
[7] 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
[8] TANG L A, HAN J, JIANG G. Mining sensor data in cyber-physical systems[J]. Tsinghua Science and Technology, 2014, 19(3):225-234
[9] 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
[10] 覃华. 大数据驱动的车联网信息物理融合系统的分析与设计方法[D]. 广州:广东工业大学, 2016.
[11] 程奇华, 张立臣. 信息物理融合系统语义模型分析[J]. 广东工业大学学报, 2016, 33(3):43-48 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
[12] 徐慧, 陈宏伟, 宗欣露. 基于可拓论的SDN管理信息语义不匹配问题研究[J]. 广东工业大学学报, 2017, 34(4):17-21 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
[13] 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.
[14] FENG S, ZHANG L. Model transformation for cyber physical systems. advances in computer science and its applications[M]. Berlin, Heidelberg:Springer, 2014. 83-87.
[15] 李揭阳. 基于AADL的信息物理融合系统的建模与验证[D]. 南京:南京航空航天大学, 2017.
[16] 陈海华, 张立臣. 大数据下的CPS自适应路由服务[J]. 计算机工程与应用, 2018, 54(1):94-101 CHEN H H, ZHANG L C. Cyber-physical system adaptive routing service with large data[J]. CEA, 2018, 54(1):94-101
[17] 杨帆, 刘彦, 李仁发, 等. 一种基于数据驱动的CPS建模方法研究[J]. 计算机学报, 2016, 39(5):961-972 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
[1] 徐慧, 陈宏伟, 宗欣露. 基于可拓论的SDN管理信息语义不匹配问题研究[J]. 广东工业大学学报, 2017, 34(04): 17-21.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!