• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>情報処理学会;情報処理学会全国大会 >AADL 活用による安全分析STAMP/STPA の支援
【24h】

AADL 活用による安全分析STAMP/STPA の支援

机译：通过AADL支持安全分析STAMP / STPA

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

本研究ではSTAMP/STPA の手順にかかる作業量の削減を目的としてAADL を利用した自動分析を援用することを提案した．また，提案手法の有用性検証のため，話題沸騰ポットに対し提案手法を適用した．AADL を用いた自動分析では，3 章で示した複雑な要因に起因するハザードシナリオ以外のハザードシナリオは識別できた．そのため，AADLを用いて分析が可能な単純な条件で発生するハザードは自動分析を援用し，分析者の知識や発想などが必要な複雑なものは人間が行うことで，分析にかかる作業量を減らすことができ，ひいては分析者が複雑なハザードシナリオの識別に注力できるようになると考える．
机译：在这项研究中，STAMP / STPA程序所需的工作量 使用ADL进行自动分析以减少 我建议使用它。此外，还有一种建议的方法 建议使用火锅进行可用性验证 该法律适用。 在使用AADL进行自动分析时，第3章中显示的倍数 除杂项因素造成的危害情景之外的Ha 可以确定Zard方案。因此，AADL 在简单条件下出现的C可以使用 Zard使用自动分析来发展分析师的知识和技能。 人类做复杂的事情需要思想等。 可以减少分析所需的工作量。 供分析人员识别复杂的危险情况 我认为我们将能够专注于此。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号