GSNからの実行可能なスクリプト生成の提案
スポンサーリンク
概要
- 論文の詳細を見る
Assurance Casesは,システムのディペンダビリティ要求を議論し,その確信や合意を得る手段として安全工学分野から利用が広がっている.本発表では,Assurance Casesの記法の1つであるGSN(Goal Structuring Notation)を用いて,最終的にGSNが議論するディペンダビリティ要求の実現に対応付けられた実行可能スクリプトの生成を提案する.従来のAssurance Casesは,示すべき主張を保証するために静的な文書をEvidenceとして用いている.そのため,運用中のシステムの環境の変化に応じて,主張する内容がつねに妥当かどうかを把握することができない.その課題に対応するため,動的なエビデンスとして,要求実現に対応付けた監視スクリプトや障害対応スクリプトをGSNに記述する.本発表では,GSNによって議論され,明確になった対応関係を反映した実行可能なスクリプトの生成手法について述べる.
- 2014-06-10
著者
関連論文
- ユビキタス環境のためのスクリプト言語の設計
- 拡張性のある組み込みアプリケーションを実現するスクリプティング言語の開発
- プロセスグループ別LSMのためのLSMフレームワーク拡張
- スクリプティング言語によるカーネル拡張
- B-008 実行コンテクストの変化に伴うアクセスコントロールの変更に関する研究(ソフトウェア,一般論文)
- セキュアコーディングと準形式設計モデル
- 魔法の水晶:音声インタラクションを備えたAmbient Displayの実装
- プログラミングとマッピング
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- 最適投資モデルに基づくセキュアシステム設計と事例研究
- 大規模主記憶環境におけるGC方式の性能評価
- 分散障害管理のためのアクターベースのスクリプトフレームワーク
- オープンシステムディペンダビリティ : 新しいディペンダビリティへの挑戦
- 障害対応ワークフローに起こる二次リスクの保証事例の報告(システムのディペンダビリティ,2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- アシュアランス駆動プログラミングに向けて
- シェル文法の拡張可能な自己文法拡張スクリプト言語
- Mindstorms NXTを対象としたKonoha処理系のコンパクト化
- JavaScript生成言語への難読化処理の適用と性能評価
- エラーコードによるフォルト診断の例外処理機構
- JavaScript実行環境におけるC言語プログラムの実行基盤
- Konoha PlayGround:Web上で動作する多言語ソースコード変換系
- ディペンダブルシェルの分散環境での利用に向けた拡張
- GSNからの実行可能なスクリプト生成の提案
- 例外処理機能を備えたシェル言語
- 実行環境との同期を含めたAssurance Casesの管理ツールの提案(ディペンダビリティ,並列/分散/協調とディペンダブルコンピューティング及び一般)
- 障害対応ワークフローに起こる二次リスクの保証事例の報告