【摘 要】
:
PMI(“计算机联锁系统”的法文缩写,泰雷兹联锁设备的型号)计算机联锁系统不仅通过硬件的安全冗余架构确保系统安全,而且还通过提高软件的安全可靠性来确保系统安全。介绍了PMI
【机 构】
:
上海自仪泰雷兹交通自动化系统有限公司
论文部分内容阅读
PMI(“计算机联锁系统”的法文缩写,泰雷兹联锁设备的型号)计算机联锁系统不仅通过硬件的安全冗余架构确保系统安全,而且还通过提高软件的安全可靠性来确保系统安全。介绍了PMI计算机联锁系统软件的开发及验证工具,给出了PMI计算机联锁系统软件的开发、验证流程图,并详细介绍了每一个流程的目的和验证方法。实际应用证明,严格的开发、验证流程及对这些流程的严格执行是PMI计算机联锁系统软件安全的重要保证。
其他文献
认真落实国家信息系统安全等级保护政策和标准,是增强信息安全、确保系统健康运行的重要途径和保障。2008年7月,国家发展改革委批复的"金审"工程二期项目,从立项规划到系统建设的整体
企业物流改革以及系统重构,有利于解决现实中的问题。在企业物流系统改造以及问题诊断过程中,应当立足实际,针对企业物流运作状况以及现实中的问题,采取有效的解决方案。文章
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
提出了导致POY上油不匀的主要原因是油剂生菌和油泵磨损。分析了纺丝油剂生菌腐败的成因。通过采取降低油剂环境温度、减少油槽储油量及调整低位油槽的位置等措施,减少了油剂
基于云平台的广电融媒体制播平台作为近年来媒介制作播出的一种新方式,在各级电视台得到了广泛的应用。如何全面有效科学的评估该平台架构和相关技术,成为相关工作人员面临的
目前,互联网"黑客地下经济"已经开始呈现出组织化、规模化、公开化的特点,对公共网络安全、社会效应、经济效益甚至国家形象都有诸多消极影响,而通过恶意网站挂马传播木马是对公共网络安全的最大危害之一。追查并控制恶意网站的源头,是消弱和制止黑客操纵傀儡网络的有效策略之一。本文利用网页抓爬技术收集了100029个政府网站信息进行调查,于2009年2月至4月通过自动化分析工具检测被调查网站的网页挂马情况,同时
本文主要介绍了省级融媒体平台依据省、市、县三级融媒体中心不同定位,遵循国家广播电视总局标准,立足需求,以融媒体技术为基础,以节目安全生产为目的省级融媒体平台的架构设
本文基于日本当代女性导演西川美和的五部作品,通过导演影片中突出的"空间""家庭""角色"这三大社会学论题做进一步审美挖掘。第一部分"空间"论题,从当下日本城市与乡村的对立
为了考察铁尾矿碎石沥青混凝土的低温抗裂性能规律,通过低温弯曲试验和劈裂试验,系统分析了铁尾矿碎石掺量对沥青混凝土弯拉强度、劈裂强度、最大弯拉应变等指标的影响规律。