《表2 不同方法结果对比:形式化的安全分析方法在智能轨道交通的应用》

《表2 不同方法结果对比:形式化的安全分析方法在智能轨道交通的应用》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《形式化的安全分析方法在智能轨道交通的应用》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录

根据STPA方法论中提供的四种引导词,结合控制结构的控制行为。利用XSTAMP进行UCA的识别。UCA如表2所示。