• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

安全関連系における危害リスクに基づいた保全実施計画策定支援技術の開発

研究課題

研究課題/領域番号 19K04144
研究種目

基盤研究(C)

配分区分基金
応募区分一般
審査区分 小区分18030:設計工学関連
研究機関関西大学

研究代表者

井上 真二  関西大学, 総合情報学部, 教授 (60432605)

研究期間 (年度) 2019-04-01 – 2024-03-31
研究課題ステータス 完了 (2023年度)
配分額 *注記
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2021年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2020年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2019年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
キーワード安全関連系 / 最適保全実施間隔 / プルーフテスト / 確率モデル / 再生過程 / 連続時間マルコフ連鎖 / 最適方策 / 危害リスク / DU故障 / 最適プルーフテスト実施方策 / DU故障率 / 自己診断率 / 危害コスト比 / 安全度水準 / 総期待保全コスト / 最適保全実施方策 / ソフトウェア安全度水準 / 機能安全 / システム信頼性/安全性
研究開始時の研究の概要

安全関連系の保全実施計画策定を支援する技術の開発を目的として,安全関連系の代表的保全活動であるプルーフテストを取り上げ,危害リスクに基づきながら理論的にその実施間隔を決定する問題を定義し,定常状態における危害リスクと保守コストの最小化に基づいた安全関連系の最適保全実施間隔の決定手法を開発する.

研究成果の概要

安全関連系の特徴的な作動メカニズムを踏まえた2つの危害事象発生論理に基づいて,安全関連系に起因する危害事象発生確率を導出した.また,この尺度に一定のコストを導入することで危害リスクを定式化し,これに保全実施費用も含めた総コストを数理的に与える2通りのアプローチを開発した.さらに,危険側故障発生率やリスクの大きさに応じて,この総費用を最小化する保全実施間隔を決定できる最適方策を導出した.最後に,IEC6150に準拠しながら,安全関連系への作動要求率や安全関連系の危険側故障発生率等を与え,危害リスクに応じた最適プルーフテスト実施間隔を実際に算出し,これらの最適方策の適用例も示した.

研究成果の学術的意義や社会的意義

自動車の安全機能など,安全関連系が導入される場面は急激に増えている.安全関連系の機能安全に関する国際基本規格IEC 61508をはじめ,学術界でも安全関連系の定量的な安全性評価技術について活発な議論が行われている.一方,安全関連系の保全に関する議論は必ずしも多くは見られず,本研究課題のように安全関連系に起因する危害事象発生論理や危害リスクに応じながら最適な保全実施間隔を算出する技術は,リスク低減方策の基本であるALARP原則を保全活動で実現するために極めて有用なアプローチであると考える.また,本研究課題の成果を発端に,安全関連系の保全方策に対する議論が国際的に活発化することも期待される.

報告書

(6件)
  • 2023 実績報告書   研究成果報告書 ( PDF )
  • 2022 実施状況報告書
  • 2021 実施状況報告書
  • 2020 実施状況報告書
  • 2019 実施状況報告書
  • 研究成果

    (45件)

すべて 2024 2023 2022 2021 2020 2019 その他

