WEKO3
アイテム
LOTOSを応用した通信ソフトウェア設計支援環境の研究
https://ipsj.ixsq.nii.ac.jp/records/35677
https://ipsj.ixsq.nii.ac.jp/records/3567742ddf747-06c4-490b-a223-8515e3ed3450
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-DPS94069015.pdf (822.4 kB)
|
Copyright (c) 1995 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1995-03-02 | |||||||
| タイトル | ||||||||
| タイトル | LOTOSを応用した通信ソフトウェア設計支援環境の研究 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Study of an Integrated Environment for Communication Software Design using LOTOS | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| （株）高度通信システム研究所 | ||||||||
| 著者所属 | ||||||||
| （株）高度通信システム研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Advanced Intelligent Communication System Laboratories | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Advanced Intelligent Communication System Laboratories | ||||||||
| 著者名 |
坪根, 宣宏
× 坪根, 宣宏
|
|||||||
| 著者名(英) |
Nobuhiro, Tsubone
× Nobuhiro, Tsubone
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 筆者らは、今後一層の規模拡大が予想される通信ソフトウェアの信頼性向上を目指し、ISO標準の形式記述技法LOTOSを応用した通信ソフトウェア設計支援環境ITECSを提案し、開発を進めている。LOTOSは厳密な仕様記述や機械的な仕様検証を可能とする点に優れた特徴を持つ。ITECSはこれらの特徴を活用して信頼性の高い通信ソフトウェアの構築を目指す設計支援環境であるが、その実用化という観点からは大規模なLOTOS仕様に対する機械検証の適用性を評価する課題が残されている。本論文では、この観点からの具体的な評価課題について述べる。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We have proposed and been developing an Integrated Environment for Communication Software Design using LOTOS, which we call ITECS (Integrated Environment for high reliability Communication Software design and development). The purpose of ITECS is to reliably construct larger communication software in future. LOTOS has an excellent feature of enabling rigorous specifications and their verifications by computers. ITECS makes the most of this feature for the purpose. However, we still have some tasks to assess availability of such verifications for large scale LOTOS specifications from a point of view of its practical use. This paper will describe the tasks in detail. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10116224 | |||||||
| 書誌情報 |
情報処理学会研究報告マルチメディア通信と分散処理（DPS） 巻 1995, 号 22(1994-DPS-069), p. 85-90, 発行日 1995-03-02 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
