組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発
スポンサーリンク
概要
- 論文の詳細を見る
組込み型制御システムの中でも, プログラムの応答時間が被制御系の時間的応答と同程度のシステム, リーンリアルタイムシステム(lean real-time system)の設計を対象とした「組込み型制御システムプロトタイプ設計支援システム: Schetch」を作成した. Schetchは, 組込み型制御システムの動作記述体系とそのシミュレータから構成される. Schetchの動作記述においては, 組込み型制御システムのソフトウェアが簡潔に表現できるように周期実行やイベント駆動実行の機能や実時間表現のためのデータ型の機能を導入した. このうち, 実時間表現のためのデータ型(実時間時系列型データ)は我々が提案する新たな概念である. この支援システムを自動車用車載コントローラの制御アルゴリズムの設計に適用し, 有用性を示した.
- 1997-08-25
著者
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,Web情報システム)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(システムプログラム)
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化(リアルタイムシステム)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
- 6105 生産準備の業務改革支援システムの開発(OS6 新生産システムの開発)
- プログラムの正規化に基づいた差分抽出法の提案
- 意味を考慮した差分抽出ツール
- 自動車用コンピュータにおける制御タイミング仕様記述方法の検討
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- ソフトウェアの大局的可視化のための組織化メトリクス
- ストリームプロセッシングによる車載統合制御システムのための分散型センサデータ処理機構の構築(セッション3)
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- リンク自動付与機能を持つ技術文書サーバの開発手法
- ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合
- 動作履歴をグラフで表現するハードウェアの機能動作モデルについて
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 海外生産準備プロセス解析手法の提案(機械要素,潤滑,工作,生産管理など)
- 10MbpsCANプロトコルの設計と評価
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- アナ/ディジ混載IC用の故障モデルと故障シミュレ-ション
- ラピッドアナリシス手法による生産ラインの概念設計支援
- ラピッドアナリシス手法による生産ラインの概念設計支援
- ラピッドアナリシス手法を用いた生産ライン設計 : 柔軟性の考慮と意思決定環境の構築(J20-1 デジタルエンジニアリングによる製品開発革新(1),J20 デジタルエンジニアリングによる製品開発革新)
- ラピッドアナリシス手法を用いた生産ライン設計 : コラボレーション設計環境の構築(J20-1 デジタルエンジニアリングによる製品開発革新(1),J20 デジタルエンジニアリングによる製品開発革新)
- 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- Bassモデルの拡張による車種需要時系列分析
- Bassモデルの拡張による車種需要時系列分析
- 記憶ペンによる部分像系列から全体像を再現する方法
- 集団による生産ライン検討業務の支援環境に関する研究(生産システムの設計・管理・評価)
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- 新しい入力デバイス : 記憶ペン
- 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ(開発支援(2)(学生セッション))
- (開発支援環境)XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装(オブジェクト指向技術)
- Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
- CASEツール開発のためのソフトウェア操作言語
- 依存関係に基づく差分抽出ツール
- ソフトウェアの動作状況のモデル化に関する研究
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- XML記述によるソフトウェアリポジトリを用いたコード検索(開発支援環境)
- FCDGに基づいたコーディングパターン
- ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
- ハイパーテキストを用いたソフトウェアの統合と共有
- オブジェクト指向言語のための細粒度システム依存グラフ
- 自律的BOBモデルを用いたTRSの並列分散実行系
- 4203 設計プロセスモデルに基づく生産システムの協調設計支援システム
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
- 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
- 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
- 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
- 組込みシステムが拓く未来の産業 (特集 Japanese Ability--日本で育てた世界技術)
- 情報科学研究科附属組込システム研究センターの紹介
- 名古屋大学大学院情報科学研究科附属組込みシステム研究センターの紹介(組込みシステム特集号)
- 共有メモリ型並列計算機における項書換え系の実現方式
- 動作履歴を用いた焦点絞り込みによるプログラム理解
- 細粒度リポジトリに基づくVHDLツールプラットフォーム
- 検出漏れの無い割込み干渉検出システムの開発
- 産学連携と情報処理学会(これからの情報処理学会 第6回)
- 実用ソフトウェアとソフトウェア工学 : 大学におけるソフトウェア開発 : 紺屋の紺袴作り
- 制御理論に基づく戦略的業務モデル
- "正しい"ソフトウェアの開発を
- ソフトウェア科学と工学
- 上流 CASE とソフトウェア開発の効率化
- 前バージョンの整合性を用いた設計復元
- 組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発
- 依存関係が定義可能なテストベッド
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- WWW上のカスタマイズ可能な検索システムに関する研究
- ECU組込み機器向けソフトウェア自動合成手法の開発
- イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用)
- イベントの2項関係に基づく並列システムの代数的仕様記述
- 故障集合を伝搬の単位とする故障シミュレ-ション高速化手法