-
题名基于体系结构的信息物理融合系统的研究与分析
被引量：1
- 1
-
-
作者
梁刚强
张立臣
-
机构
广东工业大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第6期1371-1376,共6页
-
基金
国家自然科学基金项目(61370082)资助
国家自然科学基金项目(61173046)资助
-
文摘
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在Acme Studio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.
-
关键词
体系结构描述语言
信息物理融合系统
cps体系结构模式
有限状态进程
线性混合自动机
-
Keywords
architecture description language
cyber-physical systems
cps architecture style
finite state process
linear hybrid automata
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名信息-物理融合系统若干关键问题综述
被引量：76
- 2
-
-
作者
李仁发
谢勇
李蕊
李浪
-
机构
湖南大学嵌入式系统及网络实验室
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第6期1149-1161,共13页
-
基金
国家自然科学基金项目(61173036
60873074)
+1 种基金
"核高基"国家科技重大专项基金项目(2009ZX01038-001)
湖南省研究生科研创新基金项目(CX2010B140)
-
文摘
信息-物理融合系统(Cyber-Physical System,CPS)集成了计算系统与物理系统,并通过嵌入式计算机与网络实现了两者之间的协作和融合,将对人们的生产和生活方式产生重要影响.CPS是一个全新的研究领域,利用现有基础理论和技术设计CPS时面临着众多问题.介绍了CPS的概念、特点和体系结构,分析了与嵌入式系统、网络的关联,从计算系统、网络系统和控制系统3个方面概括了CPS设计面临的主要挑战,并着重探讨了当前一些可用于CPS设计的理论和技术以及CPS研究的最新进展,指出CPS当前的发展应以解决系统抽象层次设计、系统建模、体系结构设计、数据传输和管理、子系统集成方面的问题作为其下一步发展主要的研究方向,并提出了一些可行的解决办法,可为相关研究提供参考.
-
关键词
信息-物理融合系统(cps)
综述
cps体系结构
嵌入式系统
网络
-
Keywords
cyber-physical system （cps） survey cps architecture embedded system network
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
TP393
[自动化与计算机技术—计算机应用技术]
-
