| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-07-16 16:40 コントロールストラクチャと整合するステートマシン図の作成支援ツール ○伊藤麻香・小形真平（信州大）・中川博之（岡山大）・岡野浩三（信州大）  SS2025-15 KBSE2025-15 |
|
| 抄録 | （和） | STAMP (System Theoretic Accident Model and Processes) / STPA (Systems Theoretic Process Analysis) による安全なシステムの開発手順の系統化を支援するために，STAMP/STPAにおけるコントロールストラクチャをもとにステートマシン図を作成する手法がこれまでに提案されてきた． しかし，ステートマシン図の作成は依然として手動で行われており，コントロールストラクチャとステートマシン図間の整合性を確保することが課題である． この課題の改善に向けて，本稿ではコントロールストラクチャと整合するステートマシン図の作成支援ツールを提案する． 提案ツールの有効性を評価するため，参加者実験を実施し，提案ツールの有無によるステートマシン図の品質の違いを分析した． その結果，提案ツールは整合性向上に貢献する見込みを得られただけでなく，提案ツールが無い場合に比べて要求をよりよく満たすステートマシン図の作成が可能であることが示唆された． |
| （英） | To support the systematic development of safe systems using STAMP (System Theoretic Accident Model and Processes) and STPA (Systems Theoretic Process Analysis), methods have been proposed to generate state machine diagrams based on the control structure in STAMP/STPA. However, the creation of state machine diagrams is still performed manually, and ensuring consistency between the control structure and the state machine diagrams remains a challenge. To address this issue, this paper proposes a support tool for generating state machine diagrams that are consistent with the control structure. To evaluate the effectiveness of the proposed tool, we conducted a user study and analyzed the differences in the quality of the state machine diagrams with and without the tool. The results suggest that the proposed tool not only contributes to improved consistency but also enables the creation of state machine diagrams that better satisfy the requirements compared to when the tool is not used. |
|
| キーワード | （和） | STAMP/STPA / コントロールストラクチャ / ステートマシン図 / / / / / |
| （英） | STAMP/STPA / control structure / state machine diagram / / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 116, KBSE2025-15, pp. 85-90, 2025年7月. | |
| 資料番号 | KBSE2025-15 | |
| 発行日 | 2025-07-08 (SS, KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2025-15 KBSE2025-15 |
|
| 研究会情報 | |
| 研究会 | SS KBSE IPSJ-SE |
| 開催期間 | 2025-07-15 - 2025-07-17 |
| 開催地（和） | 札幌市教育文化会館 |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2025-07-SS-KBSE-SE |
| 本文の言語 | 日本語 |
| タイトル（和） | コントロールストラクチャと整合するステートマシン図の作成支援ツール |
| サブタイトル（和） | |
| タイトル（英） | Tool Support for Creating State Machine Diagrams Consistent with Control Structure |
| サブタイトル（英） | |
| キーワード(1)（和/英） | STAMP/STPA / STAMP/STPA |
| キーワード(2)（和/英） | コントロールストラクチャ / control structure |
| キーワード(3)（和/英） | ステートマシン図 / state machine diagram |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 伊藤 麻香 / Asaka Ito / イトウ アサカ |
| 第1著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 小形 真平 / Shinpei Ogata / オガタ シンペイ |
| 第2著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 中川 博之 / Hiroyuki Nakagawa / ナカガワ ヒロユキ |
| 第3著者 所属（和/英） | 岡山大学 (略称： 岡山大) Okayama University (略称： Okayama Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 岡野 浩三 / Kozo Okano / オカノ コウゾウ |
| 第4著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-07-16 16:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | SS2025-15, KBSE2025-15 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.115(SS), no.116(KBSE) |
| ページ範囲 | pp.85-90 |
| ページ数 | 6 |
| 発行日 | 2025-07-08 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]