シミュレーション関係に基づくLOTOS仕様の検証システム

• Item type: SIG Technical Reports(1)
• 公開日: 1992-11-19
• タイトル: シミュレーション関係に基づくLOTOS仕様の検証システム
• タイトル / 言語: en
• タイトル: A Verification System for LOTOS Specifications based on the Simulation Relation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 高度通信システム研究所
• 著者所属: 高度通信システム研究所
• 著者所属: 東北大学
• 著者所属(英): en
• 著者所属(英): AIC System Laboratories
• 著者所属(英): en
• 著者所属(英): AIC System Laboratories
• 著者所属(英): en
• 著者所属(英): Tohoku University
• 著者名: 山野, 敬一郎; 太田正孝; 高橋, 薫
• 著者名(英): Keiichirou, Yamano; Masataka, Ohta; Kaoru, Takahashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 形式的仕様記述言語の一つであるLOTOSを用いて、通信システム等の仕様を記述することの利点はその検証性にある。本報告では、LOTOS仕様の増補的な開発において、上位レベルの仕様と下位レベルの仕様の間の関係を検証するのに適当な、シミュレーション関係の概念をとりあげ、その定式化、および判定アルゴリズム等を示す。さらに、通信システムの高信頼化支援システムITECSを提案する。その中で仕様の段階的な詳細化過程を支援するために、このシミュレーション関係の概念を適用し、検証を行うことが有効であることを示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An Advantage of describing the specification of communication systems using LOTOS, one of the Formal Specification Techniques, is it ability of verification. In this paper, we discuss the formulation and verification algorithm of Simulation Relation, which is appropriate concept to verify the relation between another abstraction levels of the same specifications. Such levels appear in the process of incremental development of LOTOS specification. In addition, high-reliable development environment for communication systems, called ITECS is proposed. Also, we show the concept of simulation relation is effective in this development environment.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1992, 号 91(1992-DPS-058), p. 91-98, 発行日 1992-11-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会