• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Risk-Based Assistive Technologies on Maintenance Planning for Safety-Related System

Research Project

Project/Area Number 19K04144
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Review Section Basic Section 18030:Design engineering-related
Research InstitutionKansai University

Principal Investigator

Inoue Shinji  関西大学, 総合情報学部, 教授 (60432605)

Project Period (FY) 2019-04-01 – 2024-03-31
Project Status Completed (Fiscal Year 2023)
Budget Amount *help
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2021: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2019: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords安全関連系 / 最適保全実施間隔 / プルーフテスト / 確率モデル / 再生過程 / 連続時間マルコフ連鎖 / 最適方策 / 危害リスク / DU故障 / 最適プルーフテスト実施方策 / DU故障率 / 自己診断率 / 危害コスト比 / 安全度水準 / 総期待保全コスト / 最適保全実施方策 / ソフトウェア安全度水準 / 機能安全 / システム信頼性/安全性
Outline of Research at the Start

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

Outline of Final Research Achievements

As the first step, the probability of occurrence of a hazardous event caused by safety-related systems has been derived based on two types of hazardous event occurrence logics that take into account the characteristics of operating mechanisms of the safety-related systems. Then, the hazardous risk has been formulated by introducing certain cost parameters into this measure and two approaches to formulate total cost including the maintenance cost have been developed. Furthermore, we derived optimal policies that enable us to determine the maintenance interval that minimizes this total cost, depending on the dangerous hazard rate and the magnitude of the risk. Finally, in accordance with IEC 61508, the optimal maintenance (proof-testing) intervals have been actually calculated according to the hazardous risk and safety demand rate to the safety-related systems. And examples of the application of these optimal policies have been also presented.

Academic Significance and Societal Importance of the Research Achievements

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

Report

(6 results)
  • 2023 Annual Research Report   Final Research Report ( PDF )
  • 2022 Research-status Report
  • 2021 Research-status Report
  • 2020 Research-status Report
  • 2019 Research-status Report
  • Research Products

    (45 results)

All 2024 2023 2022 2021 2020 2019 Other

