检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]同济大学电子与信息工程学院,上海200331
出 处:《铁道学报》2001年第4期63-66,共4页Journal of the China Railway Society
基 金:铁道部科技研究开发计划项目 (98X1 2 )
摘 要:根据软件安全性理论及技术的发展 ,以独立性评估组织为背景 ,结合铁路信号安全控制及防护系统对软件安全性评估理论及方法的实际需要 ,研究适合于我国铁路现状的车站计算机联锁软件的安全性评估理论和方法 。According to the development of software safety theory and technology, at the background of a third party testing organization, and with the combination of satisfying the actual requirement for railway signaling safety related system,this paper studies the software safety assessment theory and the method of railway station computer interlocking system suitable to domestic environment, and puts them into practice.
关 键 词:黑箱测试 软件风险 联锁 软件安全性评估 铁路信号 安全控制
分 类 号:U284[交通运输工程—交通信息工程及控制]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7