软件产品安全性概念误区及常见问题分析

对安全性的定义以及目前软件安全性工作中存在的一些模糊认识进行了阐述,对安全性设计中容易忽视的几个问题进行了讨论,表述并分析安全性与可靠性的关系,safety和security的区别,有助于提高安全性设计质量。     

近代铁路可靠性与安全性的几个问题

阐明了铁路可靠性和安全性的重要意义，并针对中国铁路的实际状况对中国铁路可靠性和安全性的几个问题，包括新型质量观，可靠性设计，安全性设计，采办中的可靠性和安全性要求，寿命周期用，寿命以及维修等问题进行了论述和建议。     

高速铁路供电系统安全性评估研究

研究目的:供电系统是高速铁路系统的重要组成部分,其安全可靠运行与铁路系统安全性密切相关。安全性评估是现代安全管理的重要一环。而我国在高铁供电系统安全性评估方面还只在定性阶段,缺乏定量评估指标和相应分析方法。本文在探讨系统安全性评估的方法、步骤的基础上将EN50126标准与铁路供电系统安全性评估相结合,分析提出了能反映系统各类风险发生概率和风险等级的定量安全性评估指标和安全性评估方法,为提高高铁供电系统的安全性管理水平提供参考。研究结论:基于事件树分析法(ETA)和改进的概率风险评估方法(LEC)相结合的安全性评估方法,对铁路供电段典型算例进行安全性定量评估分析,分别得到了各类供电设备的危险度指标和由其引发的系统安全风险等级,以及应采取的风险控制对策。说明本文提出的安全性量化指标和评估方法的有效性。     

基于相异和检测技术的二取二安全平台的安全性计算

重点探讨基于相异和检测技术的二取二安全平台的安全性计算方法,对基于RBD的公式计算、RAM Commander中的FTA工具计算和Markov计算这3种安全性计算的结果进行比较,分析了各安全性计算分项的变化情况和3种计算方法的优劣,并就如何利用安全性计算公式和工具进行安全性计算提出建议。     

iLOCK的安全模型和安全性分析

分析了iLOCK系统的体系架构,提出了系统的安全模型和安全性计算公式,并对iL-OCK各部分和总体的安全性进行了计算。此外还对影响iLOCK系统安全性的各项指标进行了分析,阐明了确保iLOCK系统达到SIL4级安全要求的关键技术。     

计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果     

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

轨道车辆安全性的实施方法和具体操作

轨道车辆安全性是RAMS(可靠性、可用性、可维护性和安全性)的特性之一,在车辆的设计、制造中具有非常重要的作用。介绍了实施轨道车辆安全性的方法和具体操作步骤。在具体操作中引入了车辆的风险概念和可接受原则,说明了所要分析危险事件的范围。介绍了车辆功能分解的意义和作用,以及如何进行初步风险分析和确定安全性关键项目清单;同时介绍了如何利用故障树分析法得出车辆故障状态的发生频率。     

地震情况下列车的运行安全性分析

利用改进后的车辆动力学仿真程序VDS，研究了车辆及列车在地震情况下的运行安全性，提出了运行安全性评价方法，并探讨了车体间抗蛇行减振器和车端减振器对地震情况下列车运行安全性的影响。     

一种基于场景模型的安全性分析算法研究

为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术.传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错.本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性.通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性.与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑.     

施工振动对房屋结构安全影响分析与鉴定

通过对振动打桩机系统的理论分析和土体振动分析,提出了施工振动对邻近房屋结构安全性影响分析的4种方法。结合民用房屋结构安全性鉴定的要求,提出了施工振动对邻近房屋结构安全性影响的鉴定基本原则。通过一个工程鉴定实例应用,验证了施工振动对邻近房屋建筑结构安全性影响鉴定基本原则的合理性。     

软件安全性分析技术在基于通信的列车控制车载子系统中的应用

软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。     

城轨车辆牵引系统的安全性设计与评估

分析了系统安全性设计目标,介绍了城轨车辆牵引系统安全性设计的标准依据,提出了安全性的总体设计、硬件设计、软件设计方法,阐述安全性评估的基本步骤等。     

关于磁悬浮交通的若干安全性问题

近年来磁悬浮技术的研究在一些国家取得了不少成就,有些成果已经进入工程试验和运行展示阶段.将其变为大众交通工具的议题也已经提到中国交通发展规划的议事日程上.如果说它的快捷性和对环境的适用性比较容易被大家所接受的话,它的安全性问题还不能说已经被充分地证明和被大众所认同.本文论述了交通工具安全性问题的5个层面;讨论了磁悬浮交通事故避难安全性问题的特征避难环境和安全避难原则.认为磁悬浮交通在安全性方面尚有一系列问题的研究有待深入.文章最后强调这些安全性问题的研究和解决,需要及早建立关于磁悬浮交通安全性问题的论证体制,及时制订为各方认同的安全性规范.并期望磁悬浮技术能及早在我国实用化,成为代表21世纪特色的新交通系统.     

两种方式双机热备结构的可靠性和安全性分析

针对铁路信号中常用的双机热备结构进行了可靠性和安全性分析。通过把单元的失效率划分为一些独立的部分，根据各部分失效率对系统的影响，利用马尔可夫模型可以同时分析可靠性和安全性性能。本文比较了两种不同工作方式双机热备结构的可靠性和安全性性能，并给出了结论和建议。     

城市地质环境安全性评价指标体系研究

科学合理的进行地质环境安全性评价是正确处理国土资源开发和人居环境安全之间关系,实现城市可持续发展的重要前提。通过探讨地质环境系统与人为活动相互作用关系,阐述了城市地质环境安全性评价的概念、内涵,在详细分析城市地质环境安全性问题及其影响因素的基础上,提出了地质环境安全性评价原理、内容和方法,构建了包含地壳安全、地面安全和地球化学安全三方面的城市地质环境安全性评价指标体系。最后,以长三角地区为研究区,综合运用GIS空间分析和综合指数模型等方法,验证了该指标体系的合理性。研究成果可为城镇布局、国土规划以及重大工程建设等提供地质依据。     

河南铁通充值中心平台网络规划与设计

介绍河南铁通充值中心平台建设的系统设计、规模计算，讨论了基本功能和系统的安全性。重点介绍网络规划和系统安全性。     

基于SCADE的安全软件开发方法研究

针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交通列车运行控制系统的区域控制器ZC为例,基于SCADE对ZC列车管理功能进行建模和验证。通过实例分析,证明基于SCADE的软件开发方法,可以有效保障高安全性系统的安全性和完整性,为其提供了一种新的开发方式。     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

地铁盾构隧道结构安全评估方法研究

地铁盾构隧道服役环境十分复杂,在外界各种环境条件的影响下,其结构安全性会不断发展变化。目前,上海轨道交通盾构隧道维护工作中,以单项指标判定盾构隧道的安全性,存在一定的局限性,需要一个评价指标体系和能够统合所有会影响盾构隧道结构安全性因素的综合评价方法。按照评价指标选取原则,确定了影响地铁盾构隧道结构安全性的各类主要因素,确立了适合地铁盾构隧道结构安全性指标的评价标准,建立了修正的模糊综合评价法。采用该方法对上海轨道交通1号线某上行区间单圆盾构隧道结构安全性进行了综合评价分析。