WEKO3
アイテム
シミュレーション関係を用いた大規模システムの部分検証に関する考察
https://ipsj.ixsq.nii.ac.jp/records/124088
https://ipsj.ixsq.nii.ac.jp/records/1240883e3b28f5-2fa7-4974-be2c-f9818cc2e491
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001338768.pdf (174.1 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1993-09-27 | |||||
| タイトル | ||||||
| タイトル | シミュレーション関係を用いた大規模システムの部分検証に関する考察 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | A Partial Verification for Large Systems using the Simulation Relation | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| (株)高度通信システム研究所 | ||||||
| 著者所属 | ||||||
| (株)高度通信システム研究所 | ||||||
| 著者所属 | ||||||
| (株)高度通信システム研究所 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Advanced Intelligent Communication System Laboratories | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Advanced Intelligent Communication System Laboratories | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Advanced Intelligent Communication System Laboratories | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 近年、通信システム等の仕様を厳密に記述するために、種々の形式的仕様記述技法(FDT)が提案されている。我々は、このFDTの一つであるLOTOS(ISO8807)を中心とした、通信ソフトウェアの設計支援環境ITECS(InTegrated Environment for Construeting high-reliable Software)を提案し、開発を行っている。ITECSで用いられている仕様検証手法は、上位レベルのLOTOS仕様から下位レベルへと正しく詳細化が行われているかどうか、シミュレーション関係の概念を用いて検証するものである。しかし、通信システムの仕様は巨大であり、詳細化仕様全体を一度に検証することは、計算量等の観点から現実的ではない。従って本報告では、段階的な仕様の詳細化と、それに基づいて分割された仕様に対する、部分検証に関する方法論を考察する。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第47回, 号 ネットワーク, p. 259-260, 発行日 1993-09-27 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
