2024-03-29T20:10:56Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001017122020-10-27T05:02:43Z00934:00935:07419:07607
GSNからの実行可能なスクリプト生成の提案A Proposal of an Executable Script Generation from GSNjpn[発表概要]http://id.nii.ac.jp/1001/00101689/Articlehttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=101712&item_no=1&attribute_id=1&file_no=1Copyright (c) 2014 by the Information Processing Society of Japan横浜国立大学横浜国立大学石井, 正樹倉光, 君郎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.AA11464814情報処理学会論文誌プログラミング(PRO)7236362014-06-101882-78022014-06-05