【摘 要】
：
信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交
【机 构】
：
苏州大学 计算机科学与技术学院 苏州 215006
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS 软件的可信性,评估结果作为CPS 软件演化依据。这一过程的核心是可信性评估,可信性评估分为两个阶段：首先根据可信性指标模型,评估CPS 软件可信性；然后根据软件交互结构评估软件交互可信性；最后通过一个实例说明了提出方法的有效性。
其他文献
The main goal of this paper is to investigate the energy-to-peak filtering problem for a class of network-based discrete-time systems.The network-induced de
Web服务运行在开放多变的网络环境下，其可信性问题受到广泛关注.BPEL组合服务是一种重要的Web服务组合语言.文本提出一种基于数据依赖的BPEL组合服务可信性评估方法.首先
The protoplasts of Red Thorowax ( Bupleurum scorzonerifolium) irradiated by ultraviolet light (UV) at an intensity of 260μW/cm2 for 0, 1,2 and 3 min respectiv
板叶青系天津市蔬菜所近年选育成功的高产、优质、抗病萝卜新品种．已通过天津市农作物品种审定委员会审定。目前．该品种已推广到北京、河北、河南、江苏、山东、山西、辽宁、吉
P3P 隐私偏好平台主要被用于在用户访问网站时保护用户的隐私。本文引入P3P 隐私策略模型，并从知识表示的角度，分析了如何使用本体描述语言OWL 对P3P 隐私策略及用户隐私偏
从2000年8月开始,他为了救助流浪儿,花光了和妻子摆水果摊积攒的1万多元,还背上5000元外债今年37岁的李勇,出生在重庆市綦江县永新镇。1994年,他和四川省中江县姑娘张含结婚
我这一生最愧对的人是我的女儿,可我最离不开的人也是她们。——希拉克。苦泪长流:被隔离的大女儿绝望跳楼1932年11月29日,希拉克出生在巴黎的一个富豪家庭,父亲弗朗索瓦曾经
钱玉珍,是天津市塘沽区盐场小学退休教师,家住天津市塘沽区杭州道文安里社区。退休后的钱玉珍老师热心公益事业,特别是对与中小学生的教育问
Qian Yuzhen, Tianjin Tanggu S
虚拟化技术在云计算中广泛应用。通过虚拟机监控器，可以让多个操作系统在一台服务器同时上运行，满足不同应用的需求，并且具有良好的隔离性。传统虚拟化技术通过对资源的虚拟