安全苛求系统相关论文
铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统。首先，对现......
临时限速系统TSRS(Temporary Speed Restriction System)是列控系统的重要组成系统之一，是基于“故障—安全”的安全苛求系统，在列车......
随着计算机技术的发展,计算机被越来越多的用于安全苛求系统的控制,对安全计算机系统的研究形成了专门的分支。计算机的通用化和市......
近年来,在中间件技术的基础上,结合软件复用和面向对象的思想,构件化设计和开发作为一种提高软件生产率和软件质量的有效途径,并在......
随着国内大城市轨道交通网络的大力发展，对城市轨道交通系统的安全和效率提出了更高的要求。而列车运行控制系统在提高运输效率、保......
无线闭塞中心(RBC)是CTCS-3级列控系统的地面核心系统,主要实现行车许可的下达与列车间隔控制。RBC切换功能是RBC系统的关键功能之......
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试.面向安全需求,通过定义安全因子,建......
采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形......
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,......
主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系......
针对传统RPN(风险优先数)方法在安全苛求系统FEMA(失效模式与影响分析)过程中的不足,提出一种基于FRPN(模糊风险优先数)的新方案,......
介绍安全苛求系统下的嵌入式C语言程序调试的技巧.总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调......
提出了一种基于精确需求定义的软件开发方法，在软件需求层面，采用易于开发人员理解的“伪代码”形式，精确定义每条功能需求，以此消除自......
高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计......
针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动......
本文分析列车自动防护（ATP）系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.......
应用构件开发安全苛求系统时,需要对所选用的构件进行安全性评估。为此,以层次分析法为基础,设计模糊层次分析法（FAHP）以确定构件的......
安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree an......
临时限速系统是列控系统的重要组成部分,是符合"故障–安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析......
从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方......
针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题，在形式化的系统可靠性建模中引入可修复因子，提出一种......
基于经典方法改进的安全分析方法—综合功能危险源分析（IFHA）,综合了功能故障分析（FHA）、故障模式及影响分析（FMEA）、瞬时故障和可操作性......
为解决安全关键领域传统容错计算平台支持费用高、技术局限性大的问题，提出并实现了一种基于商用货架产品（COTS）的高安全容错计算平台......
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行......
阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提......
为了提高安全编码处理器的可维护性，基于安全冗余编码算法，设计了2种冗余代码检错工具。研究表明：在线检错工具较离线检错工具能够更......
为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行。结合CENELEC国......
根据联锁系统的事故危害度分类，有效地结合故障树分析法和Petri网可达图分析的各自优点，提出一种用于评估联锁系统Petri模型的安全性......
高速铁路列车运行控制系统(简称：列控系统)融入了先进的计算机、通信以及控制技术,极大地提升了系统的效率和安全性。由于系统的硬......
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用......
为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统......
在安全苛求系统中,风险分析是系统安全性的评价指标。风险一般与事故发生频率以及造成的损失有关。事故的发生与设备故障,人因错误......
轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全,信号系统作为保证列车安全、正点、快捷、舒适、高密......
根据CMMI模型和EN50128标准,结合i LOCK计算机联锁系统的开发过程,介绍了安全苛求系统开发过程中的需求开发和管理。......
