【摘 要】
：
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.
【机 构】
：
苏州大学计算机科学与技术学院 苏州 215006
论文部分内容阅读
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性.
其他文献
本文推导出按各阶构件数表达的平面运动链结构公式、构件的最高价数公式以及各阶构件数最大值公式,并在上述三个公式的基础上,揭示出运动链的一些有价值的结构性质。
In thi
中国公路学会道路工程学会水泥混凝土路面学组成立大会于1987年12月8日至10日在江苏省徐州市举行。出席会议的有交通、城建、林业、厂矿、民航、部队、建材、生产厂家及大专
铅能阻碍血红蛋白的合成,并破坏血细胞。经常接触低浓度铅是否也对血红蛋白的合成及血细胞有影响,其血清铁是否也有变化,这是需要弄清的。本文结合60名铅作业工人的4次体检
社会网络是通过朋友关系、工作关系和信息交换等一组社会机制,将人、组织和其他社会团结联系在一起形成的网络,Web就是一种社会网络.在社会网络中要求有一种自然的机制对网络
[摘要] 目前，我国生物技术产业化程度偏低，专业的局限性大，造成了生物技术专业毕业生就业压力。本文主要通过对2008年生物技术专业毕业的33名本科生就业情况的调查分析，寻找造成就业压力的因素，探索解决的途径。 [关键词] 生物专业 就业现状 调查分析 生物技术是一门新兴的学科，随着生物技术热，我国有200多所高校设置了生物技术专业，每年该专业的毕业生达到几万人，由于毕业生人数的迅速增多，而
本文报道了342名保安族和118名撒拉族正常儿童的头面部生理值,以105名保安族成人作为本民族儿童组的对照,并作了族别、性别间比较,为临床诊断提供了理论基础。同时,观察了头
随着Web服务迅猛发展,基于SOA的服务组合容错性研究成为了业界关注的焦点.服务组合中组件的失效,会导致整个组合执行失败,而资源不足、服务器负载过重是引发组件失效的主要原
台阁梅张艳芳台阁梅，即一朵梅花中再生出一朵梅花，形成台阁状，其花态优美奇特，堪称梅中奇品。我们知道，梅花从外向心的结构依次分为花萼、花瓣、雄蕊、雌蕊，雌蕊位于梅花的中心，故许