联锁软件安全性评估及有关参数的选取

首先定义了联锁软件的风险度量和安全性,然后提出了最不利环境下的联锁软件分级风险度量以及相应的安全性投放准则等概念。在考虑有关标准对计算机联锁系统的事故后果严重性进行分级和最不利环境下的计算机联锁软件风险的基础上,讨论了联锁软件安全性投放准则中可接受阈值组的确定和联锁软件事故后果参数的选取方法,并加以实际应用。     

一种基于对抗的安全软件安全性分析方法

为了检验安全软件的自身安全性,提出了一套安全软件安全性评价指标,包括进程保护、文件保护、网络通信保护、Rootkit深度检测、免杀对抗、文件重定向攻击和驱动加载防御等.首先对每一项标准进行了实际的分析证明,确定了标准对于安全软件的重要性,然后制定了具体的安全性定量计算方法,通过对六款反病毒软件进行了实际测试和结果分析,论证了本方法的有效性.     

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性、安全性、故障－安全等概念及其之间关系的基础上，提出了一种计算机联锁控制系统安全性保障体系的描述模型．从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵．该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础．     

MCIS计算机联锁系统在铁法矿区铁路车站的应用

阐述了MCIS计算机信号联锁系统的主要功能、性能及特点。重点从安全性、实用性和便捷性等方面进行阐述。实践证明，计算机信号联锁系统的应用，有利于保证铁路运输安全，减轻了工人的劳动强度，值得推广应用。     

基于关键字驱动脚本的安全软件自动测试系统

提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法。使用关键字驱动脚本欲将大量有效测试案例形式化，建立测试案例专家知识库，并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统。此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率。     

计算机联锁系统的故障-安全防护措施

铁路信号设备自动控制系统目前广泛采用了计算机联锁技术,要求计算机联锁系统具有继电联锁的故障-安全的功能,是铁路部门一直致力于研究的主要课题。本文就双机热备、三取二、二乘二取二计算机联锁系统的工作方式及安全性进行了分析。     

计算机联锁控制系统检验方法的研究

从分析影响现代安全系统的可靠性和安全性的因素出发,提出一个实现对计算机联锁系统功能性和安全性进行自动或半自动检验的系统模型,并分析了该检验系统的模块功能．     

浅谈轨道交通中计算机联锁技术

本文主要简述了城市轨道交通中计算机联锁的相关技术特点,计算机联锁系统的层次结构及硬件构成,重点对比了当代轨道交通中三种类型的计算机联锁系统联锁机的核心技术及硬件构成,并阐明了每一种类型的联锁系统的优缺点,并对相应可靠性及安全性做出分析,简述我国铁路以及城轨中,主要使用的计算机联锁系统类型和计算机联锁技术的发展趋势。     

MCIS模块化计算机联锁系统维护和故障分析

本文从设备结构、安全性、可靠性、维修维护等方面对MCIS模块化计算机联锁系统进行了介绍。通过对MCIS模块化计算机联锁系统维护、故障的研究、分析，进一步明确各部分功能模块之间的联系，消除道岔误动作等安全隐患，实现铁路系统运行的稳定。     

EI32-JD计算机联锁的维护及故障处理

EI32-JD计算机联锁系统采用的是双线驱动继电器电路,具有独立性,在可靠性和安全性上得到了很大的提升,能够适应高速、重载、大型客运站、运输安全等多方面所提出的较高要求.通过对于EI32-JD计算机联锁系统简单介绍的结合,从计算机联锁系统的维护和常见的故障处理方面做出了进一步地阐述.     

用MATHEMATICA软件建立软件可靠性模型

本文运用计算机及Ｍａｔｈｅｍａｔｉｃａ计算机代数系统来建立软件可靠性数学模型。     

基于静态分析方法的软件可靠性模型研究

随着网络通讯与计算机应用的不断发展,软件可靠性问题日益受到关注。针对更新COTS或开源组建,提供了一种定量评估软件可靠性的方法模型。该模型结合了静态分析源代码方法,对执行路径进行有限测试,并建立贝叶斯信任网络,构建一个综合的软件可靠性度量模型。最后使用STREW[1]工具对3个开源程序进行实验验证,得到了实验结果,证明模型有效。     

高校计算机终端用户结构分析及其软件设计

对大中型计算机系统的终端用户结构进行定量定性的分析已越来越为人们所重视。目前,国内通常多采用传统的手工方法进行统计分析,这不仅周期长,统计分析数据也不准确。本文在进行大量分析论证的基础上,合理地提出了大中型计算机系统终端用户结构的分类模型。并为使其模型能在大多数计算机系统上便于实现,在软件设计上采用预处理技术,从而实现了程序设计语言对计算机的独立性。     

基于NHPP模型的联锁软件可靠性评估

基于软件可靠性工程思想,深入分析了NHPP软件可靠性建模的原理,并利用NHPP模型对处于开发后期阶段的铁路信号计算机联锁软件进行可靠性评估.通过建模评估,得出了联锁软件可靠性水平的定量分析结果,为计算机联锁系统开发的管理和决策提供了科学依据.     

引信软件可靠性设计技术研究

该文提出基于引信软件特点的“严格控制时序、硬件合理布局、软件程序经济高效、高可靠度”的综合可靠性设计方法;运用冗余技术、查错设计、避错设计等技术进行引信软件可靠性设计,旨在进行引信软件可靠性设计的探索性研究。     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

基于过程监控的软件类实验监督评价系统研究

高职院校软件类课程的上机实验课是非常重要的操作技能训练课,但学生上机行为难以监督。本文将学生在机器上打开的软件程序和本堂课需要打开的程序进行比对,利用软件进行自动监控,并提出了一个认真指数来量化学生的上机认真程度。     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

基于IA技术双控制器网络化控制系统可靠性

在用以太网作为传输媒体的计算机网络化控制系统的基础上,提出了一种基于智能代理技术有双控制器的计算机网络化控制系统.在该系统中,控制系统的各组件是安装了一定硬件和软件的计算机,它们构成一个个智能代理,多个智能代理通过协同工作来完成整个控制系统的任务,提高了系统的性能.考虑到系统中计算机控制器的重要作用和状态,建立了系统的可靠性模型,利用Markov过程理论证明了与通常网络化控制系统相比,基于智能代理技术有双控制器的计算机网络化控制系统具有更高的可靠性和安全性.     

一种基于模糊综合评判的软件可靠性模型选择方法

软件可靠性模型是可靠性工程的一个重要方面，如何缺乏可靠性数据的情况下，选择合适的软件可靠性模型是对软件可靠性进行量化分析的关键，在对影响软件可靠性模型的因素进行分析的基础上，采用模糊数学的理论，提出了一种基于模糊综合评判的软件可靠性模型选择方法。