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

发布时间：2017-08-10 14:44

  本文关键词：信息物理融合系统的软件需求分析

  更多相关文章： 信息物理融合系统 软件需求 面向目标的方法 问题框架方法

【摘要】：计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性.
【作者单位】： 河南大学计算机与信息工程学院;高可信软件技术教育部重点实验室(北京大学);北京大学信息科学与技术学院软件研究所;
【关键词】： 信息物理融合系统 软件需求 面向目标的方法 问题框架方法
【基金】：国家自然科学基金(91318301,61300035,61402150) 中国博士后基金(2014M552000) 北京大学高可信软件技术教育部重点实验室开放课题(HCST201301) 河南省教育厅重点研究项目(14A520009)资助~~
【分类号】：TP311.52
【正文快照】： (2014M552000)、北京大学高可信软件技术教育部重点实验室开放课题(HCST201301)及河南省教育厅重点研究项目(14A520009)资phenomena.Starting from the physical phenomena desired by users,it then follows the goalbased analysis process,transforms the software require

【相似文献】

中国期刊全文数据库 前10条

1 毛利峰;;对软件需求分析的一些思考[J];计算机时代;2008年07期

2 蒋海昌;;降低软件需求分析风险之探索[J];计算机时代;2010年10期

3 王晓宁;;关于如何做好软件需求分析的探讨[J];科技资讯;2010年34期

4 李雪源;;浅论软件需求分析[J];信息与电脑(理论版);2012年02期

5 董文彬;;浅论软件需求分析[J];科技视界;2012年26期

6 汪莹;孙玉涛;;浅谈软件需求分析[J];电子世界;2012年17期

7 赵承乾;;软件需求分析方法创新分析[J];计算机光盘软件与应用;2013年03期

8 冯士心;软件需求分析的一种有效方法:编写“业务流程规范”[J];计算机时代;2001年07期

9 王继成,高珍;软件需求分析的研究[J];计算机工程与设计;2002年08期

10 熊俊,苏秦;基于过程要素的软件需求分析质量保证改进方法及案例研究[J];计算机应用研究;2003年10期

中国重要会议论文全文数据库 前1条

1 孙玫肖;;软件需求分析方法的研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年

中国重要报纸全文数据库 前1条

1 四川托普信息技术职业学院软件研究所所长 柏晓旭;用IPO图为信息系统建模[N];计算机世界;2009年

中国博士学位论文全文数据库 前1条

1 王培刚;基于复杂科学管理理论的软件需求分析研究[D];武汉大学;2012年

中国硕士学位论文全文数据库 前5条

1 颜思源;基于UML的软件需求分析过程及其实现[D];重庆大学;2003年

2 肖魏娜;一种基于BP神经网络的软件需求分析风险评估模型的研究[D];西南大学;2011年

3 李丽;UML的研究及其软件需求分析实现[D];中国农业大学;2001年

4 刘嵩;软件需求分析方法创新研究[D];武汉理工大学;2005年

5 肖晶;中国石油华中销售公司客户关系管理系统设计与开发[D];电子科技大学;2011年

，

本文编号：651295