期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
铁路信号安全关键软件形式化建模
被引量：
6
1
作者
李耀
郭进
+1 位作者
杨扬
马亮
《铁道学报》
EI
CAS
CSCD
北大核心
2017年第9期74-80,共7页
针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了...
针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。
展开更多
关键词
安全关键软件
形式化建模
时钟约束
TIMED
synccharts
Kripke
计算机联锁
在线阅读
下载PDF
职称材料
铁路计算机联锁系统安全关键软件的安全性能建模方法
被引量：
3
2
作者
李耀
张亚东
+3 位作者
郭进
晏姗
饶畅
曹雅鑫
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017年第2期111-117,共7页
针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上...
针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。
展开更多
关键词
铁路信号系统
软件安全性能
synccharts
建模
马尔可夫决策过程
在线阅读
下载PDF
职称材料
题名
铁路信号安全关键软件形式化建模
被引量：
6
1
作者
李耀
郭进
杨扬
马亮
机构
西南交通大学信息科学与技术学院
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2017年第9期74-80,共7页
基金
中国铁路总公司重点项目(2015X009-D
2014X008-A)
文摘
针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。
关键词
安全关键软件
形式化建模
时钟约束
TIMED
synccharts
Kripke
计算机联锁
Keywords
safety critical software
formal modeling
clock constraint
Timed
synccharts
Kripke
computer based interlocking
分类号
TP393 [自动化与计算机技术—计算机应用技术]
U283 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
铁路计算机联锁系统安全关键软件的安全性能建模方法
被引量：
3
2
作者
李耀
张亚东
郭进
晏姗
饶畅
曹雅鑫
机构
西南交通大学信息科学与技术学院
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017年第2期111-117,共7页
基金
中国铁路总公司科技研究开发计划重点项目(2015X009-D)
甘肃省高原交通信息工程及控制重点实验室项目(20161103)
文摘
针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。
关键词
铁路信号系统
软件安全性能
synccharts
建模
马尔可夫决策过程
Keywords
Railway signal system
Software safety performance
synccharts
modeling
Markov decision process
分类号
U284.362 [交通运输工程—交通信息工程及控制]
U283.2 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
铁路信号安全关键软件形式化建模
李耀
郭进
杨扬
马亮
《铁道学报》
EI
CAS
CSCD
北大核心
2017
6
在线阅读
下载PDF
职称材料
2
铁路计算机联锁系统安全关键软件的安全性能建模方法
李耀
张亚东
郭进
晏姗
饶畅
曹雅鑫
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
