書誌事項
- タイトル別名
-
- A Verification Considering the Network Delay for Real-time Distributed Systems with the Probabilistic Model Checker PRISM
- カクリツテキ モデル ケンサ ツール PRISM ニ ヨル リアルタイム ブンサン システム ノ ネットワーク チエン ヲ コウリョ シタ ケンショウ シュホウ ニ ツイテ
この論文をさがす
説明
モデル検査など形式モデルに基づくソフトウェアシステムの形式的検証は高い信頼性を持つソフトウェアの構築を可能にすると期待されている.さらに,分散システムにおいてはネットワーク上の遅延,遅延変動(ジッタ),帯域幅,パケットロスパラメータなどを管理して,要求されるQoSを達成することが重要とされる.そこで,本研究では確率的振る舞いを持つシステムに対するモデル検査ツールPRISMに着目し,これを用いたリアルタイムマルチメディアシステムのネットワーク遅延を考慮した形式的検証手法を提案する.また本論文では,提案手法の有用性を明らかにするために例題に適用し,その評価と考察についても述べる.
収録刊行物
-
- 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 105 (597), 19-24, 2006-01-27
電子情報通信学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050018218951055360
-
- NII論文ID
- 110004662817
-
- NII書誌ID
- AN10013287
-
- HANDLE
- 11094/27429
-
- NDL書誌ID
- 7846924
-
- ISSN
- 09135685
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles