講演名 2015-01-26
システムアシュアランス演習の実践報告
高井 利憲, 松野 裕,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) システムアシュアランスとは,システムやソフトウェアのリスクに関する性質について,証拠に裏付けされた信用を与える活動である.本稿では,学生の限られた時間の中で効果的にシステムアシュアランスの意義や技術を習得できるよう(1)対象システムを自らの研究テーマとする,(2)システムの実装を含まない,(3)アシュアランスケースの記述とその評価を最終目標とする,という特徴をもつ演習を設計し,実施した結果について報告及び議論する.
抄録(英) We conducted an exercise called system assurance, which means a justified confidence about risk-related properties of system or software. The exercise is designed as (1) the topic of the exercise for each student is about the research topic of the student, (2) it does not include implementation of the system, and (3) the final goal of the exercise is to construct an assurance case and its evaluation. This report shows the results and discusses the outcomes.
キーワード(和) システムアシュアランス教育 / 産学連携 / アシュアランスケース
キーワード(英) system assurance educaiton / collaboration between academia and industry / assurance case
資料番号 KBSE2014-40
発行日

研究会情報
研究会 KBSE
開催期間 2015/1/19(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) システムアシュアランス演習の実践報告
サブタイトル(和)
タイトル(英) A report of practical system assurance exercise
サブタイトル(和)
キーワード(1)(和/英) システムアシュアランス教育 / system assurance educaiton
キーワード(2)(和/英) 産学連携 / collaboration between academia and industry
キーワード(3)(和/英) アシュアランスケース / assurance case
第 1 著者 氏名(和/英) 高井 利憲 / Toshinori TAKAI
第 1 著者 所属(和/英) 奈良先端科学技術大学院大学
Nara Institute of Science and Technology
第 2 著者 氏名(和/英) 松野 裕 / Yutaka MATSUNO
第 2 著者 所属(和/英) 電気通信大学
University of Electro-Communications
発表年月日 2015-01-26
資料番号 KBSE2014-40
巻番号(vol) vol.114
号番号(no) 420
ページ範囲 pp.-
ページ数 5
発行日