| 講演名 | 2014-05-30 アシュアランスケース演習 : ツールを使って書いてみよう!! 松野 裕, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年システムの安全性やディペンダビリティを、さまざまなステークホルダに保証することが重要になっている。システム保証の手法として、近年アシュアランスケース(アシュアランスケース)が欧米で注目を集めている。しかし、航空管制システムなどの高安全システムなどをこれまで対象としてきたこと、英語による専門書しかなかったことから、日本での普及は初期段階にある。筆者らは、JST CREST DEOSプロジェクトなどにおいて、ディペンダブルな組込みシステムの開発を目指してきた。ディペンダブルなシステムのためには、システム保証は本質であると考え、アシュアランスケースを日本で先駆けて研究開発をおこなってきた(詳細はwww.dcase.jpを参照)。今回は、ツールを用いた実践的なチュートリアルを行う。 |
| 抄録(英) | Recently, assuring the safety and dependability of systems to the stakeholders has become crucial. Assurance Cases, a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment, are getting attention for system assurance in safety critical areas. Unfortunately, however, because assurance cases have only been applied to safety critical systems such as avionics and only technical publications in English are available, assurance cases have not been widely used in Japan. We have been trying to develop dependable embedded systems. For dependable systems, we observed that system assurance is important, and have begun to study assurance cases first in Japan (For details, please refer our website www.dcase.jp). In this tutorial, we introduce assurance cases, and have a tutorial for writing assurance cases for beginners using assurance case tools. |
| キーワード(和) | |
| キーワード(英) | Assurance Cases / GSN (Goal Structuring Notation) |
| 資料番号 | KBSE2014-7 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2014/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | アシュアランスケース演習 : ツールを使って書いてみよう!! |
| サブタイトル（和） | |
| タイトル（英） | Assurance Cases Tutorial : Let's Write Assurance Cases! |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Assurance Cases |
| 第 1 著者 氏名（和/英） | 松野 裕 / Yutaka MATSUNO |
| 第 1 著者 所属（和/英） | 電気通信大学大学院情報システム学研究科 Graduate School of Information Systems, The University of Electro-Communications |
| 発表年月日 | 2014-05-30 |
| 資料番号 | KBSE2014-7 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | 66 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |