黄冉冉
- 作品数：3 被引量：7H指数：1
- 供职机构：河南大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于目标的信息物理融合系统事件模型的分析被引量：1
- 2017年
- 软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信息物理融合系统事件模型的建立带来了新的困难。从需求分析的角度出发,提出一种基于目标的方法来分析并建立信息物理融合系统的事件模型。该方法认为用户建立系统的目标可以表达为事件之间的因果关系,即当一个事件发生时系统要能够感知并触发另外一个事件发生。基于此,该方法从用户对信息物理融合系统的需求出发,以目标的与/或分解为手段来分析满足用户需求的事件模型。以一个自适应巡航控制系统为案例来说明该方法。
- 刘春黄冉冉韩道军
- 关键词：信息物理融合系统
- 信息物理融合系统中软件需求的分析方法研究
- 信息物理融合系统（CPS）是一种既包含物理实体又包含软件实体、融合物理过程与计算过程的混合系统，它已经成为当今工业信息化发展的新趋势，并将最终改变人与物理世界交互的方式。在信息物理融合系统的运行过程中，软件实体监控物理实...
- 黄冉冉
- 关键词：信息物理融合系统面向目标
- 信息物理融合系统的软件需求分析被引量：6
- 2016年
- 计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性.
- 刘春黄冉冉张伟张伟赵海燕
- 关键词：信息物理融合系统
