Society5.0を支えるシステムオブシステムズの総合信頼性論証フレームワーク
| Project/Area Number |
22K04618
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 25020:Safety engineering-related
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
松原 豊 名古屋大学, 情報学研究科, 准教授 (30547500)
|
|---|
| Project Period (FY) |
2022-04-01 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2025: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2023: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | システムオブシステムズの総合信頼性 / 総合信頼性論証フレームワーク / レジリエンス / 総合信頼性 / システムオブシステムズ / 論証 |
|---|
| Outline of Research at the Start |
本研究では，Society5.0社会に向けて普及が期待されるシステムオブシステムズを対象にその安全性，信頼性，セキュリティなどを包含する総合信頼性（ディペンダビリティ）の維持，向上を支援する論証フレームワークを構築する。この論証フレームワークを共通基盤として，専門知識が乏しい，ないしは専門分野の異なるステークホルダが一緒に総合信頼性について議論する場を提供する。
|
| Outline of Annual Research Achievements |
複数の独立したシステムが連携しながらサービスを提供するシステムオブシステムについて，その総合信頼性を論証するためのフレームワークを構築することを目標に掲げている。研究２年目として予定していた研究を進め，研究成果を3本の研究論文にまとめることができた（１本目は国際会議に採録されて国際論文誌に投稿準備中である。２本目は国際会議に投稿済みである。３本目は国内研究会で発表済みである）。具体的な研究内容としては，論文の執筆を通じて，ArchiMateの課題と改善点について議論を進め，課題A3 評価結果に基づき，ArchiMateの課題と改善方法を明らかにする，という課題を実施した。さらに，2つの問い（問いB 特定のシステムに依存せず，抽象的な総合信頼性要件を，具体的なサービスに適用する際，どのように具体化できるのか?と，問いC SoSによるサービスの総合信頼性要件の判定結果を，多様なステークホルダが理解して合意を形成し，説明責任を果たすための論証をどのように生成できるか?）に対する3つの研究課題（課題B2 各要件の具体化項目を明確にし，GSNのコンテキストで表現する。このGSNを，総合信頼性要件のテンプレートとして構築する。課題C1 具体化した総合信頼性要件をもとに，対象SoSのサービスの総合信頼性を評価する。評価結果をGSNで表現し，要件，要件分割戦略，要件を満たす根拠を可視化する）を実施することができた。予定を前倒しして，課題C2 GSNをベースに，SoSによるサービスのライフサイクル(特に，開発段階と運用段階)で，総合信頼性分析を試行し，GSNを使った論証手法の妥当性を評価するという課題にも一部であるが取り組むことができた。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
研究計画の２年目として予定していた研究を進めることができた。具体的な研究内容としては，論文の執筆を通じて，ArchiMateの課題と改善点について議論を進め，課題A3 評価結果に基づき，ArchiMateの課題と改善方法を明らかにする，という課題を実施した。さらに，2つの問い（問いB 特定のシステムに依存せず，抽象的な総合信頼性要件を，具体的なサービスに適用する際，どのように具体化できるのか?と，問いC SoSによるサービスの総合信頼性要件の判定結果を，多様なステークホルダが理解して合意を形成し，説明責任を果たすための論証をどのように生成できるか?）に対する3つの研究課題（課題B2 各要件の具体化項目を明確にし，GSNのコンテキストで表現する。このGSNを，総合信頼性要件のテンプレートとして構築する。課題C1 具体化した総合信頼性要件をもとに，対象SoSのサービスの総合信頼性を評価する。評価結果をGSNで表現し，要件，要件分割戦略，要件を満たす根拠を可視化する）を実施することができた。予定を前倒しして，課題C2 GSNをベースに，SoSによるサービスのライフサイクル(特に，開発段階と運用段階)で，総合信頼性分析を試行し，GSNを使った論証手法の妥当性を評価するという課題にも一部であるが取り組むことができた。これらの研究成果は，3本の研究論文にまとめることができた（１本目は国際会議に採録されて国際論文誌に投稿準備中である。２本目は国際会議に投稿済みである。３本目は国内研究会で発表済みである）。
|
| Strategy for Future Research Activity |
引き続き，研究計画に従って研究を進めていく。研究課題B:総合信頼性要件の具体化手法の確立と適用について，課題B3(課題B3 複数のSoSに総合信頼性要件テンプレートを適用し，総合信頼性要件を導出する。)と，研究課題C:総合信頼性分析の試行と論証手法の確立課題について，課題C1 具体化した総合信頼性要件をもとに，対象SoSのサービスの総合信頼性を評価する。評価結果をGSNで表現し，要件，要件分割戦略，要件を満たす根拠を可視化すると，課題C2 GSNをベースに，SoSによるサービスのライフサイクル(特に，開発段階と運用段階)で，総合信頼性分析を試行し，GSNを使った論証手法の妥当性を評価する，という課題を実施する。研究協力者として当初2名の大学院生を予定していたが，現時点でも1名のみとなってしまっている。引き続き，次年度から1名の追加を試みる。
|
Report
(2 results)
Research Products
(7 results)