すべて 雑誌論文 (15件) (うち国際共著 2件、 査読あり 15件、 オープンアクセス 1件) 学会発表 (26件) (うち国際学会 10件、 招待講演 2件) 備考 (4件)

  • [雑誌論文] Optimal proof-testing strategies for safety-related systems based on continuous time Markov chain2024

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 31 号: 01

    • DOI

      10.1142/s0218539323500389

    • 関連する報告書
      2023 実績報告書
    • 査読あり
  • [雑誌論文] Economic proof-testing intervals for E/E/PE safety-related system with harmful risk2023

    • 著者名/発表者名
      Shinji Inoue, Kousuke Maki, Takaji Fujiwara and Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 30 号: 01

    • DOI

      10.1142/s0218539322500280

    • 関連する報告書
      2023 実績報告書
    • 査読あり
  • [雑誌論文] Mathematical approaches in functional safety assessment for E/E/PE safety-related software2022

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 29 号: 01

    • DOI

      10.1142/s0218539321500431

    • 関連する報告書
      2022 実施状況報告書 2021 実施状況報告書
    • 査読あり
  • [雑誌論文] An optimal scheduling policy for upgraded software with updates2022

    • 著者名/発表者名
      Adarsh Anand, Subhrata Das, Mohini Agarwal and Shinji Inoue
    • 雑誌名

      International Journal of Quality & Reliability Management

      巻: 39 号: 3 ページ: 704-715

    • DOI

      10.1108/ijqrm-04-2021-0092

    • 関連する報告書
      2022 実施状況報告書 2021 実施状況報告書
    • 査読あり / 国際共著
  • [雑誌論文] Efficiency evaluation of software faults correction based on queuing simulation2022

    • 著者名/発表者名
      Y. Minamino, Y. Makita, S. Inoue, and S. Yamada
    • 雑誌名

      Mathematics

      巻: 10(9) 号: 9 ページ: 1438-1438

    • DOI

      10.3390/math10091438

    • 関連する報告書
      2022 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Application of software reliability model for safety assessment of E/E/PE safety-related software2021

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • 雑誌名

      International Journal of Mathematical, Engineering and Management Sciences

      巻: 6 号: 4 ページ: 1044-1054

    • DOI

      10.33889/ijmems.2021.6.4.061

    • 関連する報告書
      2021 実施状況報告書
    • 査読あり
  • [雑誌論文] E/E/PE安全関連系に対する最適プルーフテスト実施間隔2021

    • 著者名/発表者名
      井上 真二,藤原 隆次
    • 雑誌名

      日本信頼性学会誌

      巻: 43

    • NAID

      40022710325

    • 関連する報告書
      2021 実施状況報告書
    • 査読あり
  • [雑誌論文] Software Shipping Time Estimation for Markovian Change-Point Reliability Model2020

    • 著者名/発表者名
      Shinji Inoue, Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 28 号: 03 ページ: 2150021-2150021

    • DOI

      10.1142/s0218539321500212

    • 関連する報告書
      2021 実施状況報告書 2020 実施状況報告書
    • 査読あり
  • [雑誌論文] Markovian Multiple Change-Point Modeling for Software Reliability Assessment2020

    • 著者名/発表者名
      Shinji Inoue, Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 27 号: 06 ページ: 2050017-2050017

    • DOI

      10.1142/s0218539320500175

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] Reliability modeling of multi-version software system incorporating the impact of infected patching2020

    • 著者名/発表者名
      Adarsh Anand, Jasmine Kaur, Shinji Inoue
    • 雑誌名

      International Journal of Quality & Reliability Management

      巻: 37 号: 6/7 ページ: 1071-1085

    • DOI

      10.1108/ijqrm-07-2019-0247

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり / 国際共著
  • [雑誌論文] Bivariate software reliability growth models under budget constraint for development management2020

    • 著者名/発表者名
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • 雑誌名

      International Journal of Mathematical, Engineering and Management Sciences

      巻: 5 号: 1 ページ: 56-65

    • DOI

      10.33889/ijmems.2020.5.1.005

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Phase-type modeling approaches for software reliability modeling with debugging process2020

    • 著者名/発表者名
      Shinji Inoue and Shigeru Yamada
    • 雑誌名

      International Journal of Mathematical, Engineering and Management Sciences

      巻: 5 号: 1 ページ: 76-82

    • DOI

      10.33889/ijmems.2020.5.1.007

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Interval estimation for software reliability assessment based on a MCMC method2019

    • 著者名/発表者名
      Shinji Inoue, Shigeru Yamada
    • 雑誌名

      International Journal of Performability Engineering

      巻: 15 ページ: 1273-1278

    • DOI

      10.23940/ijpe.19.05.p2.12731278

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Two-Dimensional NHPP Models based on Several Testing-Time Functions and their Applications2019

    • 著者名/発表者名
      Yuka Minamino, Shunichi Sakaguchi, Shinji Inoue and Shigeru Yamada
    • 雑誌名

      International Journal of Reliability, Quality and Safety Engineering

      巻: 26 号: 04 ページ: 1950018-1950018

    • DOI

      10.1142/s0218539319500189

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] Data analyses based on time-series models for healthcare quality management in a dispensing pharmacy2019

    • 著者名/発表者名
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • 雑誌名

      Asia-Pacific Journal of Industrial Management

      巻: 8 ページ: 77-84

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [学会発表] Markov analysis on optimal proof-testing interval for safety-related systems2023

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • 学会等名
      The Twenty-Eighth ISSAT International Conference on Reliability and Quality in Design, San Francisco, California, U.S.A, August 3--5, 2023
    • 関連する報告書
      2023 実績報告書
    • 国際学会
  • [学会発表] Economic periodic maintenance intervals for dangerous undetected fault of safety-related systems2023

    • 著者名/発表者名
      Shinji Inoue and Shigeru Yamada
    • 学会等名
      2023 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2023), Singapore, December 18--21, 2023
    • 関連する報告書
      2023 実績報告書
    • 国際学会
  • [学会発表] E/E/PE安全関連系の最適プルーフテスト実施間隔2023

    • 著者名/発表者名
      井上真二
    • 学会等名
      日本オペレーションズ・リサーチ学会 中国・四国支部シンポジウム, Zoomオンライン,2023年10月28日.
    • 関連する報告書
      2023 実績報告書
    • 招待講演
  • [学会発表] 連続時間マルコフ連鎖に基づく安全関連系の最適保全方策2023

    • 著者名/発表者名
      井上 真二,山田 茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性], Vol. 123, No. 240, pp. 1-6,金沢商工会議所,石川県金沢市,2023年11月3日.
    • 関連する報告書
      2023 実績報告書
  • [学会発表] E/E/PE安全関連系ソフトウェアに対するSILに基づいた安全性解析2023

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      統計数理研究所共同研究リポート461「最適化:モデリングとアルゴリズム34」,統計数理研究所,pp. 8-13,2023年3月
    • 関連する報告書
      2023 実績報告書
  • [学会発表] Optimal maintenance policy for dangerous undetected fault of E/E/PE safety-related systems2022

    • 著者名/発表者名
      Shinji Inoue, Kousuke Maki, Takaji Fujiwara and Shigeru Yamada
    • 学会等名
      Proceedings of the Twenty-Seventh ISSAT International Conference on Reliability and Quality in Design, Online Conference
    • 関連する報告書
      2022 実施状況報告書
    • 国際学会
  • [学会発表] Optimal Policy on Priodic Proof-testing Intervals for E/E/PE Safety-Related System2022

    • 著者名/発表者名
      Shinji Inoue and Shigeru Yamada
    • 学会等名
      IEEE International Conference on Industrial Engineering and Engineering Management, Kuala Lumpur, Malaysia (Abstract Presentation)
    • 関連する報告書
      2022 実施状況報告書
    • 国際学会
  • [学会発表] テスト環境の変化を考慮したマルコフ型ソフトウェア信頼性モデルと出荷時刻推定に関する一考察2022

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      統計数理研究所共同研究リポート453「最適化:モデリングとアルゴリズム33」,統計数理研究所
    • 関連する報告書
      2022 実施状況報告書
  • [学会発表] 信頼度成長モデルを用いた安全関連系ソフトウェアの安全度解析2022

    • 著者名/発表者名
      井上真二,藤原隆次,山田茂
    • 学会等名
      京都大学数理解析研究所講究録2220 RIMS共同研究(公開型)「不確実環境下における意思決定数理の新展開」,京都大学数理解析研究所
    • 関連する報告書
      2022 実施状況報告書
  • [学会発表] 危害リスクと保全コストを考慮したE/E/PE安全関連系の保全方策2022

    • 著者名/発表者名
      井上 真二,山田 茂
    • 学会等名
      日本オペレーションズ・リサーチ学会2022年秋季研究発表会アブストラクト集,2022年9月13--14日,朱鷺メッセ 新潟コンベンションセンター,新潟県新潟市
    • 関連する報告書
      2022 実施状況報告書
  • [学会発表] 安全関連系のDUフォールトに対する最適保全実施間隔2022

    • 著者名/発表者名
      井上 真二,山田 茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2022 実施状況報告書
  • [学会発表] Estimation of optimal testing-termination time with change-point derived from software release2021

    • 著者名/発表者名
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • 学会等名
      Proceedings of the Twenty-Sixth ISSAT International Conference on Reliability and Quality in Design, Online Conference, August 5-7, 2021
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] Quantitative safety integrity level assessment for safety-related software2021

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • 学会等名
      Proceedings of the Twenty-Sixth ISSAT International Conference on Reliability and Quality in Design, Online Conference, August 5-7, 2021
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] Estimation of software target failure measures based on hazard rate model2021

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • 学会等名
      Proceedings of the Reliability and Maintenance Engineering Summit 2021 (RMES 2021), Hybrid Conference, Nantong, China, September 11-13, 2021
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] ソフトウェア信頼度成長モデルに基づくフォールトの修正待ち行列シミュレーション2021

    • 著者名/発表者名
      南野 友香,井上 真二,山田 茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] フォールト発見数モデルに基づいた安全関連系ソフトウェアの安全度解析2021

    • 著者名/発表者名
      井上 真二,藤原隆次,山田 茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] E/E/PE安全関連系ソフトウェアに対する安全度評価に関する一考察2020

    • 著者名/発表者名
      井上真二,藤原隆次,山田茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] ソフトウェア開発管理における品質/信頼性評価技術の基礎と応用2020

    • 著者名/発表者名
      井上真二
    • 学会等名
      日本信頼性学会関西支部2020年度第1回講演会
    • 関連する報告書
      2020 実施状況報告書
    • 招待講演
  • [学会発表] Software reliability assessment with multiple change-point occurrence and imperfect debugging environment2019

    • 著者名/発表者名
      Shinji Inoue, Shigeru Yamada
    • 学会等名
      The Twenty-Fifth ISSAT International Conference on Reliability and Quality in Design, Las Vegas, Nevada, U.S.A, August 1-3
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] Estimation of target failure measures for E/E/PE safety-related software2019

    • 著者名/発表者名
      Shinji Inoue, Takaji Fujiwara, Shinji Inoue
    • 学会等名
      The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), Kyoto, Japan, 1-3 December
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] Phase-type consideration for software reliability assessment with debugging difficulty2019

    • 著者名/発表者名
      Shinji Inoue and Shigeru Yamada
    • 学会等名
      The 12th Japan-Korea Software Management Symposium, Marianne Haeundae Hotel, Busan, Korea, 29-30 November
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] 安全関連系ソフトウェアに対する目標機能失敗尺度の算出2019

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      日本オペレーションズ・リサーチ学会2019年秋季研究発表会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] ソフトウェア信頼性評価のためのマルチプルチェンジポイントモデル2019

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] デバッギング難易度を考慮したプロセス指向型ソフトウェア信頼性モデリン グ2019

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      電子情報通信学会技術研究報告 [信頼性]
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 機能安全規格準拠のソフトウェア開発の現状と問題点2019

    • 著者名/発表者名
      藤原隆次,井上真二
    • 学会等名
      電子情報通信学会 技術研究報告 [信頼性]
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] マルコフ型チェンジポイントモデルにおけるソフトウェア出荷時刻推定に関 する考察2019

    • 著者名/発表者名
      井上真二,山田茂
    • 学会等名
      日本オペレーションズ・リサーチ学会2020年春季研究発表会
    • 関連する報告書
      2019 実施状況報告書
  • [備考] researchmap

    • URL

      https://researchmap.jp/read0107035

    • 関連する報告書
      2023 実績報告書
  • [備考] 関西大学 学術情報システム

    • URL

      https://gakujo.kansai-u.ac.jp/profile/ja/2399598d27d513ff.html#one

    • 関連する報告書
      2022 実施状況報告書
  • [備考] 関西大学 学術情報システム

    • URL

      https://gakujo.kansai-u.ac.jp/profile/ja/2399598d27d513ff.html

    • 関連する報告書
      2021 実施状況報告書
  • [備考] 関西大学 学術情報システム

    • URL

      http://gakujo.kansai-u.ac.jp/profile/ja/2399598d27d513ff.html

    • 関連する報告書
      2020 実施状況報告書

URL: 

公開日: 2019-04-18   更新日: 2025-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi