一种基于COTS硬件的安全苛求计算平台研究

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户:svennis
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决安全关键领域传统容错计算平台支持费用高、技术局限性大的问题,提出并实现了一种基于商用货架产品(COTS)的高安全容错计算平台(VIS),给出了平台的构造方法,分析了VIS平台的2002×2体系结构和容错同步原理.遵循IEC61508标准对平台进行了安全完整性等级确认.结果表明,VIS平台的硬件安全完整性达到SIL4级,能够满足安全苛求领域的需求.
其他文献
随着近年来国际篮球运动的日益普及,亚运会篮球赛事也越来越收到人们关注。除了对抗激烈,紧张刺激的男篮比赛之外,女篮队员也展现了别样的风采。在2018年亚运会女篮决赛中,双
以陇南师专小学教育专业人才培养为例,通过对“协同育人”模式的内涵及价值的阐述,认为“协同育人”模式下卓越小学教师培养应体现在以下九点:建立德育实践基地,提高师范生师
目的:评估关节镜辅助带线锚钉治疗急性髌骨脱位的临床效果。方法:于本院2015年4月——2016年5月间收治的急性髌骨脱位患者中,随机选取94例作为样本,将其分为常规组与观察组。
根据C亚型禽肺炎病毒F基因序列,设计了一对针对C亚型禽肺炎病毒的特异性引物,应用该引物建立了SYBR GreenⅠ实时荧光定量RT-PCR检测C亚型禽肺炎病毒的方法,并对建立的方法进
转化法是英语构词能力最为活跃的一种,名词转化为动词则是现代英语极为普遍的现象。本文试图运用语言学家的研究成果简述名词转化成动词的应用及其语义关系。
新生血管生成是恶性肿瘤发生、发展及浸润的重要条件。肿瘤细胞微环境中存在大量对血管新生具有影响作用的因子和信号。通常情况下,促血管生成因子在肿瘤中过度表达,例如VEGF
目的了解医院环境物体表面微生物污染情况,以及采取不同干预措施后对微生物的清除或杀灭效果。方法采用微生物监测方法对2所三甲医院重点科室的物体表面进行检测分析。结果共