| 講演名 | 2013-11-02 ACCシステムを対象としたアシュアランスケース適用実験 松野 裕, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | アシュアランスケースは安全性保証の手段として欧米、特にイギリスで広く用いられており、注目を集めている。しかしながら特に日本では本格的な実用化がはじまったばかりであり、多くの課題がある。本発表では、ACC(Auto Cruise Control)Systemを例にとり、モデルベース開発におけるアシュアランスケースの適用実験の途中経過を報告する。 |
| 抄録(英) | Assurance Cases have been widely used in U.K. and E.U for safety assurance. However, particulary in Japan, there remain much to be done for practical uses. In this presentation, taking ACC(Auto Cruise Control) system as an example, we report our work-in progress experiments on applying assurance cases to model-based development. |
| キーワード(和) | システム保証 / アシュアランスケース / ACC(Auto Cruise Control) System |
| キーワード(英) | System Assurance / Assurance Case / Education for System Assurance |
| 資料番号 | KBSE2013-62 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2013/10/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ACCシステムを対象としたアシュアランスケース適用実験 |
| サブタイトル（和） | |
| タイトル（英） | Toward Practical Education for System Assurance |
| サブタイトル（和） | |
| キーワード(1)（和/英） | システム保証 / System Assurance |
| キーワード(2)（和/英） | アシュアランスケース / Assurance Case |
| キーワード(3)（和/英） | ACC(Auto Cruise Control) System / Education for System Assurance |
| 第 1 著者 氏名（和/英） | 松野 裕 / Yutaka MATSUNO |
| 第 1 著者 所属（和/英） | 電気通信大学大学院情報システム学研究科 Graduate School of Information Systems, The University of Electro-Communications |
| 発表年月日 | 2013-11-02 |
| 資料番号 | KBSE2013-62 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 277 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |