通信ソフトウエア設計支援環境 : ITECS(1):システム全体構成
スポンサーリンク
概要
- 論文の詳細を見る
通信ソフ トウェアは、公衆、私設システムを問わずその開発規模は増加の一途を辿っていることは周知の事実である。また通信システムの課せられた使命から、通信ソフトウェアは高信頼性を具備していることが必須条件となっている。通信ソフ トウェアの新規開発ないしは、恒常的通信サービスのエンハンスにおいて、通信ソフ トウェア自体の巨大化に対する対応策とその高信頼化が、益々重要な課題となっていると思われる。一方、通信ソフ トウェアの開発は、方法論、開発環境などは別としても基本的には、システムの要求分析、仕様作成、設計、試験、システム稼働なる一連の工程を踏襲してきているのが現状である。通信ソフ トウェアの開発環境自体はOA化、自動化など年々高度化されてはいるものの、未だ十分とは言えず課題を残していると考えられる。この通信ソフ トウエアの開発において、上位工程である仕様作成が重要であることは認識されているものの、共通的なプラットホームがないことも実状であろう。本稿は、通信ソフトウエア開発過程において仕様設計を対象とした当研究所の開発支援システムITECSについて紹介する。
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
関連論文
- 通信ソフトウェア設計支援環境(ITECS)の評価
- 通信ソフトウエア設計支援環境:ITCES(4) : 仕様検証支援系(Verifier,vega)
- 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
- シミュレーション関係を用いた大規模システムの部分検証に関する考察
- 位相的観点からの仕様記述
- 相互接続試験システムの機能検討
- 基本相互接続試験システムの開発
- 通信ソフトウエア設計支援環境 : ITECS(1):システム全体構成
- MSCとLOTOSによる通信システム設計支援システム
- 相互接続試験系列生成システム : TESGEN
- 相互運用性試験に対する試験系列生成方式の検討
- ITECSにおける仕様検証支援
- LOTOS仕様の時間特性検証方法に関する一検討
- 通信ソフトウェア設計支援環境ITECSにおける仕様検証支援
- LOTOSを応用した通信ソフトウェア設計支援環境の研究
- 通信ソフトウエア設計支援環境:TECS(2) : 仕様作成支援系 : ASSISts
- 通信ソフトウエア設計支援環境:lTECS(5) : 試験系列生成支援(TESGEN)
- 通信ソフトウエア設計支援環境:ITECS(3) : 仕様記述支援:GLOER
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について