伝送装置の形式的仕様記述に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
伝送装置の設計工程には実現すべき機能を決定するシステム仕様作成と、これを基に実際の装置をどう実現するかを決定する詳細設計がある。これまで詳細設計においてはCADを利用した効率的な設計法が提案され適用されてきた。しかしシステム仕様作成では決まった形式の仕様記述法が確立されておらずCADを利用した効率的な設計環境を実現することが困難である。仕様設計・検証の自動化により設計工数を削減するには、システム仕様を形式的に記述する必要がある。本稿では形式的記述の枠組みとなる伝送処理の機能モデルとその記述手法について検討したので報告する。
- 社団法人電子情報通信学会の論文
- 1996-03-11
著者
関連論文
- AMInet : 次世代マルチメディアネットワークアーキテクチャ
- AMInet : 次世代マルチメディアネットワークアーキテクチャ
- AMInet : 次世代マルチメディアネットワークアーキテクチャ
- 伝送フレームに着目したデジタル通信システム設計手法
- プログラマブル通信回路アーキテクチャ
- ATMブロック転送網におけるTCPコネクションの特性評価
- ATMブロック転送網における公正な資源共有
- ATMブロック転送方式に基づくコネクションレス通信網構成法
- ATMブロック転送方式におけるTCPコネクション多重化特性
- 特定用途向けFPGAの一設計手法
- 特定用途向けFPGAの一設計手法
- 通信処理用新FPGA PROTEUS-Liteの概要
- 通信処理用ラピッドプロトタイプシステム構築を目指したFPGA-MCMの構成法
- 通信処理用ラピッドプロトタイプシステム構築を目指したFPGA-MCMの構成法
- 1)高速コンピュータ通信を考慮したセルベース可変長パケット転送方式の一検討(放送方式研究会)
- 高速コンピュータ通信を考慮したセルベース可変長パケット転送方式の一検討
- 高速コンピュータ通信を考慮したセルベース可変長パケット転送方式の一検討
- 高速コンピュータ通信システムにおけるハードウェアベース高速フォワーディング方式の提案
- 高速コンピュータ通信システムにおけるハードウェアベース高速フォワーディング方式の提案
- 高速コンピュータ通信システムにおけるハードウェアベース高速フォワーディング方式の提案
- ATM網におけるパーマネントカットスルー転送技術を用いた高速コンピュータ通信システム
- ATM網におけるパーマネントカットスルー転送技術を用いた高速コンピュータ通信システム
- ATM網におけるパーマネントカットスルー転送技術を用いた高速コンピュータ通信システム
- ATMべースIPパケット転送装置におけるバッファ量および遅延時間の検討
- 次世代コンピュ-タネットワ-クのアクセス系・エッジノ-ド構成法 (特集論文 次世代コンピュ-タネットワ-クを支える技術)
- 高速コンピュータ通信向け整数倍長転送方式における転送効率特性とスイッチ実現方法の一検討
- 高速コンピュータ通信向け整数倍長転送方式における転送効率特性とスイッチ実現方法の一検討
- ATMネットワーク用プログラマブルATMアダプタ
- ATMネットワーク用プログラマブルATMアダプタ
- 通信処理を目的とした再構築可能システム
- ATMネットワーク用プログラマブルATMアダプタ
- 通信処理を目的とした再構築可能システム
- 大規模高速コンピュータ通信システムにおけるハードウェアベース高速検索方式の提案
- プログラマブルATMアダプタによるシェーピング機能の実現
- 構成可変高速通信システム
- 高速コンピュータ通信を考慮したセルベース可変長パケット転送方式の一検討
- プログラマブル通信システムによるリアルタイムATM処理回路の実現
- プログラマブルATMマルチポートアダプタ
- ハードマクロ適用による通信用FPGAの動作速度改善
- 伝送装置仕様記述に基づくRTL変換の検討
- 伝送処理モデルに基づく仕様検証シミュレーションの実現
- 伝送装置の形式的仕様記述に関する一考察