基于测试的车站列控中心软件安全性评估

来源 :同济大学电子与信息工程学院 同济大学 | 被引量 : 0次 | 上传用户:wc8861
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着中国铁路跨越式发展战略的实施,中国列车运行控制系统进入了工程实践阶段。车站列控中心软件(简称“列控软件”)是列车运行控制软件之一,是设于各车站的列车控制系统核心安全软件,如何科学地确保和评估列控软件的安全性已成为亟待解决的现实问题。 首先,文章介绍了安全软件测试评估的基本理论、技术、方法,结合列控软件独立第三方测试评估的背景,重点介绍了基于黑盒测试的安全软件自动化测试评估技术。 接着,简单介绍了列控软件的系统结构并讨论了列控软件的测试需求。在此基础上建立列控软件测试平台,并详细介绍该测试平台的站场数据生成及测试用基础数据生成子系统、测试用例自动生成、测试结果动态判定、记录及查询子系统、平台通信及各仿真子系统等关键模块,以实现对列控软件的自动化测试。 最后,利用测试结果记录和改进的Jelinski-Moranda(J-M)模型对列控软件的安全性进行定量评估。该改进的J-M模型是通过改变J-M可靠性模型相关假设及参数,提出的一个既能描述安全软件测试剖面与操作剖面不同,又能描述故障引入率的列控软件安全性评估模型。
其他文献
跳频扩频多址(FH-SSMA)通信系统由于其在频率分集和有效对抗远近效应方面的优势一直受到广泛关注,而同频道干扰(CCI)是限制其性能的主要因素。同频干扰消除算法能在接收端有效
随着数字多媒体信息技术的迅速发展,视频压缩技术对数字电视、可视电话、无线视频等视频通信服务中起着举足轻重的作用。现阶段用于视频压缩编码的最新标准有MPEG-4、H.264及
GIF图像是当前网络上非常流行的一种图片格式。对于这种图片的保护就显得非常重要,但是当前还没有一种很好的算法能同时实现对GIF图像的版权认证和完整性保护。针对以上情况,
随着工业自动化的快速发展,动力传动系统在航天航空、舰船、核电、汽车等行业中发挥着至关重要的作用。现代传动设备高速化、自动化、复杂化和精密化的程度越来越高,一方面大大的提高了生产效率,另一方面对设备安全性的依赖也越来越强。机械传动设备中,通过齿轮耦合带动设备运行,由于材料、设计不合理等原因,齿轮用了一段时间可能会出现损伤或断裂,从而引发的重大灾难事故时有发生。对机械传动设备的齿轮形变规律的研究,有利
民用航空产业大发展使得传统民用航空通信系统容量逐步趋于饱和,建立一个空天地一体化的未来航空通信系统已是大势所趋。航空移动通信系统收发端飞行器处于运动状态,在三维立
随着信息化技术的蓬勃发展,人们每天都会获得大量的多媒体信息,如何有效而快速地检索、存储这些信息,给传统的数据检索以及数据存储技术提出了极大挑战。在多媒体数字视频中,
移动Ad Hoc网络(Mobile Ad Hoc Networks,MANETS)组网方便、快捷,不受时间和空间限制,既可应用于救援、会议、战场、探险、远距离或危险环境中的目标监控等场合,还可用于末端
随着信息技术的飞速发展,人们已不满足于单摄像机拍摄的传统视频,而是需要具有更加灵活性和更好交互性的多视角视频。多视角视频由位于不同视角的多个摄像机同时拍摄得到,播放时