エンジン制御用リアルタイムソフトウェアに対する要求仕様の記述
スポンサーリンク
概要
- 論文の詳細を見る
最近,埋め込み型コンピュータを用いたエンジン制御の普及に伴い,リアルタイムソフトウェアの新しい設計手法の開発が求められている.筆者らは,トップダウン的に設計を行う視覚化設計手法を提案している.本手法は抽象設計と詳細設計の2つの段階から構成されており,各段階で,視覚的にテストを行うことができる.本稿では,視覚化設計手法の抽象設計で用いる視覚化要求仕様記述言語について述べる.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
宮尾 淳一
広島大学総合科学部
-
菊野 亨
広島大 工
-
宮尾 淳一
広島大学 総合科学部
-
吉田 典可
広島大学工学部第二類(電気系)
-
冨永 一幸
広島大学
-
菊野 亨
広島大学
-
飯田 克義
マツダ株式会社
-
吉田 典可
広島大学工学部
関連論文
- 通信処理の競合を考慮したレイトレーシング分散処理法
- コンピュータネットワークの活用とその波及効果 : 頭蓋下顎機能障害検査診断システムの試作
- 通信ネットワークの検討 : 通信ネットワーキンググループ
- 通信ネットワークの検討
- ビア数最小化とクロストークを陽に考慮したMCM配線手法
- ビア数最小化とクロストークを陽に考慮したMCM配線手法
- クロストークを考慮したMCM多層配線手法
- ユ-ザの要求に基づくファイル配置問題の計算複雑さ
- 情報検索のためのARESの機能拡張
- 検査・診断データとしてのEMG信号のコンピュータ処理
- セル上配線ネットの選択を同時に行うスタンダードセル方式概略配線アルゴリズム
- タイミング制約を考慮したスタンダードセル概略配線手法
- タイミング制約を考慮したスタンダードセル概略配線手法
- タイミング制約を考慮したスタンダードセル概略配線の一手法
- スタンダードセルレイアウト設計におけるフィードスルー割り当ての一手法
- ネットワークの形状と通信遅延モデルを任意に設定可能な分散アルゴリズムシミュレータ
- 固有の識別子をもたない分散システムにおける耐故障リーダ選挙アルゴリズム
- VLSIレイアウト設計における配線領域の木状領域分割
- VLSIにおける寸法制約をもつ外部ブロックの配置問題
- データベースシステムAIDE-IIIにおけるユーザインタフェースの画面構成
- エンジン制御用リアルタイムソフトウェアに対する要求仕様の記述
- 分散形システムにおけるデッドロックの検出と回復
- クラスタ分割されたネットワークのノード故障対策について
- ゲートマトリックス方式に対するヒューリスティックアルゴリズムの性能評価
- VLSIのブロック配置における矩形重なり除去問題について
- フォームシステムFOSTERにおけるレイアウトの自動調整について
- データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用)
- 単純問合せ処理の応答時間の最小化--同報通信を許す星状ネットワ-クの場合
- 分散形デ-タベ-スシステムにおけるアルゴリズム--問合せ処理とデッドロック検出 (最近のアルゴリズム特集) -- (情報・システム)
- 3. ハードウェアアルゴリズムの設計法 3.3 シストリック配列とバス付きセル配列上のハードウエアアルゴリズム (VLSI向きハードウェアアルゴリズム)
- 会議スケジュールの自動調整
- VLSI設計におけるチャネルグラフ分割問題について(グラフ理論とその応用)
- 漸化式を用いたハ-ドウェア・アルゴリズムの設計について
- 分散形デ-タベ-スシステムにおけるデッドロックの検出と回復
- 分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)
- 極大木の更新を行う分散形アルゴリズム
- 共通超系列を求める近似アルゴリズム
- ロジスティック写像のシステムパラメータ変化の影響
- 手話動画像圧縮のための意味的特徴点によるフレーム選択 : 動きベクトルを併用した場合(文書・文字メディアの認識・理解, 一般)
- 手話動画像圧縮のための意味的特徴点によるフレーム選択 : 動きベクトルを併用した場合(文書・文字メディアの認識・理解, 一般)
- 手話動画像圧縮のための意味的特徴点によるフレーム選択 : 動きベクトルを併用した場合
- 手話動画像圧縮のための意味的特徴点によるフレーム選択 : 動きベクトルを併用した場合
- JITコンパイラのためのバイトコード変換
- JITコンパイラのためのバイトコード変換
- Javaのバイトコード変換によるエージェントマイグレーションの考察
- 手話における意味的特徴点と手話動画圧縮への応用
- 手話学習システムのための手話単語特徴に基づく教授法
- 手話単語の意味的特徴点と手話動画像圧縮の検討
- 手話単語特徴を用いた手話学習システムの構築
- 1L-5 手話単語の意味的特徴点と手話動画像圧縮への応用
- 手話単語特徴に基づく教授法と手話学習システム
- CGによる手話学習システム用手話単語特徴の解析
- The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computingの参加報告
- 手話学習システムのための手話表現基礎データの作成(教育情報の解析と数理モデル/一般)
- パラメトリック手話データ用動的エディタ
- 日本手話特徴抽出による教授法の一考察
- 相互情報共有医療体制における検査診断デ-タ収集システムの開発
- モジュ-ルシステムにおけるバス数に関する一考察
- マルチチップモジュールに対するシステム分割の一手法
- 再配置可能バス付き2次元アレイ上における最近点探索アルゴリズム
- BDDサイズを考慮した回路分割に基づく形式的論理検証手法
- BDDサイズを考慮した回路分割に基づく形式的論理検証手法
- 回路分割に基づく組み合わせ回路の形式的検証の一手法
- 寸法制約をもつブロックに対する配置手法
- リアルタイムデータベースシステムにおけるトランザクションの最適スケジューリング
- 聴覚障害者のための認知レベルに基づく効果音の視覚表現手法(ヒューマンコミュニケーショングループ(HCG)シンポジウム)
- 分散型データベースにおけるコピー配置に関する一考察
- データパスレイアウトにおける機能ブロック配置の一手法
- データパスレイアウトのための分枝限定法に基づくフロアプランアルゴリズム
- ペトリネットのサブクラスの表現能力について(技術談話室)
- ペトリネットのサブクラスの表現能力比較--ペトリネット言語による比較
- 動的ネットワークにおける経路更新問題を解く分散アルゴリズム
- ネットワーク下位プロトコルを考慮した分散アルゴリズムシミュレータ
- 動的ネットワークにおける最短経路木更新問題を解く分散アルゴリズム
- タイミング制約を考慮した非線形計画に基づくスタンダードセル配置手法
- タイミング制約とレジスタ配置を陽に考慮したセル配置手法
- VLSIによる実現に適したグラフ2分割並列アルゴリズム
- グラフを2分割するハードウェアアルゴリズム
- 節点集合の移動に基づく最小コストグラフ分割
- 節点集合の移動に基づくグラフ分割手法
- 最小生成木構成問題を解く自己安定分散アルゴリズム
- 複数行にわたるブロックを考慮したセル敷き詰め型ゲートアレイの配置手法
- 複数チャネルの配線を考慮したセルモデルに対する3層セル上チャネル配線手法
- セル上でのビアを許したセル上チャネル配線の一手法
- ハイパーグラフ分割のための動的クラスタリングに基づくヒューリスティックアルゴリズム
- ハイパーグラフ分割のための動的クラスタリングに基づくヒューリスティックアルゴリズム
- VLSIフロアプランニングにおける端子位置決定問題について
- 動的記述を取り入れたユーザインタフェース記述言語の開発
- マルチメディアデータモデルを考慮した同時実行制御の一考察
- グラフを〓分割する並列アルゴリズム
- 階層構造をもたせたネットに対する概略配線手法
- 構造的モデルを用いた論理回路図の自動描画について
- フォーム言語のためのソフトウェア開発支援システム
- パケット交換ネットワ-クにおけるデッドロックとライブロックの予防
- 最大共通部分系列を求めるハ-ドウェア・アルゴリズム
- コモンス-パシ-ケンスに関する判定問題の計算複雑さ
- 並列計算モデルPSNについて
- 並列計算モデルPSNとマ-クドグラフの関係(技術談話室)
- An Optimal Sorting Algorithm for Presorted Sequences
- VLSIレイアウト設計におけるブロック配置の改良(計算アルゴリズムと計算量の基礎理論)