実時間分散ソフトウェアの可能性と公平性の検証

• Item type: SIG Technical Reports(1)
• 公開日: 1995-07-13
• タイトル: 実時間分散ソフトウェアの可能性と公平性の検証
• タイトル / 言語: en
• タイトル: Verification of probabilities and fairness in real - time distributed software
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 島根大学理学部情報科学
• 著者所属: 島根大学理学部情報科学
• 著者所属: 島根大学理学部情報科学
• 著者所属: 元 南京通信研究所
• 著者所属(英): en
• 著者所属(英): Dept. of computer science Shimane University
• 著者所属(英): en
• 著者所属(英): Dept. of computer science Shimane University
• 著者所属(英): en
• 著者所属(英): Dept. of computer science Shimane University
• 著者所属(英): en
• 著者所属(英): Nankin Commmunication Lab.
• 著者名: 山根, 智; 川平, 靖博; 翁崇恩; 将, 海雲
• 著者名(英): Satoshi, Yamane; Yasuhiro, Kawahira; Suon, Oh; Kaiun, Chan
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 実時間分散ソフトウェアではタイミング制約記述を含む可能性と公平性の検証の手法が必要である．しかし，従来の検証手法では可能性と公平性を同時に検証できる検証システムの研究事例はない．本稿では，以下の検証の手法により，可能性と公平性を効率的に検証できるシステムを開発した．(）モデルチェッキングと言語包合うアルゴリズムを同時に実現して，タイミング制約記述を含む可能性と公平性を検証可能とした．(）状態空間の組み合わせ爆発を回避するために，時間不等式手法を基礎として検証システムを構築した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: It is necessary to verify both possibilities and fairness including timing constraints in realtime distributed sortware. But the verification system, which can verify both possibilities and fairness, has not been proposed before. In this paper, we have developed the verification system, which can verify both possibilities and fairness based on the following methods. (1) Possibilities and fairness can be verlfied by both model checking and language inclusion algorithm. (2) Timing verification method is based on inequality method in order to avoid state explosion problem.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1995, 号 61(1995-DPS-071), p. 121-126, 発行日 1995-07-13
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会