信息物理融合系统的软件需求分析

• 作者: 刘春 张伟 赵海燕 金芝 黄冉冉
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 信息物理融合系统 软件需求 面向目标的方法 问题框架方法
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 软件技术
• 页码范围: 2344-2354
• 页数: 11页
• 分类号: TP311
• 字数: 9517字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2016.02344

摘要

计算过程与物理过程的融合使得信息物理融合系统（Cyber-Physical Systems，CPS）的软件需求分析成为一个具有挑战性的任务。首先，分析人员需要从用户所期望实现的物理实体变化出发，基于对物理实体性质的认识来推理分析软件需求；其次分析人员已不能将 CPS 中的软件看成一个整体去描述它的外部行为，而需要分析 CPS所应包含的各个软件实体和物理实体，描述每个物理实体的性质和软件实体应具有的行为；还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为，以方便用户需求的满足性验证。基于问题框架方法和面向目标方法，作者提出了一种适合于 CPS 的软件需求分析方法。该方法采用现象间的因果关系式这一具体形式来统一描述 CPS 中物理实体的性质和软件实体的需求，然后从用户所期望的物理现象出发，遵循面向目标的方法，将 CPS 软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程，最后通过基于 Alloy 的目标现象可达性验证来检验用户需求的可满足性；并且用一个自适应巡航控制系统的案例来说明所提方法的可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张伟		61	784	13.0	27.0
3	金芝		13	98	5.0	9.0
5	赵海燕		42	297	8.0	16.0
11	刘春	河南大学计算机与信息工程学院	10	45	3.0	6.0
12	黄冉冉	河南大学计算机与信息工程学院	2	16	1.0	2.0