研究課題/領域番号 |
23K28066
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60050:ソフトウェア関連
|
研究機関 | 国立研究開発法人産業技術総合研究所 |
研究代表者 |
山形 頼之 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (40415758)
|
研究分担者 |
松野 裕 日本大学, 理工学部, 教授 (70534220)
西原 秀明 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (90443209)
|
研究期間 (年度) |
2024-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
11,440千円 (直接経費: 8,800千円、間接経費: 2,640千円)
2025年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
2024年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
|
キーワード | アシュアランスケース / ディペンダビリティ / ソフトウェアサプライチェーン / プログラミング言語 / ソフトウェア工学 |
研究開始時の研究の概要 |
システムが意図した通り機能することを示す証拠に基づいた説得力のある議論のことをアシュアランスケースといい、大規模システムの信頼性の保証のために有用であるとされる。しかし、大規模なソフトウェアシステムは多数の開発者からなる異なる部分から構成されており、システム全体のアシュアランスケースを作成することが困難である。本研究では、アシュアランスケースを記述するプログラム可能な言語PGSN(Programmable Goal Structuring Notation)を開発し、大規模なソフトウェアシステムのアシュアランスケースを各部分のアシュアランスケースから自動的に合成する手法を与える。
|