【摘 要】
：
阐述了铁路计算机联锁软件安全性质量评价的概念,介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算
【机 构】
：
同济大学安全软件测试评估研究所、铁道部质量检测中心计算机联锁检验站
论文部分内容阅读
阐述了铁路计算机联锁软件安全性质量评价的概念,介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析,从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。
The concept of railway computer interlocking software safety quality evaluation is expounded. The principle of interlocking software testing serving for safety quality assurance and the general automated testing evaluation platform developed are introduced. This article introduces and analyzes the results of computer interlocking system test, system review test and field sampling software interlocking software sampling conducted in the past eight years. From this, we can understand the current situation of software safety testing in our country. Management of the important role.
其他文献
以某深水高墩大跨连续刚构桥梁为工程背景,考虑桩-土相互作用(PSI)、动水压力以及二者联合作用效应的影响,基于OpenSEES源代码分析平台建立有限元模型,随机选取100条近场地震
有想过游戏本能和超极本做到一样的轻薄吗？低功耗芯片平台加上出色的散热系统，新一代游戏本在外观设计上出现颠覆式革新，强大的便携性极大提升了游戏本应用范围。移动，让游戏变得
小编准备本期内容的时候,正是刚刚过完清明。这段时间全国的气温变化都很剧烈,天气四季随机轮转,一秒入夏,忽又入冬,而从37℃到下雪,重庆仅用5天。养生是一个长期的话题,在这
成都铁路局地处西南，管辖宝成、成渝、襄渝、成昆、川黔、黔桂、湘黔、内六、贵昆9条干线3866km，达成、达万二条合资铁路502km，营业里程共计4473km。全年旅客发送7318万人，货物发
本文简单介绍了造纸厂造纸废液处理的流程以及碱回收锅炉在造纸厂中的重要性，也详细阐述了碱回收锅炉炉膛设计的基本原则。
转炉炼钢在目前的钢铁工业中居主导地位。炼钢吹炼过程中会产生大量的高温烟气（含转炉煤气和炉尘），转炉余热锅炉作为炼钢除尘系统中的一部分，主要用于回收高温烟气中的余热产生蒸
很多时候，我们需要在Excel录入一些比较有规律的数据，如果逐一手工录入，显然是相当繁复，而且还容易出现错误。其实，我们可以通过自定义数字的方法提高录入效率： 技巧一： 利用“自定义”实现自动替换 例如最近需要为单位员工设置专业技术岗位，这些岗位分为中讲十级、中讲九级、中讲八级、副高七级、副高六级、副高五级、正高四级等序列，利用“自定义”可以轻松实现上述要求： 选中准备录入专业技术岗位的某
文章从社会发展需要改，存在问题要求改，课改趋势驱动改论述了高等职业教育课程的必要性；描述了外推式改革与操作品质的缺失，教师边缘化地位与“非主体化”特征，实用功利的态度与无
目的:在小鼠骨性关节炎(OA)模型中观察薯蓣皂苷元(Dgn)通过酪氨酸蛋白激酶2/信号转导子和转录激活子3(JAK2/STAT3)信号通路对软骨细胞代谢和线粒体抗氧化应激能力的影响,以及