| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2013-08-01 17:30 実行環境との同期を含めたAssurance Casesの管理ツールの提案 ○志田駿介・内田篤史・倉光君郎（横浜国大）  DC2013-19 |
|
| 抄録 | （和） | 本研究で我々はディペンダビリティ要求に関する議論を行うための技術文書であるAssurance Casesの表記法であるGSNを拡張し，Assurance Casesによる実行環境との同期と運用管理を実現するためのFunctional GSNを提案する．Functional GSN記法で記述されたAssurance Casesはスクリプトに変換されることで実行可能となり，スクリプトの実行結果がAssurance Casesに反映される．本論文では実際にFunctional GSNの記述と生成されたスクリプトの実行結果の反映を行うためのツールAssure-Itの設計と実装を行うとともに，Assure-Itを用いたAssurance Casesと実行環境との同期の概要を述べる． |
| （英） | In this study, we extend GSN, which is common notation of Assurance Cases, in order to use the idea of Runtime Synchronization that we propose. By introducing Runtime Synchronization, GSN can be regarded as a program where its validity is checked by applying runtime contexts. We also propose Assure-It, a novel tool ensuring dependability goal argued in Assurance Cases by the use of Runtime Synchronization. In this paper we show the key idea of Runtime Synchronization and the description of Assure-It. | |
| キーワード | （和） | Assurance Cases / ディペンダビリティ / 運用管理 / / / / / |
| （英） | Assurance Cases / Dependability / System Administration / / / / / | |
| 文献情報 | 信学技報, vol. 113, no. 170, DC2013-19, pp. 15-19, 2013年8月. | |
| 資料番号 | DC2013-19 | |
| 発行日 | 2013-07-25 (DC) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | DC2013-19 |
|
| 研究会情報 | |
| 研究会 | DC CPSY |
| 開催期間 | 2013-08-01 - 2013-08-02 |
| 開催地（和） | 北九州国際会議場 |
| 開催地（英） | Kitakyushu-Kokusai-Kaigijyo |
| テーマ（和） | 並列／分散／協調とディペンダブルコンピューティングおよび一般 |
| テーマ（英） | Parallel, Distributed and Cooperative Processing |
| 講演論文情報の詳細 | |
| 申込み研究会 | DC |
| 会議コード | 2013-08-DC-CPSY |
| 本文の言語 | 日本語 |
| タイトル（和） | 実行環境との同期を含めたAssurance Casesの管理ツールの提案 |
| サブタイトル（和） | |
| タイトル（英） | Assure-It: An Administration tool for Ensuring Runtime Synchronization of Assurance Cases |
| サブタイトル（英） | |
| キーワード(1)（和/英） | Assurance Cases / Assurance Cases |
| キーワード(2)（和/英） | ディペンダビリティ / Dependability |
| キーワード(3)（和/英） | 運用管理 / System Administration |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 志田 駿介 / Shunsuke Shida / シダ シュンスケ |
| 第1著者 所属（和/英） | 横浜国立大学 (略称： 横浜国大) Yokohama National University (略称： Yokohama National Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 内田 篤史 / Atsushi Uchida / ウチダ アツシ |
| 第2著者 所属（和/英） | 横浜国立大学 (略称： 横浜国大) Yokohama National University (略称： Yokohama National Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 倉光 君郎 / Kimio Kuramitsu / クラミツ キミオ |
| 第3著者 所属（和/英） | 横浜国立大学 (略称： 横浜国大) Yokohama National University (略称： Yokohama National Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2013-08-01 17:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | DC |
| 資料番号 | DC2013-19 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | no.170 |
| ページ範囲 | pp.15-19 |
| ページ数 | 5 |
| 発行日 | 2013-07-25 (DC) |
[研究会発表申込システムのトップページに戻る]