All Journal Article (15 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 15 results,  Open Access: 1 results) Presentation (26 results) (of which Int'l Joint Research: 10 results,  Invited: 2 results) Remarks (4 results)

  • [Journal Article] Optimal proof-testing strategies for safety-related systems based on continuous time Markov chain2024

    • Author(s)
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 31 Issue: 01

    • DOI

      10.1142/s0218539323500389

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Economic proof-testing intervals for E/E/PE safety-related system with harmful risk2023

    • Author(s)
      Shinji Inoue, Kousuke Maki, Takaji Fujiwara and Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 30 Issue: 01

    • DOI

      10.1142/s0218539322500280

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Mathematical approaches in functional safety assessment for E/E/PE safety-related software2022

    • Author(s)
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 29 Issue: 01

    • DOI

      10.1142/s0218539321500431

    • Related Report
      2022 Research-status Report 2021 Research-status Report
    • Peer Reviewed
  • [Journal Article] An optimal scheduling policy for upgraded software with updates2022

    • Author(s)
      Adarsh Anand, Subhrata Das, Mohini Agarwal and Shinji Inoue
    • Journal Title

      International Journal of Quality & Reliability Management

      Volume: 39 Issue: 3 Pages: 704-715

    • DOI

      10.1108/ijqrm-04-2021-0092

    • Related Report
      2022 Research-status Report 2021 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Efficiency evaluation of software faults correction based on queuing simulation2022

    • Author(s)
      Y. Minamino, Y. Makita, S. Inoue, and S. Yamada
    • Journal Title

      Mathematics

      Volume: 10(9) Issue: 9 Pages: 1438-1438

    • DOI

      10.3390/math10091438

    • Related Report
      2022 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Application of software reliability model for safety assessment of E/E/PE safety-related software2021

    • Author(s)
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • Journal Title

      International Journal of Mathematical, Engineering and Management Sciences

      Volume: 6 Issue: 4 Pages: 1044-1054

    • DOI

      10.33889/ijmems.2021.6.4.061

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [Journal Article] E/E/PE安全関連系に対する最適プルーフテスト実施間隔2021

    • Author(s)
      井上 真二,藤原 隆次
    • Journal Title

      日本信頼性学会誌

      Volume: 43

    • NAID

      40022710325

    • Related Report
      2021 Research-status Report
    • Peer Reviewed
  • [Journal Article] Software Shipping Time Estimation for Markovian Change-Point Reliability Model2020

    • Author(s)
      Shinji Inoue, Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 28 Issue: 03 Pages: 2150021-2150021

    • DOI

      10.1142/s0218539321500212

    • Related Report
      2021 Research-status Report 2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] Markovian Multiple Change-Point Modeling for Software Reliability Assessment2020

    • Author(s)
      Shinji Inoue, Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 27 Issue: 06 Pages: 2050017-2050017

    • DOI

      10.1142/s0218539320500175

    • Related Report
      2020 Research-status Report
    • Peer Reviewed
  • [Journal Article] Reliability modeling of multi-version software system incorporating the impact of infected patching2020

    • Author(s)
      Adarsh Anand, Jasmine Kaur, Shinji Inoue
    • Journal Title

      International Journal of Quality & Reliability Management

      Volume: 37 Issue: 6/7 Pages: 1071-1085

    • DOI

      10.1108/ijqrm-07-2019-0247

    • Related Report
      2020 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Bivariate software reliability growth models under budget constraint for development management2020

    • Author(s)
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • Journal Title

      International Journal of Mathematical, Engineering and Management Sciences

      Volume: 5 Issue: 1 Pages: 56-65

    • DOI

      10.33889/ijmems.2020.5.1.005

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Phase-type modeling approaches for software reliability modeling with debugging process2020

    • Author(s)
      Shinji Inoue and Shigeru Yamada
    • Journal Title

      International Journal of Mathematical, Engineering and Management Sciences

      Volume: 5 Issue: 1 Pages: 76-82

    • DOI

      10.33889/ijmems.2020.5.1.007

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Interval estimation for software reliability assessment based on a MCMC method2019

    • Author(s)
      Shinji Inoue, Shigeru Yamada
    • Journal Title

      International Journal of Performability Engineering

      Volume: 15 Pages: 1273-1278

    • DOI

      10.23940/ijpe.19.05.p2.12731278

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Two-Dimensional NHPP Models based on Several Testing-Time Functions and their Applications2019

    • Author(s)
      Yuka Minamino, Shunichi Sakaguchi, Shinji Inoue and Shigeru Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: 26 Issue: 04 Pages: 1950018-1950018

    • DOI

      10.1142/s0218539319500189

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Journal Article] Data analyses based on time-series models for healthcare quality management in a dispensing pharmacy2019

    • Author(s)
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • Journal Title

      Asia-Pacific Journal of Industrial Management

      Volume: 8 Pages: 77-84

    • Related Report
      2019 Research-status Report
    • Peer Reviewed
  • [Presentation] Markov analysis on optimal proof-testing interval for safety-related systems2023

    • Author(s)
      Shinji Inoue, Takaji Fujiwara and Shigeru Yamada
    • Organizer
      The Twenty-Eighth ISSAT International Conference on Reliability and Quality in Design, San Francisco, California, U.S.A, August 3--5, 2023
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Economic periodic maintenance intervals for dangerous undetected fault of safety-related systems2023

    • Author(s)
      Shinji Inoue and Shigeru Yamada
    • Organizer
      2023 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2023), Singapore, December 18--21, 2023
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] E/E/PE安全関連系の最適プルーフテスト実施間隔2023

    • Author(s)
      井上真二
    • Organizer
      日本オペレーションズ・リサーチ学会 中国・四国支部シンポジウム, Zoomオンライン,2023年10月28日.
    • Related Report
      2023 Annual Research Report
    • Invited
  • [Presentation] 連続時間マルコフ連鎖に基づく安全関連系の最適保全方策2023

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

    • Author(s)
      井上真二,山田茂
    • Organizer
      統計数理研究所共同研究リポート461「最適化:モデリングとアルゴリズム34」,統計数理研究所,pp. 8-13,2023年3月
    • Related Report
      2023 Annual Research Report
  • [Presentation] Optimal maintenance policy for dangerous undetected fault of E/E/PE safety-related systems2022

    • Author(s)
      Shinji Inoue, Kousuke Maki, Takaji Fujiwara and Shigeru Yamada
    • Organizer
      Proceedings of the Twenty-Seventh ISSAT International Conference on Reliability and Quality in Design, Online Conference
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] Optimal Policy on Priodic Proof-testing Intervals for E/E/PE Safety-Related System2022

    • Author(s)
      Shinji Inoue and Shigeru Yamada
    • Organizer
      IEEE International Conference on Industrial Engineering and Engineering Management, Kuala Lumpur, Malaysia (Abstract Presentation)
    • Related Report
      2022 Research-status Report
    • Int'l Joint Research
  • [Presentation] テスト環境の変化を考慮したマルコフ型ソフトウェア信頼性モデルと出荷時刻推定に関する一考察2022

    • Author(s)
      井上真二,山田茂
    • Organizer
      統計数理研究所共同研究リポート453「最適化:モデリングとアルゴリズム33」,統計数理研究所
    • Related Report
      2022 Research-status Report
  • [Presentation] 信頼度成長モデルを用いた安全関連系ソフトウェアの安全度解析2022

    • Author(s)
      井上真二,藤原隆次,山田茂
    • Organizer
      京都大学数理解析研究所講究録2220 RIMS共同研究(公開型)「不確実環境下における意思決定数理の新展開」,京都大学数理解析研究所
    • Related Report
      2022 Research-status Report
  • [Presentation] 危害リスクと保全コストを考慮したE/E/PE安全関連系の保全方策2022

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

    • Author(s)
      井上 真二,山田 茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2022 Research-status Report
  • [Presentation] Estimation of optimal testing-termination time with change-point derived from software release2021

    • Author(s)
      Yuka Minamino, Shinji Inoue, Shigeru Yamada
    • Organizer
      Proceedings of the Twenty-Sixth ISSAT International Conference on Reliability and Quality in Design, Online Conference, August 5-7, 2021
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Quantitative safety integrity level assessment for safety-related software2021

    • Author(s)
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • Organizer
      Proceedings of the Twenty-Sixth ISSAT International Conference on Reliability and Quality in Design, Online Conference, August 5-7, 2021
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] Estimation of software target failure measures based on hazard rate model2021

    • Author(s)
      Shinji Inoue, Takaji Fujiwara, Shigeru Yamada
    • Organizer
      Proceedings of the Reliability and Maintenance Engineering Summit 2021 (RMES 2021), Hybrid Conference, Nantong, China, September 11-13, 2021
    • Related Report
      2021 Research-status Report
    • Int'l Joint Research
  • [Presentation] ソフトウェア信頼度成長モデルに基づくフォールトの修正待ち行列シミュレーション2021

    • Author(s)
      南野 友香,井上 真二,山田 茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2021 Research-status Report
  • [Presentation] フォールト発見数モデルに基づいた安全関連系ソフトウェアの安全度解析2021

    • Author(s)
      井上 真二,藤原隆次,山田 茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2021 Research-status Report
  • [Presentation] E/E/PE安全関連系ソフトウェアに対する安全度評価に関する一考察2020

    • Author(s)
      井上真二,藤原隆次,山田茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2020 Research-status Report
  • [Presentation] ソフトウェア開発管理における品質/信頼性評価技術の基礎と応用2020

    • Author(s)
      井上真二
    • Organizer
      日本信頼性学会関西支部2020年度第1回講演会
    • Related Report
      2020 Research-status Report
    • Invited
  • [Presentation] Software reliability assessment with multiple change-point occurrence and imperfect debugging environment2019

    • Author(s)
      Shinji Inoue, Shigeru Yamada
    • Organizer
      The Twenty-Fifth ISSAT International Conference on Reliability and Quality in Design, Las Vegas, Nevada, U.S.A, August 1-3
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Estimation of target failure measures for E/E/PE safety-related software2019

    • Author(s)
      Shinji Inoue, Takaji Fujiwara, Shinji Inoue
    • Organizer
      The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), Kyoto, Japan, 1-3 December
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] Phase-type consideration for software reliability assessment with debugging difficulty2019

    • Author(s)
      Shinji Inoue and Shigeru Yamada
    • Organizer
      The 12th Japan-Korea Software Management Symposium, Marianne Haeundae Hotel, Busan, Korea, 29-30 November
    • Related Report
      2019 Research-status Report
    • Int'l Joint Research
  • [Presentation] 安全関連系ソフトウェアに対する目標機能失敗尺度の算出2019

    • Author(s)
      井上真二,山田茂
    • Organizer
      日本オペレーションズ・リサーチ学会2019年秋季研究発表会
    • Related Report
      2019 Research-status Report
  • [Presentation] ソフトウェア信頼性評価のためのマルチプルチェンジポイントモデル2019

    • Author(s)
      井上真二,山田茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2019 Research-status Report
  • [Presentation] デバッギング難易度を考慮したプロセス指向型ソフトウェア信頼性モデリン グ2019

    • Author(s)
      井上真二,山田茂
    • Organizer
      電子情報通信学会技術研究報告 [信頼性]
    • Related Report
      2019 Research-status Report
  • [Presentation] 機能安全規格準拠のソフトウェア開発の現状と問題点2019

    • Author(s)
      藤原隆次,井上真二
    • Organizer
      電子情報通信学会 技術研究報告 [信頼性]
    • Related Report
      2019 Research-status Report
  • [Presentation] マルコフ型チェンジポイントモデルにおけるソフトウェア出荷時刻推定に関 する考察2019

    • Author(s)
      井上真二,山田茂
    • Organizer
      日本オペレーションズ・リサーチ学会2020年春季研究発表会
    • Related Report
      2019 Research-status Report
  • [Remarks] researchmap

    • URL

      https://researchmap.jp/read0107035

    • Related Report
      2023 Annual Research Report
  • [Remarks] 関西大学 学術情報システム

    • URL

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

    • Related Report
      2022 Research-status Report
  • [Remarks] 関西大学 学術情報システム

    • URL

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

    • Related Report
      2021 Research-status Report
  • [Remarks] 関西大学 学術情報システム

    • URL

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

    • Related Report
      2020 Research-status Report

URL: 

Published: 2019-04-18   Modified: 2025-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi