2024-03-29T08:43:07Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00021609
2023-01-16T04:27:21Z
682:683:684
アシュアランスケース構築法の提案
A Writing Method for Assurance Cases
松野, 裕
高井, 利憲
パトゥー, ヴァイセ
山本, 修一郎
MATSUNO, Yutaka
TAKAI, Toshinori
PATU, Vaise
YAMAMOTO, Shuichiro
open access
(c)一般社団法人電子情報通信学会 本文データは学協会の許諾に基づきCiNiiから複製したものである
アシュアランスケース
講義
演習
メトリクス
Assurance Cases
Lectures
Exercises
Metrics
アシュアランスケースがシステムのディペンダビリティを保証する手法として注目を集めている。しかし一般の技術者にわかりやすいアシュアランスケースの構築法は特に日本ではあまり知られていない。本稿では、一般の技術者および大学生などを対象としたアシュアランスケースの構築法を提案する。またその有効性を学生への模擬実習において評価を行う。
Assurance Cases have been recognized as a promising method for dependability assurance. However, there has not been a writing method which is easy to understand for ordinary engineers, specially in Japan. In this paper, we propose a writing method targeting ordinary engineers and university students. The method is accompanied with lectures and exercises. We did preliminary experimental lectures and exercises for 17 engineers. We show the preliminary results.
IEICE Technical Report;KBSE2012-40
一般社団法人電子情報通信学会
2012-11
jpn
journal article
VoR
http://hdl.handle.net/2237/23757
https://nagoya.repo.nii.ac.jp/records/21609
http://ci.nii.ac.jp/naid/110009642390/
0913-5685
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
112
314
13
17
https://nagoya.repo.nii.ac.jp/record/21609/files/110009642390.pdf
application/pdf
675.5 kB
2018-02-21