2105 UML/Statechart 仕様に基づく FA 制御ソフトウエアのためのテスト自動化システム
スポンサーリンク
概要
- 論文の詳細を見る
Many kinds of FA control software have reactive and event-driven behaviors. These behaviors can be expressed as Statecharts : a finite state machine with hierarchical states and with guards of transitions. In this research, Statechart-based automated testing method on software for FA is proposed. Generation of test sequence for testing on state-transitions and of test data for testing on guard conditions could be fully automated from Statecharts, and critical error in implementation could be tested systematically. The practical application showed its effectiveness on efficiency and quality improvement in control software development process.
- 社団法人日本機械学会の論文
- 2002-03-26
著者
-
金井 理
北海道大学大学院情報科学研究科
-
山元 進
モトローラ(株)
-
戸村 豊明
旭川工業高等専門学校
-
上広 清
フリースケール・セミコンダクタ・ジャパン(株)
-
上広 清
モトローラ(株)
-
戸村 豊明
旭川高専
-
山元 進
モトローラ株式会社
-
上広 清
モトローラ株式会社
-
金井 理
北海道大
関連論文
- デジタルハンドとプロダクトモデルとの統合によるエルゴノミック評価システムの開発(第1報) : 製品の把持安定性仮想評価機能
- 1A1-N-036 デジタルハンドとプロダクトモデルとの統合によるアーゴデザイン支援システムの開発(第1報) : システム機能構成及び基本把持姿勢生成機能(ユニバーサルデザイン,生活を支援するロボメカ技術のメガインテグレーション)
- デジタルハンドモデルと3次元CADの統合(デジタルヒューマン技術とその工学的応用)
- Region Growing/Mergingを用いた効率的なメッシュセグメンテーション
- 1102 高密度X線CT計測モデルからのユークリッド対称性認識(OS1-1 ディジタル設計・試作)
- 広域的法線評価と改良Watershed法に基づくメッシュモデルの特徴稜線抽出手法(メディアと表現)
- 広域的法線評価と領域分けに基づく三角形メッシュモデルの特徴稜線抽出手法(S60-2 生産システムの新展開(2),S60 生産システムの新展開)
- 分散制御システムの動的挙動モデリングのためのオブジェクト指向デザインパターンに関する研究
- 分散制御システムの静的構造モデリングのためのオブジェクト指向デザインパターンに関する研究
- 2105 UML/Statechart 仕様に基づく FA 制御ソフトウエアのためのテスト自動化システム
- UMLとデザインパターンを利用したFA用分散制御ソフトウェアの迅速開発
- オブジェクト指向デザインパターンによる分散制御システムの構造のモデリング・
- デザインパターンに基づくDCS制御ノード用ソフトウエアの迅速開発
- 超分散システム制御ネットワークシミュレータを用いたビルオートメーション用制御ネットワークのモデリングと性能評価
- 超分散システムネットワークシミュレーター用モデル検証のための適合性試験法 : 並行サブ状態を含む状態遷移仕様の確認
- オブジェクト指向デザインパターンを活用した超分散システム制御ネットワークシミュレータ用デバイスモデルの迅速構築
- プラント制御対象モデルにおける状態遷移仕様の適合性試験に関する研究
- 超分散システム制御ネットワークシミュレータの開発(第2報) : 状態遷移仕様のデザインパターンを用い制御対象モデルの迅速開発
- 超分散システム制御ネットワークシミュレータの開発(第1報) : ネットワーク特性を考慮した統合シミュレーション手法
- 半導体生産自動化システムにおけるデザインパターンの具現化 SEMI CIM Framework インフォメーションモデルの適用
- 1304 HLAに基づくメカ・エレ・ソフト連携協調シミュレーションの研究(OS1 生産システムの設計・管理・評価)
- J-036 光線微分とメッシュモデル単純化を用いたレイトレーシング効率化(J分野:グラフィクス・画像)
- 任意形状凸多面体に対する重心座標を用いたメッシュモデルの形状変形に関する研究
- 1306 CAE効率化のための多重解像度メッシュモデリングシステム(OS1 生産システムの設計・管理・評価)
- 点群からの曲面生成手法
- 特徴稜線部への高精度フィッティングが可能な細分割曲面リバースエンジニアリング
- メッシュモデルによる表面テクスチャ付き形状設計支援システム(ビジュアルシミュレーション(2))
- 特徴稜線認識型メッシュスムージング手法の研究(メッシュ処理)
- メッシュモデルによる表面テクスチャ付き形状設計支援システム
- 特徴稜線認識型メッシュスムージング手法の研究
- 細分化と簡略化に基づく三角形メッシュの品質改善
- 多重解像度モデルを用いた解析メッシュ生成システムの開発(J03 CAD/CAE,J03 次世代のCAD/CAE)
- メッシュモデリングと光造形法を用いたテクスチャ付モデル試作システム(J20-2 デジタルエンジニアリングによる製品開発革新(2),J20 デジタルエンジニアリングによる製品開発革新)
- 複雑形状高密度測定点群に対する細分割曲面リバースエンジニアリング手法(S60-2 生産システムの新展開(2),S60 生産システムの新展開)
- メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用
- パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング
- メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用(デジタルエンジニアリングにおける大規模形状処理技術)
- B-spline Waveletを用いた点群からの細分割曲面モデル生成
- ISO19100に基づく Web-XML 型空間データベースの開発
- WEB-XML型分散資源環境データベースシステムの開発
- 資源環境時空間モデリングに関する研究(第1報) : 海洋生態系モデリングへの応用
- 4208 化学プロセス系製品向けCSR対応生産情報管理システムの開発(OS4 環境適応型知的人工システム)
- プロセスプランのペトリネット表現とそのカラー化によるスケジューリングへの応用
- プロセスプランのペトリネット表現とそのスケジューリングへの応用
- 製造プロセスの仕様記述とその利用に関する研究 -ワークセル内のプロセス仕様記述能力の比較評価-
- カオスニューラルネットワークの進化プログラミングによる学習
- I-055 局所平均差分の階層的四分木符号を特徴量とするカラー画像の類似検索 : 自然画像に対する検索性能評価(I分野:画像認識・メディア理解)
- I-043 局所平均の階層的符号化による類似判定(I.画像認識・メディア理解)
- 動画像動作認識の為の移動領域図形抽出 -フレーム間時間平均によるノイズ削減-
- ICPとリージョングローイングを組み合わせた機械部品計測メッシュのユークリッド対称性認識手法
- デジタルハンドとプロダクトモデルとの統合によるエルゴノミック評価システムの開発（第2報） : ─ 把持容易性評価機能および把持姿勢の最適化手法 ─
- 3324 3次元形状モデルを用いたMEMS工程設計システムの研究(S44 マイクロ・スケール・デジタル・エンジニアリング,21世紀地球環境革命の機械工学:人・マイクロナノ・エネルギー・環境)
- 1203 3次元形状モデルを用いたMEMS工程設計システムの研究(OS1-2 生産システムのディジタル化)
- 分散制御システムの並列離散事象シミュレーションのためのオブジェクト指向デザインパターンに関する研究
- J-028 UsiXMLに基づく情報機器ユーザインタフェースプロトタイピングとユーザビリティ評価(J分野:ヒューマンコミュニケーション&インタラクション)
- 情報機器プロトタイピングとユーザビリティ評価へのデジタルエンジニアリングの活用
- デジタル家電向けSTEPベースの形状・挙動モデル連携シミュレーションシステムの開発(J20-2 デジタルエンジニアリングによる製品開発革新(2),J20 デジタルエンジニアリングによる製品開発革新)
- Java3Dとデザインパターンに基づく分散制御システムの3次元協調シミュレーション
- デジタルエンジニアリングによる工業デザインプロセスの支援とその課題
- 大型鋳鍛造自動ケ引きシステムに関する研究(第3報) : システムの全体構造と実験結果
- RFID埋め込みインタフェースを利用した仮想・実体融合型デザインモックアップの研究(S54-2 設計支援手法・CAD/CAE(2),S54 設計支援手法・CAD/CAE)
- パラメタライゼーションを用いたメッシュ合成によるフィレット生成
- 3003 ウエーブレット変換による多重解像度解析に基づく自由曲面用中間加工形状モデルの自動設計(OS-3 生産の高度化技術)
- 表面詳細を含む設計対象のメッシュモデリングと多重解像度表現(コンテンツ制作のための形状処理と一般)
- Wavelet変換を用いたテクスチャマッピングされたポリゴンの合成型多重解像度表現とLOD制御(コンテンツ制作のための形状処理と一般)
- 形状保存パラメタライゼーションに基づく合成型多重解像度表現のためのポリゴンリメッシュ化手法
- 高精度設計対象表現の為の3次元のポリゴンモデルへの表面詳細幾何合成とその詳細度制御手法
- ウェーブレット変換を用いた多重解像度表現に基づくCAM用形状モデリング : 工具offset面を考慮した中間加工形状系列の加工性向上
- Wavalet変換による3次元ポリゴンデータとデジタル画像の合成型多重解像度表現に関する研究
- ウェーブレット変換に基づく3次元ポリゴンモデルへの「電子透かし」埋め込み
- ウェーブレット変換を用いた多重解像度表現に基づくCAM用形状モデリング-等高線加工用の多重解像度中間加工形状モデルの自動生成-
- ウェーブレット変換を用いた多重解像度表現に基づくCAM用形状モデリング
- 自由曲線の多重解像度近似における再帰分割法とウエーブレット変換法の相互関係
- ウェーブレット変換による3次元ポリゴンモデルへの「電子透かし」の埋め込み
- Voxel表現法の機械加工シミュレータへの応用
- 家電品分解・破砕・選別計画支援システムの開発 -(第2報) システム実装方法と各種家電品に対する適用例-
- 家電品分解・破砕・選別計画支援システムの開発(第一報) -製品構造モデル・プロセスモデルの表現と最適プロセスの導出法-
- 破砕・選別を含んだプロダクト・プロセスモデリング
- 分解・処理計画支援システムの開発 -分解・処理における製品情報表現とその変換規則-
- フィルタリングを用いた表面詳細を含むメッシュモデルの多重解像度化
- J-31 干渉判定のための多重解像度メッシュモデル生成に関する研究 : 局所解像度制御と干渉判定処理への適用(モデリング,J.グラフィクス・画像)
- フィルタリングとパラメタライゼーションに基づくメッシュモデルの表面詳細抽出と合成
- Waveletを用いた形状の多重精度近似表現とそのCAMシステムへの応用
- EXPRESS/E2ダイナミックモデルを用いたFA制御対象モデルの挙動記述
- VRMLによるデジタル作業マニュアルのモデル化と実装
- 北海道支部の近況
- D-4 ISO 19100地理空間データのSemanticWebでの利用に関する研究 : UML表現データモデルからRDF Schemaへの変換(Webコンテンツ処理,D.データベース)
- 【サイバーフィールド構築技術研究分科会】 サイバーフィールド構築技術の現状と展望
- オブジェクト指向デザインパターンに基づく分散制御シミュレータと実機との相関性検証(J22-2 センサ・アクチュエータシステムとその知能化(2),J22 センサ・アクチュエータシステムとその知能化-実環境で活躍するメカトロニクスを目指して)
- Java3Dとオブジェクト指向デザインパターンを用いた分散制御システムの視覚的挙動の検証
- UMLと参照モデルに基づく製造ステーションのシミュレーション用モデル開発方法論
- UMLの静的構造図と挙動図に基づいた製造ステーションモデル構築法とシミュレータへの実装
- アプリケーション非依存型の製造ステーションモデル構成法 -シミュレーションとプログラミングにおけるステーションモデル共有化メカニズム-
- Behavior Modelを含む生産セルのオブジェクトモデリングに関する研究
- 2P1-B19 NUIへの拡張現実感の応用
- FA制御対象のフレームワークに関する基礎研究
- FA制御ソフトウェアのラピッドプロトタイピング(第5報) -仕様図エディタを用いた制御プログラムの開発-
- FA制御ソフトウェアのラピッドプロトタイピング(第4報) -制御プログラム仕様記述から制御プログラムソースコードへの変換手法-
- FA制御ソフトウェアのラピッドプロトタイピング(第2報) -機器構成仕様及び作業仕様の分析と制御機器の動作仕様への分解-
- FA制御ソフトウェアのラビッドプロトタイピング(第1報) -OMTによるステーションコントローラモデルの構築-