A safety analysis method for software including black box part, such as machine learning software

一种针对机器学习软件等包含黑盒部分的软件的安全分析方法

基本信息

  • 批准号:
    22K04616
  • 负责人:
  • 金额:
    $ 2.41万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2022
  • 资助国家:
    日本
  • 起止时间:
    2022-04-01 至 2025-03-31
  • 项目状态:
    未结题

项目摘要

令和4年度は、システム構成要素間の相互作用により発生するハザードの原因を分析するための安全性解析手法であるSystem-Theoretic Process Analysis(STPA)を、組込みシステムの安全性解析に適用するための方法について研究した.なお、本研究ではハザードとは、それを放置するとアクシデント(人、システム自体、環境等に悪影響がある状況)となる状態と定義する.一般的にSTPAはシステム開発の上流工程で使用される手法であるため、組込みシステムのような多数のシステム構成要素(ハードウェア、ソフトウェア、使用者等.以降、コンポーネントと呼ぶ.)が関連する複雑な構成のシステムの安全性解析には適していなかった.本研究では、既存のSTPAに対して、以下の機能を追加したStructured STPA(SSTPA)を提案した.(1)階層的にシステム構成要素を記述する方法(Structured Control Structure Diagram: SCSD)(2)個々のシステム構成要素の挙動を明確に定義する方法(組合型構成要素、順次型構成要素、結合型構成要素)(3)ハザードを生じさせる制御信号を起点にSCSDで記述されたシステムの挙動を逆追跡することでハザードの原因を明らかにする方法SSTPAを列車の踏切制御システムの安全性解析に適用し、手法の評価を行った.評価の結果、従来のSTPAに比べて、より詳細なハザードの発生原因を明らかにできることが分かった.
Ling and 4 years of research were conducted on the basis of the analysis of the causes of the interaction between the key elements and the causes of the interaction between the factors and the factors in the analysis of the factors in the year 4, the analysis of the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction between the factors and the causes of the interaction were analyzed in this paper. In general, STPA users are involved in the operation of high-level engineering projects. Most of them are concerned about the factors (such as environmental pollution, environmental pollution, customer satisfaction, etc.). This study is based on the analysis of security issues. This study is based on the existing STPA data analysis. The following mechanisms can provide additional information on the Structured STPA (SSTPA) proposal. (1) the document description method (Structured Control Structure Diagram: SCSD) (2) the dynamic definition of the component (composite component, secondary component, Combination of key elements) (3) the starting point of the control signal of the system, the SCSD record, the cause of the problem, the cause of the problem, the method of SSTPA, the safety analysis of the system, the safety analysis of the system, the operation of the system, the results of the test, the results of the STPA comparison, the results of the test, the results of the test, the results of the test. Please tell me the reason why you are born.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Politeknik Statistika STIS(インドネシア)
Politeknik Statistika STIS(印度尼西亚)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
A creation method of comprehensive cases and specifications for hardware and software combined test to detect undesirable events of an industrial product using HAZOP
一种利用HAZOP检测工业产品不良事件的软硬件联合测试综合案例和规范的创建方法
A proposal of structured system theoretic process analysis applicable for the whole system development process
适用于整个系统开发过程的结构化系统理论过程分析的提出
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Takahashi Masakazu;Ueno Kouji;Anang Yunarso;Watanabe Yoshimichi
  • 通讯作者:
    Watanabe Yoshimichi
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

高橋 正和其他文献

LBSNのための汎用的なオントロジフレームワーク構築
构建LBSN通用本体框架
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    簗井 美咲;高橋 正和;佐々木 勇和;石川 佳治
  • 通讯作者:
    石川 佳治
行動オントロジによるセンサデータからの複合イベント検出について
关于使用行为本体从传感器数据中检测复杂事件
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    佐々木 勇和;簗井 美咲;高橋 正和;杉浦 健人;石川 佳治
  • 通讯作者:
    石川 佳治
オントロジーを利用したLBSN基盤フレームワークの設計
使用本体设计LBSN基础架构框架
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    稲葉 鉄平;簗井 美咲;高橋 正和;石川 佳治
  • 通讯作者:
    石川 佳治
オントロジーを利用したイベント処理システムの提案
使用本体的事件处理系统的提案
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    高橋 正和;簗井 美咲;稲葉 鉄平;石川 佳治
  • 通讯作者:
    石川 佳治
溶解度分別法に基づくサイコサポニン単離法の検討
基于溶解度分级法的柴胡皂苷分离方法研究
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    高橋 正和;上田 奈穂;片野 肇
  • 通讯作者:
    片野 肇

高橋 正和的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('高橋 正和', 18)}}的其他基金

Development of efficient purification methods and analyses of health-promoting functions for natural functional ingredients.
天然功能成分的高效纯化方法开发及健康促进功能分析。
  • 批准号:
    20K05941
  • 财政年份:
    2020
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
カイコ絹タンパク質セリシン由来ペプチドによる細胞死抑制機構の解明
蚕丝蛋白丝胶衍生肽抑制细胞死亡的机制的阐明
  • 批准号:
    16780075
  • 财政年份:
    2004
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了