-
题名基于目标的信息物理融合系统事件模型的分析
被引量：1
- 1
-
-
作者
刘春
黄冉冉
韩道军
-
机构
河南大学
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期100-103,共4页
-
基金
国家自然科学基金(61300035)
中国博士后基金项目(2014M552000)
河南省教育厅科技攻关项目(14A520009)资助
-
文摘
软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难。从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型。该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生。基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型。以一个自适应巡航控制系统为案例来说明该方法。
-
关键词
信息物理融合系统
需求分析
面向目标的方法
事件模型
-
Keywords
Cyber-physical systems
Requirements analysis
Goal oriented approach
Event model
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名信息物理融合系统的软件需求分析
被引量：6
- 2
-
-
作者
刘春
黄冉冉
张伟
赵海燕
金芝
-
机构
河南大学计算机与信息工程学院
高可信软件技术教育部重点实验室(北京大学)
北京大学信息科学与技术学院软件研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2016年第11期2344-2354,共11页
-
基金
国家自然科学基金(91318301,61300035,61402150)
中国博士后基金(2014M552000)
+1 种基金
北京大学高可信软件技术教育部重点实验室开放课题(HCST201301)
河南省教育厅重点研究项目(14A520009)资助
-
文摘
计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性.
-
关键词
信息物理融合系统
软件需求
面向目标的方法
问题框架方法
-
Keywords
cyber physical systems
software requirements
goal oriented approach
problem frame approach
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
