轨道交通运控CBTC系统安全软件开发过程介绍

来源 :电子技术与软件工程 | 被引量 : 6次 | 上传用户:liubifeng1392
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
运控CBTC系统是一个复杂的安全系统,其中的安全软件开发一直是国内的薄弱环节。本文介绍了按照欧洲铁路安全标准的安全产品和安全软件的开发,说明在开发中需要重视生命周期的每个环节,采用严格的开发过程,有效的技术和工具,才能开发出符合安全目标的软件,从而保障整个运控CBTC系统的安全性。
其他文献
由于许多计算机厂商,特别是像Sun Microsystem、Tektronix以及Digital这样的工作站制造商,采用了Berkeley UNIX,于是在许多机器上都可以使用套接字接口。这样,套接字接口就已广泛采用,以至于成为事实上的标准。微软也接受了这个标准,并为其操作系统开发了一个相应的实现版本。除此之外,Linux也使用了套接字。
为了对整个制造业与IT企业内的实时控带师口信恩流动进行有效的管理,罗克韦尔自动化推出了一整套工业以太网交换机与介质的产品组合,其中拥有管理型交换机的一系列产品,这些产品
几年前,紫竹药业尹总就曾经问和佳软件创始人、和佳公司总经理陈佳先生:“和佳如何定位?”,陈总并没有慷慨激昂要做中国ERP老大,而是看好中国有众多的制造企业,就一定有国内民族软
作动器死区是一种严重的非线性现象,其降低主动悬架性能,影响汽车正常行驶。在考虑作动器死区特性的基础上,建立含作动死区特性的分段主动悬架动力学模型。在死区范围内,等同
介绍了柔性生产线的概念,详细阐述了棉纺柔性生产线的组成、各工序的数字化设备,最后概括了棉纺柔性生产线的几个特点。
国际IC卡支付最新进展和发展趋势自EMV规范颁布以来,借记/贷记银行IC卡经历了多年的发展历程。据统计,到2006年全球已经发行EMV卡4.4亿张,安装兼容终端630万台,受理环境遍布全球。
2009年7月3日,交通银行联手乐天超市有限公司共同推出的交通银行太平洋乐天玛特信用卡在北京隆重面市。持该信用卡在乐天玛特店内消费,在享受乐天玛特和交行双重积分回馈的同时
当今的孩子和家长都会根据学校提供的教学环境来预估孩子将要在这个学校被教育的好与坏;这也是学校对环境上的整改依据及革新地考虑因素。而在众多学校当中民办院校更加积极地
创新乃发展动力之源。创新活动已经通过银行卡业务渗透到人们生活的各个方面。创新有时是从遵循规则管理的需求中创造出来的,有时却是从处理危机的过程中创造出来的。比如在美
一、银行个人信用档案概况 银行个人信用档案是银行管理部门负责建立和保管的关于个人信用的档案,包括纸质材料和以其他载体形式存储的数据。目前我国规范的银行个人信用档案