欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
计算过程与物理过程的融合使得信息物理融合系统（Cyber-Physical S y St e m S ,C P S ） 的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将C P S 中的软件看成一个整体去描述它的外部行为,而需要分析C P S所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为, 以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于C P S 的软件需求分析方法. 该方法采用现象间的因果关系式这一具体形式来统一描述C P S 中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性; 并且用一个自适应巡航控制系统的案例来说明所提方法的可行性.
同期刊论文项目
同项目期刊论文
期刊信息
位置：