| 講演名 | 2014-01-27 アシュアランス・ケース超入門 松野 裕, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年システムの安全性やディペンダビリティを、さまざまなステークホルダに保証することが重要になっている。システム保証の手法として、近年アシュアランス・ケース(Assurance Case)が欧米で注目を集めている。しかし、航空管制システムなどの高安全システムなどをこれまで対象としてきたこと、英語による専門書しかなかったことから、日本での普及は初期段階にある。筆者らは、JST CREST DEOSプロジェクトにおいて、ディペンダブルな組込みシステムの開発を目指してきた。ディペンダブルなシステムのためには、システム保証は本質であると考え、アシュアランス・ケースを日本で先駆けて研究開発をおこなってきた(詳細はwww.dcase.jpを参照)。本チュートリアルでは、DEOSでの成果をもとに、アシュアランス・ケースの概要説明と、初めての方を対象としたワークショップを行う。 |
| 抄録(英) | 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. In JST CREST DEOS project, 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. |
| キーワード(和) | |
| キーワード(英) | Assurance Cases / GSN (Goal Structuring Notation) / An Introduction of Assurance Cases |
| 資料番号 | KBSE2013-71 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2014/1/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | アシュアランス・ケース超入門 |
| サブタイトル（和） | |
| タイトル（英） | An Introduction of Assurance Cases |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / Assurance Cases |
| 第 1 著者 氏名（和/英） | 松野 裕 / Yutaka MATSUNO |
| 第 1 著者 所属（和/英） | 電気通信大学大学院情報システム学研究科 Graduate School of Information Systems, The University of Electro-Communications |
| 発表年月日 | 2014-01-27 |
| 資料番号 | KBSE2013-71 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 414 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |