关键词: 安全编码处理器  安全苛求系统  检错工具  故障定位  冗余编码算法  

2018年第05期 《铁道通信信号》

关键词: 轨道交通系统  交通信号系统  安全技术  安全性  意识问题  安全苛求系统  安全计算机  

2005年第06期 《中国安全科学学报》

关键词: 安全苛求系统  模型驱动开发  安全苛求应用开发环境  

2016年第S2期 《城市轨道交通研究》

关键词: 安全苛求系统  模型驱动开发  安全苛求应用开发环境  

2016年第B08期 《城市轨道交通研究》

关键词: 需求开发  需求管理  安全苛求系统  

2016年第11期 《铁道通信信号》

关键词: 安全苛求系统  故障树分析法  petri网  安全性评估  

2007年第08期 《微电子学与计算机》

关键词: 交通信息工程  形式化方法  列车运行控制系统  安全苛求系统  

2010年第01期 《交通运输工程学报》

关键词: 安全苛求系统  安全分析  zc系统  fha  fmea  fta  

2011年第07期 《铁路计算机应用》

关键词: 失效模式与影响分析  模糊加权几何平均  模糊风险优先数  安全苛求系统  

2011年第12期 《计算机应用与软件》

关键词: xml  安全苛求系统  有限状态机  状态迁移树  

2011年第01期 《计算机应用》

关键词: 高速铁路列控系统  安全苛求系统  安全性  安全性测试  

2010年第08期 《计算机应用》

关键词: 安全苛求系统  容错  安全完整性  

2008年第03期 《北京理工大学学报·社会科学版》

关键词: uml顺序图  安全因子  最小安全因子路径  测试用例自动生成  安全苛求系统  

2009年第28期 《计算机工程与应用》

关键词: 动态故障树  安全苛求系统  可靠性分析  马尔科夫模型  模块化  

2009年第15期 《计算机工程》

关键词: 轨道交通  列车运行控制系统  安全认证  验证与确认  安全苛求系统  

2010年第12期 《中国安全科学学报》

关键词: 故障树分析  模型检测  安全苛求系统  安全性验证  

2010年第02期 《武汉大学学报·理学版》

关键词: 构件  安全苛求系统  安全性  模糊层次分析法  量化评估  

2011年第22期 《计算机工程》

关键词: 安全苛求系统  安全性分析  形式化方法  形式化验证  

2012年第08期 《计算机科学》

关键词: 基于通信的列车自动控制  数据管理  安全苛求系统  数据供应链  城市轨道交通  

2013年第03期 《都市快轨交通》

关键词: 列车自动保护  软件需求  精确需求定义  安全苛求系统  

2013年第05期 《城市轨道交通研究》