信息物理融合系统的软件需求分析-计算机学报.PDF

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 信息物理融合系统的软件需求分析 ） ） ），） ），） ），） １ １ ２ ３ ２ ３ ２ ３ 刘 春 黄冉冉 张 伟 赵海燕 金 芝 　 　 　 　 　 　 　 １）（河南大学计算机与信息工程学院 河南 开封 ４７５００１） 　 　 ２）（高可信软件技术教育部重点实验室（北京大学） 北京 １００８７１） 　 　 ３）（北京大学信息科学与技术学院软件研究所 北京 １００８７１） 　 　 摘 要 计算过程与物理过程的融合使得信息物理融合系统（ ， ）的软件需求分析成为 ＣｂｅｒＰｈｓｉｃａｌＳｓｔｅｍｓＣＰＳ 　 　 ｙ ｙ ｙ 一个具有挑战性的任务 首先，分析人员需要从用户所期望实现的物理实体变化出发，基于对物理实体性质的认识 ． 来推理分析软件需求；其次分析人员已不能将 ＣＰＳ中的软件看成一个整体去描述它的外部行为，而需要分析 ＣＰＳ 所应包含的各个软件实体和物理实体，描述每个物理实体的性质和软件实体应具有的行为；还有计算过程与物理 过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为，以方便用户需求 的满足性验证 基于问题框架方法和面向目标方法，作者提出了一种适合于 的软件需求分析方法 该方法采用 ． ＣＰＳ ． 现象间的因果关系式这一具体形式来统一描述 ＣＰＳ中物理实体的性质和软件实体的需求，然后从用户所期望的物 理现象出发，遵循面向目标的方法，将 ＣＰＳ软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的 过程，最后通过基于 Ａｌｌｏｙ的目标现象可达性验证来检验用户需求的可满足性；并且用一个自适应巡航控制系统的 案例来说明所提方法的可行性． 关键词 信息物理融合系统；软件需求；面向目标的方法；问题框架方法 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．０２３４４ 　　　 犃狀犪犾狕犻狀 犛狅犳狋狑犪狉犲犚犲狌犻狉犲犿犲狀狋狊犳狅狉犆犫犲狉犘犺狊犻犮犪犾犛狊狋犲犿狊