形式化方法在列车运行控制系统中的应用 

为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统安全苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式...
《交通运输工程学报》  2010年 第01期 下载次数(875)| 被引次数(68)

列车运行控制系统分层形式化建模与验证分析 

列车运行控制系统(简称“列控系统”)是将先进的控制技术、通信技术、计算机技术与铁路信号技术融为一体,保证轨道交通安全、正点、高密度运行的自动化系统。随着计算机在列控系统中的广泛应用,硬件和软件规模不断扩大,系统的复杂性有了很大的提高,呈现出复杂的`...
北京交通大学  博士论文  2011年 下载次数(1262)| 被引次数(53)

基于UPPAAL的联锁进路控制流程建模与验证 

信号系统是城市轨道交通的主要技术装备,它担负着指挥列车运行、保证行车安全、提高运输效率的重要任务。计算机联锁(CI)又是城市轨道交通信号系统的重要组成部分,它实现信号、道岔与进路的制约关系,从而保证了行车的安全。城市轨道交通的计算机联锁把联锁关系和ATP功能结...
北京交通大学  硕士论文  2009年 下载次数(489)| 被引次数(39)

基于有色Petri网的无线闭塞中心子系统切换建模与验证 

无线闭塞中心(RBC)是CTCS-3级列控系统的地面核心系统,主要实现行车许可的下达与列车间隔控制。RBC切换功能是RBC系统的关键功能之一,是影响CTCS-3级列控系统的控制精度、效率和可靠性、安全性的重要因素。本文分析了RBC切换的功能需求,设...
北京交通大学  硕士论文  2009年 下载次数(403)| 被引次数(39)

基于UML的CBTC系统区域控制器的建模与安全性验证 

基于通信的列车控制(Communication Based Train Control,CBTC)系统是利用连续、大容量的车地双向数字通信实现列车控制信息和列车状态信息传输的先进列车控制系统,是今后轨道交通列车运行控制系统的发展趋势。区域控制器(Zone Controlle...
北京交通大学  硕士论文  2008年 下载次数(548)| 被引次数(32)

列控系统需求规范形式化建模与验证方法研究 

列车运行控制系统(以下简称“列控系统”)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,由于列控系统是一个复杂的安全苛求系统,仅依靠经验制定的系统需求规范不可避免地存在某些漏洞或...
北京交通大学  博士论文  2012年 下载次数(924)| 被引次数(30)

2取2乘2安全计算机平台的设计与实现 

介绍一种应用于轨道交通等安全苛求系统的2取2乘2安全计算机平台,该平台基于COTS硬件和软件进行开发,采用分层结构设计的理念,对平台的同步原理、工作模式、故障诊断方式以及故障导向安全机制作深入探讨,对平台各组成部分的特点进行详细描述。考虑到生产、维护、测试的需要,对该安全...
《都市快轨交通》  2011年 第04期 下载次数(218)| 被引次数(29)

基于UML的车站信号软件建模 

铁路计算机联锁系统是以计算机技术为核心,通过采用通信、可靠性和容错以及“故障—安全”技术,实现联锁要求的实时控制系统。车站信号联锁软件作为计算机联锁系统的核心,是一种保证站内行车安全、提高行车效率的典型安全苛求性软件。以联锁基本原理为基础...
北京交通大学  硕士论文  2008年 下载次数(447)| 被引次数(29)

一种全覆盖的列控车载系统测试用例自动生成算法研究 

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载`#~系统`@...
《铁道学报》  2014年 第08期 下载次数(251)| 被引次数(26)

一种基于失效传播模型的安全分析方法的研究 

对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入21世纪后计算机系统正朝着深度融合计...
北京交通大学  博士论文  2010年 下载次数(743)| 被引次数(24)

基于有色Petri网的CBTC车载设备应用软件的建模与分析 

随着无线通信技术的飞速发展,无线通信的可靠性、可用性大大提高,基于通信的列车运行控制(Communications-Based Train Control,CBTC)系统是今后轨道交通列车运行控制系统的发展趋势。 论文介绍了VOBC设备的基本原理和结构以及基于安全计...
北京交通大学  硕士论文  2008年 下载次数(356)| 被引次数(24)

低成本列车组合定位系统容错算法设计 

列车实时定位是列车控制系统的重要环节。在安全苛求的现代列车控制系统中,列车定位系统需要在实现高精度列车定位的同时具备容错能力,以保证系统安全。针对列车定位的安全性需求,从保障列车定位系统的容错性能出发,利用低成本GPS接收机、惯性测量器...
《铁道学报》  2011年 第01期 下载次数(450)| 被引次数(22)

输煤程控系统的设计 

本文深入研究了几种抗干扰措施在龙凤热电厂输煤程控系统具体实施方法以及效应。作为一种应用于工业控制的自动装置,PLC本身具有一定抗干扰能力,比较适应工业现场环境。尽管如此,由于龙凤热电厂输煤系统运行条件恶劣,各类干扰信号较多,使得抗干扰问题成为输煤程控设计、调试及运行中的一大...
大庆石油学院  硕士论文  2003年 下载次数(3919)| 被引次数(21)

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用 

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础...
《铁道通信信号》  2010年 第08期 下载次数(267)| 被引次数(18)

联锁逻辑模型的安全性分析 

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种...
《计算机工程与应用》  2007年 第02期 下载次数(176)| 被引次数(18)

共找到相关记录277条12345678910下一页