Design of fail-operational systems based on error acceptability

Research Project

Project/Area Number	24K14882
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60040:Computer system-related
Research Institution	Hiroshima City University
Principal Investigator	井上智生広島市立大学, 情報科学研究科, 教授 (40252829)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000) Fiscal Year 2026: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000) Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000) Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Keywords	フェール・オペレーショナル / 誤りの許容性 / 漸次縮退 / エラー・トレラント / 安全設計
Outline of Research at the Start	本研究では，自動車の自動運転など高い安全性が要求される自動制御システムにおける，フェール・オペレーショナル性 (システムに故障 (fault) が生じても安全に動作を継続すること) を低コストで (過剰な冗長化・多重化を避けて) 実現するための設計法を考察する．システム内で生じる誤り (error) と安全状態維持との関係を解析し，出力される誤りが許容できる範囲に収まるように近似的に訂正する機構を提案する．さらに，システムの機能を徐々に低下 (漸次縮退) させることで誤りを許容できる範囲を確保すること安全状態を維持し続けるシステムを設計する．