期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
铁路车站计算机联锁软件的安全性评估策略
被引量：
3
1
作者
严黎
吴芳美
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002年第9期1116-1120,共5页
安全控制系统的行为直接关系人身和大宗财产的安全 ,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题 .应从软件可靠性和安全性含义的讨论中 ,明确它们之间的区别 .在此基础上 ,提出一种能定量反映计算机联锁安全软件...
安全控制系统的行为直接关系人身和大宗财产的安全 ,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题 .应从软件可靠性和安全性含义的讨论中 ,明确它们之间的区别 .在此基础上 ,提出一种能定量反映计算机联锁安全软件安全性的评估策略 ,最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后 ,利用J -M可靠性模型对其进行安全性定量分析的方法 .
展开更多
关键词
铁路车站
评估策略
安全
软件
软件
可靠性
安全性定量评估
计算机联锁软件
J-M可靠性模型
在线阅读
下载PDF
职称材料
基于场景的联锁软件形式化模型生成方法
被引量：
5
2
作者
董昱
高雪娟
《计算机科学》
CSCD
北大核心
2015年第1期193-195,226,共4页
为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统...
为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。
展开更多
关键词
计算机联锁软件
事件确定有限自动机
顺序图
场景分析
在线阅读
下载PDF
职称材料
一种站场图逻辑语义解析算法
3
作者
胥幸燕
徐中伟
《计算机工程与科学》
CSCD
2005年第4期78-79,110,共3页
本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场CAD拼贴及数据校验中实现。
关键词
软件
开发
铁路车站
计算机联锁软件
站场图逻辑语义解析算法
在线阅读
下载PDF
职称材料
题名
铁路车站计算机联锁软件的安全性评估策略
被引量：
3
1
作者
严黎
吴芳美
机构
同济大学沪西校区安全软件测试评估研究所
出处
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002年第9期1116-1120,共5页
基金
铁道部科技研究开发计划资助项目 (2 0 0 1X0 0 5
2 0 0 0X0 18)
文摘
安全控制系统的行为直接关系人身和大宗财产的安全 ,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题 .应从软件可靠性和安全性含义的讨论中 ,明确它们之间的区别 .在此基础上 ,提出一种能定量反映计算机联锁安全软件安全性的评估策略 ,最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后 ,利用J -M可靠性模型对其进行安全性定量分析的方法 .
关键词
铁路车站
评估策略
安全
软件
软件
可靠性
安全性定量评估
计算机联锁软件
J-M可靠性模型
Keywords
safety-critical software
reliability
safety quantitative assessment
computer interlocking software
分类号
U284.362 [交通运输工程—交通信息工程及控制]
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于场景的联锁软件形式化模型生成方法
被引量：
5
2
作者
董昱
高雪娟
机构
兰州交通大学自动化与电气工程学院
出处
《计算机科学》
CSCD
北大核心
2015年第1期193-195,226,共4页
基金
基于受控拉格朗日函数的多欠驱动度力学系统控制器设计(61164010)资助
文摘
为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。
关键词
计算机联锁软件
事件确定有限自动机
顺序图
场景分析
Keywords
Computer interlocking software
ETDFA
Sequence diagram
Scenario analysis
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种站场图逻辑语义解析算法
3
作者
胥幸燕
徐中伟
机构
同济大学电子与信息工程学院
出处
《计算机工程与科学》
CSCD
2005年第4期78-79,110,共3页
基金
铁道部科技发展项目(2000X018)
文摘
本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场CAD拼贴及数据校验中实现。
关键词
软件
开发
铁路车站
计算机联锁软件
站场图逻辑语义解析算法
Keywords
interlocking
logic semantics
algorithm
graph search
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
U284.363 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
铁路车站计算机联锁软件的安全性评估策略
严黎
吴芳美
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002
3
在线阅读
下载PDF
职称材料
2
基于场景的联锁软件形式化模型生成方法
董昱
高雪娟
《计算机科学》
CSCD
北大核心
2015
5
在线阅读
下载PDF
职称材料
3
一种站场图逻辑语义解析算法
胥幸燕
徐中伟
《计算机工程与科学》
CSCD
2005
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
