動作合成とFPGAを利用したCベース協調設計・検証手法(高位合成)
スポンサーリンク
概要
- 論文の詳細を見る
本研究では,ハードウェアとソフトウェアの協調設計・検証を効率的に行う手法を提案する.効率的な検証のため,複数のツールを用いる上で必要なソフトウェア・ハードウェア間通信のための通信ライブラリを作成した.通信ライブラリにより,設計記述に変更を加えることなく検証を行うことが出来る.MPEG4デコーダシステムの設計を行い,検証に要した時間および記述の変更量から本手法の有効性を示す.
- 2007-01-22
著者
-
本田 晋也
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
柴田 誠也
名古屋大学大学院情報科学研究科情報システム学専攻
-
冨山 宏之
名古屋大学大学院情報科学研究科情報システム学専攻
-
高田 広章
名古屋大学
-
冨山 宏之
名古屋大学
-
冨山 宏之
財団法人九州システム情報技術研究所
-
柴田 誠也
名古屋大学大学院情報科学研究科|日本学術振興会特別研究員
-
柴田 誠也
名古屋大学 大学院情報科学研究科
-
本田 晋也
名古屋大学大学院情報科学研究科
関連論文
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- 動作合成のプロセッサ設計への適用(高位設計-2, システムオンシリコン設計技術並びにこれを活用した VLSI)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(システムプログラム)
- RTOSのテスト自動生成システムに関する一考察 (ディペンダブルコンピューティング)
- RTOSのテスト自動生成システムに関する一考察 (コンピュータシステム)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- ITRON仕様OSの機能分散マルチプロセッサ拡張(システムプログラム)
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム (集積回路)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (ディペンダブルコンピューティング)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (コンピュータシステム)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)
- AS-1-3 システムレベル設計環境System Builderを用いたAES暗号化システムの設計事例(AS-1.高位設計・検証,シンポジウムセッション)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
- 時間保護のためのリアルタイムスケジューリングアルゴリズム(実時間処理)
- マルチプロセッサRTOS対応コシミュレータ(システム設計/評価技術)
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応シミュレーション環境の機能拡張と効率化(マルチコア・マルチプロセッサ,組込技術とネットワークに関するワークショップETNET2008)
- トレースログ可視化ツールの開発(ドライバ,ツール,組込技術とネットワークに関するワークショップETNET2009)
- トレースログ可視化ツールの開発(ドライバ、ツール,組込技術とネットワークに関するワークショップETNET2009)
- リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- タスク優先度を考慮した時間保護スケジューリングアルゴリズム(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- DUOS:車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- 車載ECU統合向け異種OS間通信ミドルウェア
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- DUOS:車載ECU統合向けRTOSフレームワーク
- 割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング
- 車載ECU統合向け異種OS間通信ミドルウェア
- AUTOSAR通信ミドルウェアのマルチコア拡張
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- ARMv6アーキテクチャを用いたメモリ保護RTOSのユーザスタック保護の設計と評価
- マルチプロセッサ対応RTOSにおけるロードバランス機構の実現
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- DUOS : 車載ECU統合向けRTOSフレームワーク
- DUOS : 車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- 車載ECU統合向け異種OS間通信ミドルウェア
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム
- 3-215 コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育((25)高度専門技術者教育・社会人のための大学院工学教育,口頭発表論文)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 車載センサのネットワーク化を実現するハードウェアの提案と評価(通信,組込技術とネットワークに関するワークショップETNET2008)
- 設計空間探索におけるハードウェア共有用通信の自動合成
- 設計空間探索におけるハードウェア共有用通信の自動合成
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- マルチプロセッサRTOS対応コシミュレータ(システム設計/評価技術)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- 機能分散マルチプロセッサ向けRTOSへのマイグレーション可能タスクの導入(実時間OS,並列アルゴリズム)
- HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装
- HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- デュアルコアプロセッサにおける最悪性能の確率的予測手法の提案(マルチコア)
- デュアルコアプロセッサにおける最悪性能の確率的予測手法の提案(マルチコア)
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 関数レベル並列性を活用した動作記述分割手法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- システムレベル設計環境SystemBuilderを用いたMPEG4デコーダの設計事例(システムオンシリコン設計技術並びにこれを活用したVLSI)