2024-03-30T00:48:48Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000708452024-03-29T05:26:34Z01164:01384:06059:06199
時間システムを対象とした到達可能性解析の高速化手法の提案Fast Method of Reachability Analysis for Timed Systemsjpn設計検証http://id.nii.ac.jp/1001/00070845/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=70845&item_no=1&attribute_id=1&file_no=1Copyright (c) 2010 by the Information Processing Society of Japan大阪大学大学院情報科学研究科大阪大学大学院情報科学研究科大阪大学大学院情報科学研究科大阪大学大学院情報科学研究科田中, 俊彰長岡, 武志岡野, 浩三楠本, 真二時間オートマトンのCEGARを用いた到達可能性解析について,高速化手法の提案とその評価実験を行う.本稿では,著者らが既に提案している時間オートマトンのCEGARを用いた到達度解析手法に対して,反例抽出部分の処理を並列化することで処理の高速化を目指す.また,手法に対して複数の時間システムを用いて実験を行った.実験で得られた結果を基にして手法の優位性や問題点についての評価を行い,さらにいくつかの改良点について考察を行う.This report proposes an efficient method of reachability analysis for timed systems and experimental results. Our research group has already proposed CEGAR loop for timed automaton and parallel processing of the CEGAR loop for the timed system.We have prototyped a tool and performed experiments. The report mainly focuses on the experimental results and some improvements.AN10112981研究報告ソフトウェア工学(SE)2010-SE-17015182010-11-042010-11-02