中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于体系结构能耗建模的CPS软件可信性评估方法
Alternative Title: Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling
Author: 张广泉 ; 张侃 ; 祝义 ; 周航
Keyword: 信息物理融合系统 ; 软件可信性评估 ; 可信性指标模型 ; 能耗建模 ; (CPS) cyber physical systems ; software trustworthiness evaluation ; trustworthiness indicator model ; energy con-sumption modeling
Source: 电子学报
Issued Date: 2013
Issue: 11, Pages:2270-2275
Department: 苏州大学计算机科学与技术学院,江苏苏州 215006; 南京大学计算机软件新技术国家重点实验室,江苏南京 210093 苏州大学计算机科学与技术学院,江苏苏州 215006; 中国科学院软件研究所计算机科学国家重点实验室,北京 100190 江苏师范大学计算机科学与技术学院,江苏徐州,221116 南京航空航天大学民航学院,江苏南京,210016
Abstract: 信息物理融合系统(Cyber Physical Systems ,CPS )是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性。软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性。基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性。 CPS is a kind of networked embedded system .Its trustworthiness and cost are impacted by energy consumption . Because software is the main component of CPS ,it is influenced by the energy consumption of CPS .So it has become a major chal-lenge for CPS development to design low-power ,high trustworthiness CPS software .Existing analysis and evaluation methods have problems such as the experimental high cost and big price .If the trustworthiness problem of software can be found in the design phase ,it can effectively reduce the cost and improve development efficiency .So modeling ,analyzing and evaluating the software ar-chitecture energy consumption of the CPS software architecture design stage can help find the energy consumption design defects .It can effectively improve the trustworthiness of the CPS software and reduce development costs .Against this ,first build the CPS soft-ware architecture energy consumption based on the energy consumption time Petri nets ;then by analyzing the trustworthiness prob-lems of the CPS software influenced by the energy consumption ,propose the evaluation method for CPS software based on the ener-gy consumption model ;finally ,indicate the effectiveness of the proposed methods through an instance .
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16975
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
张广泉,张侃,祝义,等. 基于体系结构能耗建模的CPS软件可信性评估方法[J]. 电子学报,2013-01-01(11):2270-2275.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[张广泉]'s Articles
[张侃]'s Articles
[祝义]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[张广泉]‘s Articles
[张侃]‘s Articles
[祝义]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace