2024-03-28T23:56:45Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00021595
2023-01-16T04:10:49Z
682:683:684
Assurance Case作成手法(d*)の適用評価
Evaluation of an Assurance Case development method (d*)
猿渡, 卓也
山本, 修一郎
SARUWATARI, Takuya
YAMAMOTO, Shuichiro
open access
(c)一般社団法人電子情報通信学会 本文データは学協会の許諾に基づきCiNiiから複製したものである
Assurance Case
d*Framework
ディペンダビリティ
Dependability
現在,開発されている情報システムの多くは,様々なシステム(要素)が相互に依存しあうオープンシステムである.しかし,代表的なAssurance Caseの記法(GSN)では,複数の対象が同じ木構造の中で表現され,システム同士の依存関係が明確にならない.そこで,対象同士のDependabilityの依存関係を記述できるd* (d*Framework)手法の導入を,エレベーターの制御システムを例にとり適用評価した.
Many information systems are now developed as open systems which mutually depend on each other. Although assurance cases are expected to confirm dependability of open systems, it is difficult to clearly describe dependency among co-related systems, because systems are not explicitly represented in structured trees of assurance cases. By using the case study of an elevator control system, we evaluated the d* framework which can describe the dependability of inter-related open systems.
IEICE Technical Report;KBSE2011-69
一般社団法人電子情報通信学会
2012-03
jpn
journal article
VoR
http://hdl.handle.net/2237/23743
https://nagoya.repo.nii.ac.jp/records/21595
http://ci.nii.ac.jp/naid/110009546364/
0913-5685
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
111
489
1
6
https://nagoya.repo.nii.ac.jp/record/21595/files/110009546364.pdf
application/pdf
694.5 kB
2018-02-21