Study of Soft TCCS mechanisms and Development of it's Validation system using Time-Enhanced LOTOS.

IPSJ

Bibliographic Information

Other Title
  • TCCS仕様記述対応LOTOS ー T実行環境構築をベースとするソフトTCCSメカニズムの研究

Description

我々は、TCCS (Time Critical Communication System)のメカニズム仕様記述に時間拡張LOTOSを使用し、その検証をシミュレーション実行にて可能とするシステムを開発中である.また、TCCSとして、既存のオープンネットワークプロバイダーを利用し、その上にネットワーク資源の管理、サーバの応答性能管理、モニタリング機能メカニズムを構築するソフトTCCSを提唱している.本稿はソフトTCCSを構築する上でのTCCSオブジェクトクラスSTOC (Soft TCCS Object Class)の抽出と、そのLOT0S記述仕様のミュレーション実証システムの構築について述べる.

Journal

Details 詳細情報について

Report a problem

Back to top