実時間分散ソフトウェアの可能性と公平性の検証
スポンサーリンク
概要
- 論文の詳細を見る
実時間分散ソフトウェアではタイミング制約記述を含む可能性と公平性の検証の手法が必要である.しかし,従来の検証手法では可能性と公平性を同時に検証できる検証システムの研究事例はない.本稿では,以下の検証の手法により,可能性と公平性を効率的に検証できるシステムを開発した.(1)モデルチェッキングと言語包合アルゴリズムを同時に実現して,タイミング制約記述を含む可能性と公平性を検証可能とした.(2)状態空間の組み合わせ爆発を回避するために,時間不等式手法を基礎として検証システムを構築した.
- 一般社団法人情報処理学会の論文
- 1995-07-13
著者
関連論文
- 無限列時間付きステートチャートによる並行システムの仕様記述と検証の手法
- BDDによるSpeed-Independent回路の形式的検証
- ハードリアルタイムシステムの実時間記号モデル検査
- 実時間分散ソフトウェアの可能性と公平性の検証
- 拡張リアルタイム時相論理による分散ソフトウェアの形式的検証
- 分散ソフトウェアのタイミング検証
- 対称性に基づく並行システムの記号モデル検査
- 二分決定グラフと時間不等式手法に基づく近似解法による実時間シンボリックモデルチェッキング検証
- リージョングラフを用いた時間オートマトンのシンボリックモデルチェッキング検証