位置：立项数据库 > 立项详情页
铁路信号控制安全性逻辑形式化技术的研究
  • 项目名称：铁路信号控制安全性逻辑形式化技术的研究
  • 项目类别：联合基金项目
  • 批准号：60674004
  • 申请代码：F03
  • 项目来源：国家自然科学基金
  • 研究期限：2007-01-01-2009-12-31
  • 项目负责人：徐中伟
  • 负责人职称：教授
  • 依托单位：同济大学
  • 批准年度：2006
中文摘要：

目前我国铁路信号功能需求和技术条件都是用自然语言来表达的。正是由于自然语言的模糊性、不确定性和时常发生的二义性，有时不得不用继电器电路图来说明。随着计算机越来越多应用于铁路信号控制，软件正逐步取代故障安全继电器电路完成信号安全性逻辑的运算，为此迫切需要研究一种无二义、直观、易于验证和测试且故障安全的铁路信号安全性控制逻辑形式化描述语言。现有的形式化描述语言工具尚没有完全能够直接用于我国铁路信号领域

中文主题词： 形式化语言;铁路信号;安全性;逻辑
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 31
  • 5
  • 0
  • 0
  • 1
期刊论文
基于边界和距离的离群点检测
面向安全需求的测试用例自动生成技术研究
面向断言的测试数据生成方法及其应用
安全评估国际标准转化框架体系的研究
基于重要抽样的联锁软件安全性评估
面向安全需求的安全通信协议测试序列生成算法
基于图形转换的构件组装研究与应用
基于排队模型的联锁逻辑仿真模型研究
改进的J-M模型及其在软件安全性评估中的应用
联锁逻辑形式化模型检验的研究
构件化安全苛求软件的安全接口策略.
Petri网模型的FTA安全性分析
面向安全性需求的安全构件模型框架研究
基于UML顺序图的安全苛求软件安全性分析
基于时序Petri网的联锁逻辑形式建模与验证
联锁逻辑模型的安全性分析
面向安全苛求软件的测试用例自动生成
基于有色Petri网的安全构件模型
面向安全性需求的构件组装
通用嵌入式系统软件测试平台的设计
联锁系统形式化模型的安全性评估
一种新的安全通信协议安全性验证框架
一种BEPT仿真系统的设计与实现
基于项重写系统的联锁系统模型检测方法研究
基于贝叶斯网络的高铁系统概率安全评估方法研究
通用的安全苛求软件安全性测试方法
基于启发式NDFS的模型检测新算法
交叉冗余体系结构的安全性分析
SP多属性评价法在矿山应急体系评价中的应用
基于模型检测的软件安全性验证方法
一种基于场景模型的安全性分析算法研究
会议论文
An approach for automated safety testing of safety-critical software system based on safety requirem
Verification framework of scenario-based safety requirement
Verification of scenario-based safety requirement specification on components composition Du, Junwei
Research on the composition framework of generic component for connector architecture
Research on the composition uniqueness of connector architecture based on graph transformation
著作
铁路信号可靠性安全性理论及证实
相关项目
高速行车条件下列车智能分布式实时监控形式化理论研究
期刊论文 29
面向动态语言安全性的源代码静态分析技术研究
期刊论文 6 会议论文 8 著作 2
广义自缩序列的生成与安全性分析
期刊论文 8
强侧风对高速列车外流场瞬态气动特性及行车安全性影响研究
期刊论文 3 会议论文 1
用强度差压缩态及光纤传输的连续变量量子保密通讯
期刊论文 15
电子商务推荐系统健壮性研究
期刊论文 1 会议论文 4
信息隐藏的安全性和稳健性研究
期刊论文 36 会议论文 30 获奖 4 著作 1
多值逻辑系统的分析与控制
期刊论文 88 会议论文 4
疲劳与维修交互作用下结构的安全性理论
期刊论文 31
徐中伟的项目
高速铁路列控系统安全性验证的一阶可判定形式理论研究
期刊论文 68