Development of a programmable description language of assurance cases for automatic synthesis

Research Project

Project/Area Number	23K28066
Project/Area Number (Other)	23H03376 (2023)
Research Category	Grant-in-Aid for Scientific Research (B)
Allocation Type	Multi-year Fund (2024) Single-year Grants (2023)
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)	2023-04-01 – 2026-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥17,680,000 (Direct Cost: ¥13,600,000、Indirect Cost: ¥4,080,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) Fiscal Year 2023: ¥6,240,000 (Direct Cost: ¥4,800,000、Indirect Cost: ¥1,440,000)
Keywords	アシュアランスケース / ディペンダビリティ / ソフトウェアサプライチェーン / プログラミング言語 / ソフトウェア工学
Outline of Research at the Start	システムが意図した通り機能することを示す証拠に基づいた説得力のある議論のことをアシュアランスケースといい、大規模システムの信頼性の保証のために有用であるとされる。しかし、大規模なソフトウェアシステムは多数の開発者からなる異なる部分から構成されており、システム全体のアシュアランスケースを作成することが困難である。本研究では、アシュアランスケースを記述するプログラム可能な言語PGSN（Programmable Goal Structuring Notation）を開発し、大規模なソフトウェアシステムのアシュアランスケースを各部分のアシュアランスケースから自動的に合成する手法を与える。