安全管理网

基于STPA的CTCS-3级列控系统功能安全分析方法

文档作者: 刘金涛1 唐涛1 赵林1 刘磊2        文档来源: 1.北京交通大学 2.中国铁道科学研究院
点 击 数:
更新时间: 2018年08月11日
下载地址: 点击这里
文件大小: 872.54 KB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:872.54 KB      文件格式:
下载点数:1 点(VIP会员免费)

利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;

收藏本页到会员中心
网友评论 more
创想安科网站简介会员服务广告服务业务合作提交需求会员中心在线投稿版权声明友情链接联系我们