家電ソフトウェア設計支援システム「VisualCASE」における仕様検証機構
スポンサーリンク
概要
- 論文の詳細を見る
現在,大部分の家電製品には制御用マイコンが組み込まれている.制御用マイコンのソフトウェア(以下,家電ソフトウェア)のサイズが,製品の高機能化に伴い急速に増大していると共に,機種展開等で多数の類似ソフトウェアを開発する必要があり,生産性の向上が急務となっている.そこで我々は,家電ソフトウェアの各機能を部品化再利用するためのオブジェクトモデルを提案し,製品の操作・動作の仕様(以下,製品仕様と呼ぶ)の決定からプログラム作成までを統合支援する家電ソフトウェア設計支援システムVisuajCASBを開発している.本稿では,製品仕様作成時に有効な仕様検証機構について報告する.
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
-
角谷 和俊
松下電器産業株式会社
-
田中 裕彦
松下電器産業(株)マルチメディア開発センター
-
福宮 英二
松下電器産業株式会社
-
角谷 和俊
神戸大学都市安全研究センター
-
縄田 毅史
松下電器産業株式会社情報通信研究所
-
菱田 利浩
松下電器産業株式会社
-
田中 裕彦
松下電器産業株式会社
-
縄田 毅史
松下電器産業(株)情報システム研究所
-
縄田 毅史
松下電器産業株式会社
-
福宮 英二
松下電器産業株式会社 九州マルチメディアシステム研究所
-
福宮 英二
松下電器産業(株)avコア技術開発センター
関連論文
- 知覚的クラスタリングに基づくスポーツ映像の自動インデクシング(スポーツ・運動映像のパターン認識・理解)
- 放送型情報配信のためのモデルとシステム
- IplusTV : 時系列ハイパーメディアを用いたデータ放送方式とその実装
- ビジュアルプロトタイピングのための製品仕様オブジェクトモデル
- カラーマーカを用いた人体のリアルタイム動作計測
- ディジタルAV機器向けGUIソフトウェア開発システム
- 放送型情報配信システムのための時系列性を考慮した情報フィルタリング
- 定型文書作成システムAutoLayouter : 構造化エディタ
- 機能操作制約モデルに基づく家電機器インタラクションデザイン支援システム
- ビジュアル・プロトタイピングのための製品仕様データベース
- 家電ソフトウェア設計支援システム「VisualCASE」における仕様検証機構
- 電子出版指向データベースシステム : SQL言語のマルチメディア拡張
- 電子出版指向データベースシステム : 基本構想
- 家電製品向けソフトウェア構造モデルの開発(2) : シーケンス制御方式
- 家電製品向けソフトウェア構造モデルの開発(1) : スケジューリング方式
- 情報レベルに基づいたプッシュ型配信通知機構とその呈示方式
- オンラインニュース記事の時系列クラスタリングに基づくマルチチャンネル型配信システム
- VRインタラクションを用いた運動機能訓練システムの開発
- 携帯端末を用いたWebコンテンツの情報収集と再構成
- 携帯端末を用いたWebコンテンツの情報収集と再構成
- 2000-DBS-122-37 位置依存動的リンクを用いた情報配信システム
- DE2000-59 位置依存動的リンクを用いた情報配信システム
- 位置情報を用いたマルチ映像ストリームの動的再構成
- ダイジェスト映像シーンとマークアップ言語に基づくTV番組生成システム(:ビジュアルデータベース)
- ダイジェスト映像シーンとマークアップ言語に基づくTV番組生成システム
- ファジィルールの非線形スケーリングファクタとその調整
- 分散環境上で共有メモリ空間とメッセージパッシング型通信機構を提供する並列記述言語処理系ParaDisEの試作と評価
- 分散環境上での並列プログラミング言語処理系用のOS DaOSの概要
- 並列/分散環境上のプログラミング言語処理系ParaDisE
- インデックス付きライブ映像ストリームによる動的番組生成と配信
- 3次元空間表示によるファジィ制御系の安定性解析 (ファジィ/ニューラルネットのダイナミックスと制御への応用)
- コンテンツの有効時間を考慮した放送型ハイパーメディアの配信モデルとその時間的一貫性管理
- Webデータの協調オーサリングによる共有コンテンツの生成
- DE2000-64 携帯情報端末における音声を用いたWebナビゲーション
- Webデータの協調オーサリングによる共有コンテンツの生成
- 携帯情報端末のための音声を用いたWebナビゲーション
- 2000-DBS-122-42 携帯情報端末における音声を用いたWebナビゲーション
- 同期化コンテンツ制作・配信システムの開発と高速ネットワーク環境における配信実験
- Webページの立体音響を用いた閲覧支援
- Webページの立体音響を用いた閲覧支援
- Kraft: An autonomous robot manipulation system based on geometrical modeling and processing.
- ビジュアル・プロトタイピングのための製品仕様データベース