DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
スポンサーリンク
概要
- 論文の詳細を見る
CPUとDRP(Dynamically Reconfigurable Processor;動的再構成可能プロセッサ)の協調動作の動的再構成可能組込みシステムを仕様記述するため,本研究では動的線形ハイブリッドオートマトン(以下DLHA)を提案する.DRPの特徴としては,Co-タスクの生成・消滅,動作周波数の変化を動的に行うといった点が挙げられ,これらの特徴によりオートマトンの動的な生成・破棄,ハイブリッドオートマトンの性質を用いることで,従来手法よりロケーション数を削減した.
- 2011-11-22
著者
-
山根 智
金沢大学大学院自然科学研究科
-
酒井 誠
金沢大学大学院 自然科学研究科
-
酒井 誠
金沢大学大学院自然科学研究科
-
山根 智
金沢大学理工研究域
-
酒井 辰典
金沢大学
-
柳瀬 龍
金沢大学
-
山根 智
金沢大学
-
酒井 辰典
金沢大学大学院自然科学研究科
関連論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法(分析・設計技法)
- UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 組込みシステム設計検証のためのゲーム理論(「エージェント基礎」及び一般)
- 確率時間ゲーム理論に基づくリアルタイム組込みシステム設計検証手法
- 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- 事例研究:プリエンプティブな周期タスクからなる組込みソフトウェアのモデリング,仕様記述と有限モデル検査(ディペンダブルコンピューティング)
- コンポーネントウェアによる確率リアルタイムシステムの設計検証手法
- 動的リアルタイムCEGAR(一般セッション)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション)
- 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法(一般セッション,一般,フレッシャーズセッション)
- 動的リアルタイムCEGAR(一般セッション,一般,フレッシャーズセッション)
- 動的再構成可能組込みシステムのモデル化と仕様記述(モデル化・仕様記述)
- 確率時間強模倣検証アルゴリズムの実現
- 時間弱模倣検証に基づくリアルタイムソフトウェアの詳細化設計手法(ディペンダブルコンピューティング)
- 時間弱模倣関係と最悪応答時間に基づくリアルタイムソフトウェアの詳細化設計手法(2003年並列/分散/協調処理に関する「松江」サマーワークショップ(SWoPP松江2003))(DC-1高信頼化手法)
- 確率時間インターフェース理論による組込み型システムの設計手法(グラフ, ペトリ, ニューラルネット及び一般)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 非線形ハイブリッドオートマトンの近似解析による到達可能性解析検証手法(グラフ,ペトリ,ニューラルネット及び一般)
- 述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)
- 述語抽象化とその精錬による確率線形ハイブリッドオートマトンの到達可能解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法(グラフ,ペトリ,ニューラルネット及び一般)
- 動的リアルタイムハイブリッド CEGAR による動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用)
- 確率時間オートマトンの確率時間強模倣検証器の開発(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 2010年度冬のLAシンポジウム 動的リアルタイムハイブリッドCEGARによる動的再構成可能組込みシステムの設計検証 (計算機科学とアルゴリズムの数理的基礎とその応用--RIMS研究集会報告集)
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- DLHAによるCPUとDRPの協調動作の組込みシステムのシステム仕様記述
- AS-4-3 制限付きストップウォッチオートマトンと時間オートマトンを用いた,プリエンプティブスケジューリングシステムのUML分析設計からタスク設計までの設計検証方法論(ソフトウェアのテストと検証,AS-4.組込みシステムの形式的手法,シンポジウム)
- リアルタイムシステムの形式的手法とその検証ツール(ソフトウェア紹介)
- リアルタイムステートチャートによる形式的手法
- 時間オートマトンによるソフトリアルタイムシステムの性能解析手法(検証/テストとデバッグ)
- Hybrid Automata Theoretic Specification and Verification of CPU-DRP Reconfigurable Systems (アルゴリズムと計算理論の新展開 : RIMS研究集会報告集)
- 確率線形ハイブリッドオートマトンの到達可能性検証
- 動的ハイブリッドCEGAR検証器の開発 (理論計算機科学の新展開)
- 組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用〜シミュレーションによるモデルの自動生成〜
- 動的再構成可能システムの仕様記述言語の提案およびその検証実験
- 組込みシステムを対象とした線形ハイブリッドオートマトンのモデル検査器の開発と検証