Project/Area Number |
23K28066
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60050:Software-related
|
Research Institution | National Institute of Advanced Industrial Science and Technology |
Principal Investigator |
山形 頼之 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (40415758)
|
Co-Investigator(Kenkyū-buntansha) |
松野 裕 日本大学, 理工学部, 教授 (70534220)
西原 秀明 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (90443209)
|
Project Period (FY) |
2024-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥11,440,000 (Direct Cost: ¥8,800,000、Indirect Cost: ¥2,640,000)
Fiscal Year 2025: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
Fiscal Year 2024: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
|
Keywords | アシュアランスケース / ディペンダビリティ / ソフトウェアサプライチェーン / プログラミング言語 / ソフトウェア工学 |
Outline of Research at the Start |
システムが意図した通り機能することを示す証拠に基づいた説得力のある議論のことをアシュアランスケースといい、大規模システムの信頼性の保証のために有用であるとされる。しかし、大規模なソフトウェアシステムは多数の開発者からなる異なる部分から構成されており、システム全体のアシュアランスケースを作成することが困難である。本研究では、アシュアランスケースを記述するプログラム可能な言語PGSN(Programmable Goal Structuring Notation)を開発し、大規模なソフトウェアシステムのアシュアランスケースを各部分のアシュアランスケースから自動的に合成する手法を与える。
|