概要: 実時間ネットワークシステムにおいてはネットワークで要求されるQoS を達成することが重要とされる．そこで，確率的振る舞いを持つシステムに対するモデル検査ツールPRISM に着目し，これを用いた実時間ネットワークシステムの詳細なモデル化方法，さらにそれらの結果を利用した形式的検証手法について述べる．また本稿では，提案手法の有用性を明らかにするために例題に適用し，ネットワークシミュレータNS-2 によってモデル化に対するシミュレーション結果の比較，考察についても述べる． タグ: Real-time, Network, System, Model, Checking, PRISM, Simulation, Formal, Verification

@inproceedings{伊藤明彦2009,
  author = {伊藤 明彦 and 長岡 武志 and 岡野 浩三 and 楠本 真二},
  title = {確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2 との比較},
  booktitle = {電子情報通信学会技術報告},
  volume = {109},
  number = {170},
  pages = {37--42},
  year = {2009},
  month = {aug}
}