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 2022)
|
| 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 |
複数の独立したシステムが連携しながらサービスを提供するシステムオブシステムについて，その総合信頼性を論証するためのフレームワークを構築することを目標に掲げている。研究１年目として予定していた研究を進め，研究成果を３本の研究論文にまとめることができた。これらのうち２本は国際論文誌に採録され，もう１本は国際会議に論文投稿を予定している。具体的な研究内容としては，２つの問い（問いA 多様なステークホルダが存在するシステムオブシステムズ（SoS）のサービスを，正確に表現し，かつ共通理解を構築するモデリング手法は何か?問いB 特定のシステムに依存せず，抽象的な総合信頼性要件を，具体的なサービスに適用する際，どのように具体化できるのか?）に対する３つの研究課題（課題A1 ビジネス分野において，ビジネスモデルからサービス，システムを記述するための世界標準モデリング言語であるArchiMateによって，SoSの記述を試みる。課題A2 同一のサービスを，FRAM（Functional Resonance Analysis Method）とArchiMateの両方でモデル化して比較し，モデリング 言語の特徴，記述能力の違い，適用性を定性的に評価する。課題B1 IEC 62853の総合信頼性要件を，適用対象によって具体化すべき要件と，そのまま適用できる要件に分類する）を実施することができた。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究計画の１年目で予定していた研究を進めることができた。具体的には，２つの問い（問いA 多様なステークホルダが存在するSoSのサービスを，正確に表現し，かつ共通理解 を構築するモデリング手法は何か?，問いB 特定のシステムに依存せず，抽象的な総合信頼性要件を，具体的なサービスに適用する際，どのように具体化できるのか?）に対する３つの研究課題（課題A1 ビジネス分野において，ビジネスモデルからサービス，システムを記述するための世界標準モデリング言語であるArchiMateによって，SoSの記述を試みる。課題A2 同一のサービスを，FRAMとArchiMateの両方でモデル化して比較し，モデリング 言語の特徴，記述能力の違い，適用性を定性的に評価する。課題B1 IEC 62853の総合信頼性要件（約35ページ）を，適用対象によって具体化すべき要件と，そのまま適用できる要件に分類する。）を実施することができ，３本の研究論文としてまとめることができた。そのうち２本は国際論文誌に採録された。もう１本は国際会議に論文投稿を予定している。
|
| Strategy for Future Research Activity |
引き続き，研究計画に従って研究を進めていく。具体的には，研究課題A：世界標準ビジネスモデリングツールArchiMateの適用性について，これまでの研究成果もとに結論づける。研究課題B：総合信頼性要件の具体化手法の確立と適用について，課題B1（IEC 62853の総合信頼性要件を，適用対象によって具体化すべき要件と，そのまま適用できる要件に分類する。）と課題B2（各要件の具体化項目を明確にし，GSNのコンテキストで表現する。このGSNを，総合信頼性要件のテンプレートとして構築する。）を実施する。研究協力者として当初２名の大学院生を予定していたが，結果的には，１名のみとなってしまったので，次年度から１名の追加を試みる。
|
Report
(1 results)
Research Products
(3 results)
