基于体系结构能耗建模的CPS软件可信性评估方法

doi:10.3969/j.issn.0372-2112.2013.11.025

电子学报

基于体系结构能耗建模的CPS软件可信性评估方法

张广泉^1,2, 张侃^1,3, 祝义⁴, 周航⁵

1. 苏州大学计算机科学与技术学院, 江苏苏州 215006;
2. 南京大学计算机软件新技术国家重点实验室, 江苏南京 210093;
3. 中国科学院软件研究所计算机科学国家重点实验室, 北京 100190;
4. 江苏师范大学计算机科学与技术学院, 江苏徐州 221116;
5. 南京航空航天大学民航学院, 江苏南京 210016

收稿日期:2013-03-12 修回日期:2013-06-25 出版日期:2013-11-25
- 通讯作者:
- 张广泉
- 作者简介:
- 张侃 男，1988年出生于江苏太仓.苏州大学计算机科学与技术学院硕士研究生.研究方向为CPS、软件可信性评估. E-mail：20104227016@suda.edu.cn
- 基金资助:
- 国家自然科学基金 (No.61100074，No.61262002）; 江苏省自然科学基金 (No.BK2011281）; 苏州市应用基础研究计划 (No.SYG201241）

Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling

ZHANG Guang-quan^1,2, ZHANG Kan^1,3, ZHU Yi⁴, ZHOU Hang⁵

1. School of Computer Science and Technology, Soochow University, Suzhou, Jiangsu215006, China;
2. State Key Lab.for Novel Software Technology, Nanjing University, Nanjing, Jiangsu 210093, China;
3. State Key Lab.of Computer Science, Institute of Software, Chinese Academy of Science, Beijing 100190, China;
4. School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, Jiangsu 221116, China;
5. College of Civil Aviation, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu 210016, China

Received:2013-03-12 Revised:2013-06-25 Online:2013-11-25 Published:2013-11-25
- Supported by:
- National Natural Science Foundation of China (No.61100074, No.61262002); Natural Science Foundation of Jiangsu Province, China (No.BK2011281); Suzhou Applied Basic Research Program (No.SYG201241)

摘要/Abstract

摘要： 信息物理融合系统（Cyber Physical Systems，CPS）是一种计算系统和物理环境紧密结合的网络化嵌入式系统，软件作为其重要的使能部件，如果在其设计阶段能够考虑能耗影响等问题，则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导，对CPS软件体系结构能耗进行建模，分析和评估能耗对CPS软件可信性的影响，可以在设计阶段发现其体系结构能耗设计缺陷，并重新设计软件体系结构，从而有效提高CPS软件可信性.基于此，首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型，并分析了影响CPS软件可信性的能耗问题；针对这些问题，将分析得到的能耗数据作为建立可信性指标模型的基础，提出了基于能耗指标模型的CPS可信性评估方法；最后通过实例建模和分析，进一步说明该方法的有效性.

关键词: 信息物理融合系统, 软件可信性评估, 可信性指标模型, 能耗建模

Abstract: 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 challenge 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 architecture 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 software architecture energy consumption based on the energy consumption time Petri nets;then by analyzing the trustworthiness problems of the CPS software influenced by the energy consumption,propose the evaluation method for CPS software based on the energy consumption model;finally,indicate the effectiveness of the proposed methods through an instance.

Key words: (CPS) cyber physical systems, software trustworthiness evaluation, trustworthiness indicator model, energy consumption modeling

中图分类号:

TP311

张广泉, 张侃, 祝义, 等. 基于体系结构能耗建模的CPS软件可信性评估方法[J]. 电子学报, DOI: 10.3969/j.issn.0372-2112.2013.11.025.

ZHANG Guang-quan, ZHANG Kan, ZHU Yi, et al. Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling[J]. Acta Electronica Sinica, DOI: 10.3969/j.issn.0372-2112.2013.11.025.

参考文献

[1] Poovendran R.Cyber-physical systems:close encounters between two parallel worlds[J].Proceedings of the IEEE,2010,98(8):1362-1366.
[2] Sandeep K S G,Tridib M,Georgios V,et al.Research directions in energy-sustainable cyber-physical systems[J].Sustainable Computing;Informatics and Systems,2011,1(1):57-74.
[3] 丁帅,鲁付俊,杨善林,等.一种需求驱动的软件可信性评估及演化模型[J].计算机研究与发展,2011,48(4):647-655. Ding S,Lu F J,Y S L,et al.A requirement-driven software trustworthiness evaluation and evolution Model[J].Journal of Computer Research an d Development,2011,48(4):647-655.(in Chinese)
[4] 杨善林,丁帅,褚伟.一种基于效用和证据理论的可信软件评估模型[J].计算机研究与发展,2009,46(7):1152-1159. Yang S L,Ding S,Chu W.Trustworthy software evaluation using utility based evidence theory[J].Journal of Computer Research an d Development,2009,46(7):1152-1159.(in Chinese)
[5] Uzma R,Marietta J.T.Defining and evaluating a measure of open source project survivability[J].IEEE Transactions on Software Engineering,2012,38(1):163-174.
[6] 温景容,武穆清,宿景芳.信息物理融合系统[J].自动化学报,2012,38(4):507-517. Wen J R,Wu M Q,Su J F.Cyber-physical system[J].Acta Automatica Sinica,2012,38(4):507-517.(in Chinese)
[7] 王中杰,谢陆路.信息物理系统研究综述[J].自动化学报,2011,37(10):1157-1166. Wang Z J,Xie L L.Cyber-physical systems;A survey[J].Acta Automatica Sinica,2011,37(10):1157-1166.(in Chinese)
[8] Zhang G Q,Zhang Z L,Fan J X.A locally-adjustable planar structure for adaptive topology control in wireless Ad hoc networks[J].IEEE Transactions on Parallel and Distributed Systems,2010,21(10):1387-1397.
[9] 张侃,张广泉,张茗泰.一种可信的信息物理融合系统设计框架初探[J].计算机研究与发展,2011,48(z2):242-246. Zhang K,Zhang G Q,Zhang M T.A preliminary framework for designing the trusted cyber-physical systems[J].Journal of Computer Research and Development,2011,48(z2):242-246.(in Chinese)
[10] Konstantakos V,Chatzigeorgiou A,Nikolaidis S,et al.Energy consumption estimation in embedded systems[J].IEEE Transactions on Instrumentation and Measurement,2008,57(4):797-804.
[11] Euiseong S,Sangwon K,Seonyeong P,et al.Dynamic alteration schemes of real-time schedules for I/O device energy efficiency[J].ACM Transactions on Embedded Computing Systems,2010,10(2):23.
[12] Lei Yang,Robert P.Dick,Haris Lekatsas,et al.Online memory compression for embedded systems[J].ACM Transactions on Embedded Computing Systems,2010,9(3):27.
[13] Fei Y,Ravi S,Raghunathan A,et a1.Energy-optimizing source code transformations for operating system- driven embedded software[J].ACM Transations on Embedded Computing Systems,2007,7(1):1-26.
[14] 刘啸滨,郭兵,沈艳,等.嵌入式软件体系结构级能耗建模方法[J].软件学报,2012,23(2):230-239. Liu X B,Guo B,Shen Y,et al.Embedded software energy modeling method at architecture level[J].Journal of Software,2012,23(2):230-239.(in Chinese)
[15] 张滕滕,吴晓,李长德,等.基于CSP的构件化嵌入式软件能耗分析与评估方法研究[J].计算机学报,2009,32(9):1876-1883. Zhang T T,Wu X,Li C D,et al.On energy-consumption analysis and evaluation for component-based embedded system with CSP[J].Chinese Journal of Computers,2009,32(9):1876-1883.(in Chinese)
[16] 朱敏,李必信,陈乔乔,等.基于微分动态逻辑的CPS建模与属性验证[J].电子学报,2012,40(6):1126-1132. Zhu M,Li B X,Chen Q Q,et al.Transforming hybridUML to hybrid program for CPS property verification[J].Acta Electronica Sinica,2012,40(6):1126-1132.(in Chinese)
[17] 钱志鸿,王义君.物联网技术与应用研究[J].电子学报,2012,40(5):1023-1029. Qian Z H,Wang Y J.IoT technology and application[J].Acta Electronica Sinica,2012,40(5):1023-1029.(in Chinese)
[18] 何秀青,王映辉.物联网服务动态评价选择方法研究[J].电子学报,2013,41(1):117-122. He X Q,Wang Y H.service selection algorithm based on dynamic assessment for Web of Ttings[J].Acta Electronica Sinica,2013,41(1):117-122.(in Chinese)

基于体系结构能耗建模的CPS软件可信性评估方法

Trustworthiness Evaluation Method for CPS Software Based on Software Architecture Energy Consumption Modeling

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics

[1]	孙朋朋, 董云卫. 二维全向无线充电信息物理融合系统建模与优化方法[J]. 电子学报, 2019, 47(3): 568-575.
[2]	房丙午, 黄志球, 王勇, 李勇. 状态不可观测的信息物理融合系统运行时验证[J]. 电子学报, 2018, 46(12): 2824-2831.
[3]	朱敏, 李必信, 陈乔乔, 吉顺慧, 李加凯. 基于微分动态逻辑的CPS建模与属性验证[J]. 电子学报, 2012, 40(6): 1126-1132.