組込みシステムの試作における挙動の代数的記述と動作検証
スポンサーリンク
概要
- 論文の詳細を見る
本研究では,設計初期段階におけるシステムの入出力関係や状態遷移規則を形式的に記述し,挙動の安定性や操作性などを分析することを目的とする。このために,代数的な仕様の記述と公理系に基づいた検証方式の提案を行う。また有効性の確認として,提案した方法に基づいて,状態遷移機械を対象とした状態遷移則の基本的な性質の検証を行う。さらに状態遷移が階層化されている場合について,記述方法と検証項目の提案及び仕様の検証を行う。
- 2004-02-20
著者
関連論文
- 多視点裸眼立体視ディスプレイの遠近感覚測定への応用
- 表計算ソフトによるユーザインターフェース状態遷移仕様の表現とデジタルモックアップ用プラットフォームへの統合
- 形式的データ仕様記述言語EXPRESS(プロダクトモデルとCADデータ交換国際標準STEP)
- 製造プロセスの仕様記述とその利用に関する研究 -ワークセル内のプロセス仕様記述能力の比較評価-
- 情報機器プロトタイピングとユーザビリティ評価へのデジタルエンジニアリングの活用
- 対話的進化計算(IEC)を用いたデザインスケッチ画像の類似検索
- 組込みシステムの試作における挙動の代数的記述と動作検証
- EXPRESS/E2ダイナミックモデルを用いたFA制御対象モデルの挙動記述
- 自己複製プログラムと協調した探索プログラムの改良:第2報領域探索プログラムの自律的発展
- ヒストリーペースパラメトリックモデルの等価性証明に関する研究 : ソリッドモデルでの証明
- 作業履歴の等価性証明に関する研究 : ヒストリーベースパラメトリックモデルでの活用
- 作業分析モデルからの製品モデルの継承構造の導出
- 履歴情報の取り扱いを考慮したプロセスモデルの表現
- 形式的プロセス表現のCADシステム操作への応用
- 設計生産情報モデルの記述と表現に関する研究(第10報) -シミュレーションシステムの開発-
- 3階層スキーマ構造に基づく CAD データ交換
- タイルパターンデザインシステムの開発
- ユーザインターフェース仕様の検証機能のデジタルモックアップ用プラットフォームへの統合