WEKO3
アイテム
性格特性に基づくシステム安全性検証の試み
https://ipsj.ixsq.nii.ac.jp/records/239270
https://ipsj.ixsq.nii.ac.jp/records/239270265a7e47-c4bb-4e61-85df-4d891ffe26b3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SES2024042.pdf (1.8 MB)
2026年9月10日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Symposium(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-09-10 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 性格特性に基づくシステム安全性検証の試み | |||||||||||||||||
| タイトル | ||||||||||||||||||
| 言語 | en | |||||||||||||||||
| タイトル | An Attempt at Personality Trait-Oriented System Safety Verification | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | 安全性 | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 信州大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 信州大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| BIPROGY株式会社 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 岡山大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 信州大学 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 信州大学 | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Shinshu Uniersity | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Shinshu Uniersity | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| BIPROGY Inc. | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Okayama University | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Shinshu Uniersity | ||||||||||||||||||
| 著者所属(英) | ||||||||||||||||||
| en | ||||||||||||||||||
| Shinshu Uniersity | ||||||||||||||||||
| 著者名 |
成澤, 瑠佳
× 成澤, 瑠佳
× 小形, 真平
× 青木, 善貴
× 中川, 博之
× 小林, 一樹
× 岡野, 浩三
|
|||||||||||||||||
| 論文抄録 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | 人に危害を及ぼさないシステムを開発するためには，設計段階から安全性を考慮することが重要である．近年では，様々な性格のユーザが操作しても安全性が損なわれないかをペルソナにより検証する研究は見られるが，形式検証により検証する方法の研究は見られない．そこで本稿では，様々な性格のユーザを考慮した系統的な安全性検証の実現を目的として，モデル検査を用いた性格特性ごとの安全性検証を試行した結果を報告する．ドローンシステムを例とした試行の結果，性格特性を原因とする危害発生の有無が特定でき，危害発生の過程の例が得られたことから，提案アプローチが有効である見込みを得た． | |||||||||||||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2024論文集 巻 2024, p. 278-286, 発行日 2024-09-10 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||||
