期刊文献+

基于软件定义的移动信息物理融合系统 被引量:1

A Mobile Cyber-Physical System Based on Software Definition
下载PDF
导出
摘要 在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile CyberPhysical System)的出现.针对MCPS主要以硬件资源为核心,自动化水平不高的问题,本文提出了一种基于软件定义的MCPS建模方法.通过结构分析与设计语言AADL(Architectural Analysis and Design Language)对硬件资源虚拟化,然后使用软件定义的方法对硬件资源进行分析和处理,可以有效提高MCPS系统的自动化水平.以移动车辆自主处理分析传感器数据并控制车辆的驾驶为案例,详细介绍系统的组成和建模过程.并通过添加安全附件对该模型的安全性进行分析验证,证实了基于软件定义建模的可行性与有效性. 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.
作者 刘珍娟 张立臣 Liu Zhen-juan;Zhang Li-chen(School of Computers,Guangdong University of Technology,Guangzhou 510006,China)
出处 《广东工业大学学报》 CAS 2019年第6期59-65,共7页 Journal of Guangdong University of Technology
基金 国家自然科学基金资助项目(61873068)
关键词 移动信息物理融合系统 软件定义 结构分析与设计语言 mobile cyber physical systems(MCPS) software-definition architectural analysis and design language(AADL)
  • 相关文献

参考文献4

二级参考文献31

  • 1王小乐,陈丽娜,黄宏斌,邓苏.一种面向服务的CPS体系框架[J].计算机研究与发展,2010,47(S2):299-303. 被引量:22
  • 2李鲸,陶军.一种服务质量可定制主动路由选择算法的研究[J].计算机应用,2004,24(12):53-55. 被引量:2
  • 3刘辉,麻志毅,邵维忠.模型转换中特性保持的描述与验证[J].软件学报,2007,18(10):2369-2379. 被引量:19
  • 4何积丰.信息物理融合系统[J].中国计算机学会通讯,2010,6(1) :25-29.
  • 5朱晨曝.基于AADL的信息物理融合系统的分析与设计方法[D].广州:广东工业大学计算机学院,2014.
  • 6DHA1T G,T0UZ0T G. Finite element method[M]. New-York:John Wiley & Sons,2012.
  • 7TINNEY W F, WALKER J W. Direct solutions of sparsenetwork equations by optimally ordered triangular factori-zation [J] . Proceedings of the IEEE,1967,55 ( 1 ) : 1801-1809.
  • 8SCHMITT J,FFITSCH M,GA1TERMANN J,et al. Numer-ical investigations to the influence of rearrangement ofground pressure for shield tunneling[ C] //Proc ICOSSAR2005.Rotterdam :Mill Press, 2005 : 1317-1323.
  • 9VANDERPERREN Y,DEHAENE W. From UMUSysMLto Matlab/Simulink: current state and future perspectives[C] // Proceedings of the conference on Design,automa-tion and test in Europe. European : Design and AutomationAssociation,2006 : 93 -93.
  • 10TAMURA M,KAMIYAMA T,S0EDA T,et al. A modeltransformation environment for embedded control softwaredesign with simulink models and UML models [ C ] // Pro-ceedings of the International MultiConference of Engineersand Computer Scientists. [S. 1. :s. n. ],2012:345-354.

共引文献15

同被引文献22

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部