上海市科委科技攻关项目(10dz1122600)
- 作品数：2 被引量：4H指数：1
- 相关作者：张骐向阳宗宇伟王鹏宋俊典更多>>
- 相关机构：上海计算机软件技术开发中心神华和利时信息技术有限公司同济大学更多>>
- 发文基金：上海市科委科技攻关项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向制造业信息化的软件综合评价模型研究
- 2013年
- 软件质量评价是软件质量保障研究的重要内容之一。当前软件质量评价的研究主要集中在通用模型的研究方面,普适性强但针对性差,不适用于某个特定领域或行业的软件质量评价。针对制造业信息化领域的应用需求,提出一种综合性的软件综合评价模型,系统地讨论基于该模型的软件质量综合评价方法和实现过程,并结合实际应用案例进行分析和验证。实验结果表明,该综合评价模型能有效地协助制造业企业在信息化实施时的软件评估和选型、软件评估活动的实施,从而指导面向领域应用的软件质量改进。
- 宋俊典杨爽杨根兴李婷
- 关键词：综合评估软件质量制造业信息化
- 基于时空π-演算的信息物理融合系统组件可替换性判定被引量：4
- 2012年
- 信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。
- 王鹏向阳宗宇伟张骐
