リアルタイムシステムの動作解説の動的な生成
スポンサーリンク
概要
- 論文の詳細を見る
Specifications, operation manuals, and On-Line-Helps, which are documents concerning a system, are static entities. These documents are not suitable for analyzing the behavior of a system in operation. This paper has the objective to show the user a real-time interpretation of dynamic behaviors of system such as Real-Time. Here, a basic interpretation sentence, which generates the interpretation, is treated as the behavior interpretation element. Then, a behavior interpretation supporting system is stated, which generates dynamically the behavior interpretation requested by the user by combining the behavior interpretation elements, OS states, event states, and operation states.
- 東海大学の論文
著者
関連論文
- 5. コンピュータエンジニアリング領域(J07-CE)(情報専門学科カリキュラム標準J07)
- 4ZC-4 条件に基づく要求仕様の記述と解析に関する研究(2)
- 4ZC-2 条件に基づく要求仕様の記述と解析に関する研究(1)
- 2K-1 遺伝的アルゴリズムにおける因子分析に基づいた優性遺伝法の提案
- 2J-5 最適な遺伝的アルゴリズムの自動探索法の提案
- 2J-7 インタフェース設計における設計ノウハウ抽出に関する研究
- 4G-3 仮想空間におけるグループコラボレーション環境設計技法に関する研究
- 4T-8 個人情報流通技術に関する研究
- 5L-3 最適な遺伝的アルゴリズムの探索に関する研究
- 5L-2 TSPの枝コストを決定するための多目的評価に関する研究
- 5L-1 都市数増加型巡回セールスマン問題の定義と解
- 2C-1 システム開発における要求仕様のビジュアル化に関する研究
- セキュリティ付き仮想空間構築技術に関する研究
- 資源に基づく経路探索に関する研究
- タイミングチャートを用いたデバイスドライバ開発自動化について
- インタフェース用デバイスドライバの設計支援について
- オブジェクト駆動による動的スケジューリングに関する研究
- GAを用いた歯科治療支援システム
- GAを用いた歯科治療支援システムの提案
- 携帯情報端末におけるJavaプログラム実行状態リモート検証システム
- 実機におけるJavaアプレットのモニタリング方式の提案
- オブジェクトの動的継承に関する研究
- 予約付きセマフォによるデッドロックの回避
- デッドロック防止排他制御方式に関する一提案
- オブジェクト駆動の実行環境に関する一提案
- オブジェクト駆動を用いたリアルタイムシステムの動作状態の解析支援に関する研究(2)
- オブジェクト駆動を用いたリアルタイムシステムの動作状態の解析支援に関する研究(1)
- オブジェクト駆動によるシステム設計技法についての提案(2)
- オブジェクト駆動によるシステム設計技法についての提案
- リアルタイムシステムの動作解析に関する研究(3)
- リアルタイムシステムの動作解析に関する研究(2)
- リアルタイムシステムの動作解析に関する研究(1)
- オブジェクト駆動によるソフトウェア設計技法
- オブジェクト駆動によるリアルタイムスケジューリングの記述
- リアルタイムシステムのモニタリングに関する一提案(3)
- リアルタイムシステムのモニタリングに関する一提案(2)
- リアルタイムシステムのモニタリングに関する一提案(1)
- オブジェクト駆動によるマルチタスクシステムのモデル化技法
- リアルタイムシステムの動作解説の動的な生成
- リアルタイムシステムのアプリケーションの動作状態の視覚化
- 動作状態によるリアルタイムシステムの検証支援
- 拡張TSチャートによるリアルタイムシステムのタイミング検証
- 拡張TSチャートによるPrologの記述について
- 拡張TSチャートによるマルチプログラミングとタスク分割について
- オブジェクト指向によるプリンタドライバ開発モデルに関する研究
- 予約付きセマフォによるデッドロックの回避
- 仮想環境上のハプティクメディアに対する移動平均適応制御型バッファ遠隔同期機構
- G-007 遺伝的アルゴリズムを用いた歌曲の作曲支援方法の一提案(G分野:音声・音楽)
- B-008 ソフトウェア開発体制の戦略的構築に関する一提案(B分野:ソフトウェア)
- B-005 組込みシステム用デバイスドライバの開発支援環境に関する一提案(B分野:ソフトウェア)
- B-004 Linux用USBデバイスドライバ生成支援に関する一提案(B分野:ソフトウェア)
- N-015 eラーニング用個人向けカリキュラムの自動生成方法の一提案(N.教育・人文科学)
- K-061 視覚障害者のための歩行経路学習支援方法に関する一提案(K.ヒューマンコミュニケーション&インタラクション)
- B-041 システム開発における作業状況監視方法に関する一提案(B.ソフトウェア)
- 情報メディア特集の編集にあたって (情報メディア)
- 情報メディア学科の目的と特徴 (電子情報学部設立記念号)
- トランスデューサについて : ハードフローチャート (オートマトン理論および言語理論の新展開)
- 拡張TSチャートによるリアルタイムシステムの記述手法について
- 拡張TSチャートによるリアルタイムシステムの解析技法について
- 拡張TSチャートによるタスクスケジューリングに関する一提案
- 木構造化チャートのマクロ化技法
- 教育実習用電子計算機シミュレータの製作について
- 日本の組込みシステム産業と技術者育成の課題 : 統計データに見る実態と見える課題(組込みソフト産業の実態と開発の課題)
- PPI初期化シーケンス自動プログラミングシステムの設計
- 木構造化チャートによる階層構造的プログラミング
- 木構造化チャートによるプログラム開発・保守技法