C++TEST在嵌入式国铁安全产品Sil4认证中的应用

来源 :中国科技信息 | 被引量 : 0次 | 上传用户:msbt098
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
苯文针对应用于C++TEST在嵌入式国铁信号安全产品及系统的Sil4安全认证中的应用及技术实现方案进行了详细的介绍,提出从以铁路安全产品进入以可编程、嵌入式系统为特色,系统智能化提升功能的应用层次,从保证系统的安全完整性.对铁路安全产品的软件提出了相关的要求,通过C-H-Test软件的使用完成对嵌入式铁路安全产品软件的静态检测、动态测试进行确认,减少手动确认带来的错误风险及巨大的工作量。。在对于铁路安全信号产品及系统的设计研发、生产制造、高速铁路现场的开通运用及安全维护等行业起到关键的技术保证及保驾护航作
其他文献
安图县档案局牢固树立中心意识,紧贴党委和政府的中心工作,不断提高档案工作的整体水平,使全县的档案事业得到了长足发展。一、围绕中心工作,不断拓展档案工作领域。安图县档
结合某楼的工程实际,对多支盘钻孔灌注桩做了简要介绍.根据该楼工程与水文地质情况,探讨了多支盘钻孔灌注桩的设计方法及施工工艺.
邹赞(以下简称邹):黄老师,您好!您带领的科研团队近年来从事以伯明翰学派为中心的文化研究,并且取得了系列成果。我们知道,源起于英国伯明翰大学当代文化研究中心的文化研究思潮,经
本文主要介绍了在目前流行的SMT技术中,表面贴装元件使用手工焊接的方法,具体包括点焊法,拉焊法和拖焊法三种,以及表面贴装元件的拆除方法,为电子类专业的学生或电子设计制作
伴随着我国社会的发展以及科学技术的进步,我国的铁路部门在铁路工程建设作业时加强了对于电力自动化技术的运用,从而实现了铁路电力工程系统的优化以及发展,实现了铁路运行效率
本文针对大型复杂的民用飞机全尺寸试验机上所发现的局部裂纹,提出一种由全机内力解模型逐级细化到局部结构细节模型的分析方法,快速有效的找出了裂纹发生的原因。对于大型复
虚拟现实是利用电脑模拟产生一个三度空间的虚拟世界,提供用户关于视觉、听觉、触觉等感官的模拟,带来深层次沉浸感,被誉为下一代的通用型计算平台,在军事、制造、游戏、医疗
<正>A novel electrochemical method for the determination of sulphide at a multi-walled carbon nanotube-dihexadecyl hydrogen phosphate composite film coated glas
“品牌大使”,“内容经理”,“传道士”。人们常常用这些词来形容社会媒体经理一天的忙碌生泽。要成为社交媒体经理中的佼佼者,他必须每天不断进行信息更新,参加会议,进行讨论交流
氢氧根香豆素的 glycosylation 被使用蓼 multiflorum 的毛乎乎的根的暂停文化调查。二新香豆素配糖物(3 和 4 ) 是简历 systhesized 由 regioselectively 在系统的相应底层(