GSNからの実行可能なスクリプト生成の提案

石井, 正樹, 倉光, 君郎

Assurance Casesは，システムのディペンダビリティ要求を議論し，その確信や合意を得る手段として安全工学分野から利用が広がっている．本発表では，Assurance Casesの記法の1つであるGSN（Goal Structuring Notation）を用いて，最終的にGSNが議論するディペンダビリティ要求の実現に対応付けられた実行可能スクリプトの生成を提案する．従来のAssurance Casesは，示すべき主張を保証するために静的な文書をEvidenceとして用いている．そのため，運用中のシステムの環境の変化に応じて，主張する内容がつねに妥当かどうかを把握することができない．その課題に対応するため，動的なエビデンスとして，要求実現に対応付けた監視スクリプトや障害対応スクリプトをGSNに記述する．本発表では，GSNによって議論され，明確になった対応関係を反映した実行可能なスクリプトの生成手法について述べる．

Goal Structuring Notation is a standard graphical notation of Assurance Cases, which consists of a claim (regarding safety or other dependability attributes) and their supporting evidences. Originally, the GSN evidence takes a static form of documents (such as risk analysis, formal verification, and test results), which are collected and assessed in prior to system operation. However, the past evidence is not always valid at the operation time. To overcome this gap, we propose the functional GSN to evaluate the validity of dependability claims at runtime. The idea behind our proposal is the use of logs that monitors and software-based components produce to check errors. In functional GSN, monitored programs are visibly associated with dependability requirements and then can be improved by failure-case analysis based on the Meta Cases method. For this purpose, we extendedly introduce the interpretation of function and control flows for the GSN and meta-GSN structure. This paper will present the operational semantics of functional GSN, in order to transform a GSN document into an executable form of the checker program.

GSNからの実行可能なスクリプト生成の提案

書誌事項

この論文をさがす

抄録

収録刊行物

キーワード

詳細情報詳細情報について

書き出し

問題の指摘

GSNからの実行可能なスクリプト生成の提案

書誌事項

この論文をさがす

抄録

収録刊行物

キーワード

詳細情報 詳細情報について

書き出し

問題の指摘

参加プロジェクトリスト

詳細情報詳細情報について