广东工业大学学报 ›› 2019, Vol. 36 ›› Issue (06): 59-65.doi: 10.12052/gdutxb.190037
刘珍娟, 张立臣
Liu Zhen-juan, Zhang Li-chen
摘要: 在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile Cyber-Physical System)的出现.针对MCPS主要以硬件资源为核心,自动化水平不高的问题,本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL(Architectural Analysis and Design Language)对硬件资源虚拟化,然后使用软件定义的方法对硬件资源进行分析和处理,可以有效提高MCPS系统的自动化水平.以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例,详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证,证实了基于软件定义建模的可行性与有效性.
中图分类号:
[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. |
|