| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-03-14 13:45 ユーザの性格特性に基づくシステム安全性検証に関する一考察 ○成澤瑠佳・小形真平（信州大）・青木善貴（BIPROGY）・中川博之（阪大）・小林一樹・岡野浩三（信州大）  KBSE2023-72 |
|
| 抄録 | （和） | 人に危害を及ぼさないシステムを開発するためには，設計段階から安全性を考慮することが重要である．近年では，利用者の性格特性を考慮したシステムの安全性が重視される傾向が見られるが，性格特性に基づいてシステムの安全性の自動検証に向かうような動向は見られない．そこで本稿では，システムが異なる性格特性を持つユーザであっても安全に利用できるものになっているかを開発者が自動検証できる方法を探求するため，その第一歩として従来から整理されてきた性格特性を集約して性格特性ごとに安全性検証に必要なデータと振舞いを検討した結果と，これに基づくモデル検査による安全性検証の試行結果を報告する．その成果は，モデル検査による性格特性に基づく安全性検証に妥当に貢献できる見込みを得た． |
| （英） | (Not available yet) | |
| キーワード | （和） | 安全性 / 性格特性 / モデル検査 / / / / / |
| （英） | / / / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 443, KBSE2023-72, pp. 43-48, 2024年3月. | |
| 資料番号 | KBSE2023-72 | |
| 発行日 | 2024-03-07 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2023-72 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2024-03-14 - 2024-03-15 |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2024-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | ユーザの性格特性に基づくシステム安全性検証に関する一考察 |
| サブタイトル（和） | |
| タイトル（英） | Consideration on System Safety Verification Based on User Personality Traits |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 安全性 / |
| キーワード(2)（和/英） | 性格特性 / |
| キーワード(3)（和/英） | モデル検査 / |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 成澤 瑠佳 / Ruka Narisawa / ナリサワ ルカ |
| 第1著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 小形 真平 / Shinpei Ogata / オガタ シンペイ |
| 第2著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ |
| 第3著者 所属（和/英） | BIPROGY株式会社 (略称： BIPROGY) BIPROGY Inc. (略称： BIPROGY) |
| 第4著者 氏名（和/英/ヨミ） | 中川 博之 / Hiroyuki Nakagawa / ナカガワ ヒロユキ |
| 第4著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第5著者 氏名（和/英/ヨミ） | 小林 一樹 / Kazuki Kobayashi / コバヤシ カズキ |
| 第5著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第6著者 氏名（和/英/ヨミ） | 岡野 浩三 / Kozo Okano / オカノ コウゾウ |
| 第6著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-03-14 13:45:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2023-72 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.443 |
| ページ範囲 | pp.43-48 |
| ページ数 | 6 |
| 発行日 | 2024-03-07 (KBSE) |
[研究会発表申込システムのトップページに戻る]