|
|||||
|
|
| 一种面向CPS软件的可信性评估框架 | |
| 引用本文： | 邵玉珍,张侃,张广泉,陈名才,沈晓刚,李烨静.一种面向CPS软件的可信性评估框架[J].计算机与数字工程,2012,40(10):51-54. |
| 作者姓名： | 邵玉珍 张侃 张广泉 陈名才 沈晓刚 李烨静 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院 苏州 215006 2. 苏州大学计算机科学与技术学院 苏州 215006;中国科学院计算机科学国家重点实验室 北京 100190 3. 苏州大学司法鉴定所 苏州 215006 |
| 基金项目： | 江苏省自然科学基金(BK2011281);江苏省普通高校研究生科研创新计划(CXLX12_0809);江苏省大学生创新训练计划(2012yb010);苏州大学学生科研基金(KY2012383B,KY2012402B,KY2012404B)资助 |
| 摘 要： | 信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性. |
| 关 键 词： | CPS 软件可信性评估 可信性指标模型 可信性评估模型 |
A Trustworthiness Evaluation Framework for CPS Software |
|
| SHAO Yuzhen , ZHANG Kan , ZHANG Guangquan , CHEN Mingcai , SHEN Xiaogang , LI Yejing.A Trustworthiness Evaluation Framework for CPS Software[J].Computer and Digital Engineering,2012,40(10):51-54. | |
| Authors: | SHAO Yuzhen ZHANG Kan ZHANG Guangquan CHEN Mingcai SHEN Xiaogang LI Yejing |
| Affiliation: | 1(1.School of Computer Science and Technology,Soochow University,Suzhou 215006)(2.State Key Laboratory of Computer Science,Chinese Academy of Science,Beijing 100190)(3.Instiute of Forensis Sciences,Soochow University,Suzhou 215006) |
| Abstract: | Cyber-Physical System is a new kind of networked embedded system.There are many different embedded software in Cyber-physical System.And they interact with each other by network.How to ensure the trustworthiness of software and their interaction is the base of trustworthiness CPS.Against this problem,we propose a trustworthiness evaluation framework for CPS software is proposed.This framework contains two models: trustworthiness indicator model and trustworthiness evaluation model.Trustworthiness indicator model is constructed by analyzing requirement.And trustworthiness evaluation model evaluate the trustworthiness of software and their interaction by trustworthiness indicator model.At Last,an example is used to explain the effectiveness of the framework. |
| Keywords: | CPS software trustworthiness evaluation trustworthiness indicator model trustworthiness evaluation model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |