安全苛求通信系统的形式化建模及验证 

随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安全苛求控制系统,把安全相关的通信功能独立出来不但可使系统的结构优化、性能提升、有利于系统的研发,更有...
中国铁道科学研究院  博士论文  2011年 下载次数(127)| 被引次数(3)

安全苛求系统综合功能危险源分析方法的研究 

基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛盾...
《铁路计算机应用》  2011年 第07期 下载次数(130)| 被引次数(8)

基于项重写系统的联锁系统模型检测方法研究 

模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统的站场进行形式化建模,通过其语法和语义定义各类约束和离散事件,构架联锁系统属性和行为。在模型建立...
《计算机工程与应用》  2014年 第03期 下载次数(53)| 被引次数(1)