コンカレントシステムの仕様検証手法

参考文献16件

書誌事項

タイトル別名
  • An Analysis of Concurrent System specification on Petri Nets

この論文をさがす

説明

離散事象システムの検証にとっては, 可達性の検証が有効とされているが可達性の確認は計算量的に不可能であるといわれている. それは, 現状の可達性解析が状態木を生成するという総当たり的な手法をとっていることによる. しかし, カオス理論に見られるように, 見た目上は複雑で解析できそうもないものであっても, 自然界の法則に従うものの中には, 単純な数個の解析し易いものの組合せである場合があり, 簡単に解析できる場合もあることがわかってきている. また離散事象システムの挙動によっては複雑で解析できそうにないものでも, 簡単な状態の組合せで表すことができ, さらに状態を発散する場合でもある規則に従う場合がある. 本稿では, その離散事象システムの持つ規則を導きだし, それを利用する状態生成手法を提案する. さらに, 本手法は状態遷移木を作成する状態生成手法より低コストの計算量で行なえることを離散事象システムの一つである通信システムを例に提案する.

収録刊行物

参考文献 (16)*注記

もっと見る

キーワード

詳細情報 詳細情報について

  • CRID
    1573668927131155072
  • NII論文ID
    110003299986
  • NII書誌ID
    AN10438446
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