基于STPA的CTCS-3级列控系统功能安全分析方法_万博亚洲网
  煤矿  化工  建筑
  机械  电力  冶金
  消防  交通  特种
    视频
   
   超市 

基于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
 |  网站简介 |  会员服务 |  广告服务 |  业务合作 |  提交需求 |  会员中心 |  在线投稿 |  版权声明 |  友情链接 |  联系我们 
©   万博亚洲网   
运营单位:北京创想安科科技有限公司
联系电话:   E-mail:safehoo@163.com