プロセス代数に基づくシステムレベル仕様合成
スポンサーリンク
概要
- 論文の詳細を見る
LSIの設計フローにおいて,UML等の上流工程の仕様書記述と,実現するLSIの設計書との間には,ギャップが存在する.特にシナリオ記述に基づく仕様書は動作の部分的な側面しか記述していない.このような断片的な仕様書から対象システムの全容を構成する手段が不足している.本論文では,仕様書として,Message Sequence Chart(MSC)で,動作シナリオ記述し,その記述をプロセス代数に基づきモデル化することにより,プロセス代数の計算規則により,複数の動作シナリオを機械的にマージし,全体のシステム仕様を生成する手法を与える.並行プロセスの仕様記述を与える形式的手法であるプロセス代数を用い,本手法のために,プロトコル(個別の動作シナリオ)の並行結合を行う計算法を示した.
- 2009-11-15
著者
関連論文
- 異種通信方式ネットワークの相互接続における特性解析
- 画面と実世界のインタラクションの試み
- 楕円曲線暗号のためのハードウェアの設計
- マルチスレッド型プロセッサ向きのキャッシュメモリの構成と評価
- 関数型プログラムの実行に適したマルチスレッド型プロセッサ・アーキテクチャの提案
- 12-1 高臨場感映像伝送技術を用いた多地点間遠隔教育システムの構成法に関する検討
- プロセスマイグレーション可能なMPIプログラムとその性能評価(計算環境)
- データフロー指向ネットワーク分散システムの提案(分散システム)
- FPGAを用いた音場シミュレーションシステム構築に関する検討(リコンフィギャラブルシステム,一般)
- 値独立なシミュレータカーネルを用いた3値論理シミュレータの実装(検証・シミュレーション,システム設計及び一般)
- 値独立なシミュレータカーネルを用いた3値論理シミュレータの実装(検証・シミュレーション,システム設計及び一般)
- 値独立なシミュレータカーネルを用いた3値論理シミュレータの実装
- XTRに適したディジタル署名方式
- XTRに適したディジタル署名方式
- 標数3の体でのXTR
- 輝き感に関連する物理要因・特性 : 孤立点群による輝き感効果(映像符号化・システム・感性工学及び一般)
- 輝き感に関連する物理要因・特性 : 孤立点群による輝き感効果
- 〔招待論文〕JGNを用いた広帯域ネットサービスの研究(オフィスインフォメーションシステム及び一般)
- 厳密な遅延評価によるフィードバックを持つ準同期パイプラインプロセッサの設計
- 遠隔教育環境における高臨場感の実現に関する検討
- 12-2 多地点間遠隔教育に適したシステム構成要素の配置法に関する研究
- 可変長フレームスイッチアーキテクチャの一提案
- 可変長フレームスイッチアーキテクチャの一提案
- 超高品位双方向通信の一構成 : 次世代マルチメディア通信システムへの目論見
- ネットワーク分散システムのための抽象ネットワークアプローチ
- ネットワーク分散システムのための抽象ネットワークアプローチ
- ネットワーク分散システムのための抽象ネットワークアプローチ
- 位置情報ブローカの提案とそのアーキテクチャ
- 2. 各分野における技術の変遷 : 2-16 高級言語計算機(あの技術は今… : 技術の変遷と21世紀への展望)
- 抽象ネットワークによるシステム記述
- 抽象ネットワークによるシステム記述
- 異種通信方式ネットワークの相互接続における特性解析
- セルアレイ分割によるパイプラインキャッシュの高周波動作の可能性
- セルアレイ分割によるパイプラインキャッシュの高周波動作の可能性
- セルアレイ分割によるパイプラインキャッシュの高周波動作の可能性
- プロセス代数に基づくシステムレベル仕様合成
- 内閣官房参与からのメッセージ
- 階層型混成ニューラルネットワークモデルによる追記学習
- アクティブルールを利用したウェブサイトの管理
- 異種通信方式ネットワークの相互接続時における特性解析
- 密結合型分散アクティブデータベースにおけるイベント検出器のリカバリ方式の検討
- 震災と情報通信
- 東日本大震災と情報通信-スマートなメディア・インフラを求めて : 基調講演「大規模災害時における情報通信基盤の在り方について」
- パケットトレイン交換方式の提案とシミュレーションによる性能評価