確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較

長岡, 武志; 伊藤, 明彦; 岡野, 浩三 他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2009, 109(170), 37-42

Number of Access:588（2025-12-09 11:12 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27435

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr109_170_37 pdf None 765 KB 124 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2
カクリツテキ　モデル　ケンサ　ツール　ヲ　モチイタ　ジツジカン　ネットワーク　システム　ノ　ケンショウ　シュホウ　ノ　テイアン　オヨビ　ネットワーク　シミュレータ　NS-2　トノ　ヒカク
Creator
CreatorName
長岡, 武志 ; ナガオカ, タケシ ; Nagaoka, Takeshi
NRID
1000060337053 1000060337053
CreatorName
伊藤, 明彦 ; イトウ, アキヒコ ; Ito, Akihiko
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Subject
実時間ネットワークシステム
モデル検査
PRISM
シミュレーション
形式的検証
Real-time Network System
Model Checking
PRISM
Simulation
Formal Verification
Abstract
実時間ネットワークシステムにおいてはネットワークで要求されるQoSを達成することが重要とされる.そこで,確率的振る舞いを持つシステムに対するモデル検査ツールPRISMに着目し,これを用いた実時間ネットワークシステムの詳細なモデル化方法,さらにそれらの結果を利用した形式的検証手法について述べる.また本稿では,提案手法の有用性を明らかにするために例題に適用し,ネットワークシミュレータNS-2によってモデル化に対するシミュレーション結果の比較,考察についても述べる.
For distributed systems, managing QoS parameters is a focal point of their quality. In this paper, focusing on PRISM, a model checking tool for probabilistic real-time systems, we present a new method to analysis real-time network systems detailed, and to implement formal verification with the use of this result. The paper also describes an application example and evaluation of the method with network simulator NS-2.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Volume (Issue)
109(170)
Page
37-42
Date of Issued
2009-07-30
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27435
PISSN
09135685
NCID
AN10013287
Access Rights
open access
CopyRight
Copyright © 2009 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article