摘要
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。
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.
出处
《计算机与数字工程》
2012年第10期51-54,共4页
Computer & Digital Engineering
基金
江苏省自然科学基金(BK2011281)
江苏省普通高校研究生科研创新计划(CXLX12_0809)
江苏省大学生创新训练计划(2012yb010)
苏州大学学生科研基金(KY2012383B
KY2012402B
KY2012404B)资助
关键词
CPS
软件可信性评估
可信性指标模型
可信性评估模型
CPS
software trustworthiness evaluation
trustworthiness indicator model
trustworthiness evaluation model