JP2013073399A5 - - Google Patents

Download PDF

Info

Publication number
JP2013073399A5
JP2013073399A5 JP2011211598A JP2011211598A JP2013073399A5 JP 2013073399 A5 JP2013073399 A5 JP 2013073399A5 JP 2011211598 A JP2011211598 A JP 2011211598A JP 2011211598 A JP2011211598 A JP 2011211598A JP 2013073399 A5 JP2013073399 A5 JP 2013073399A5
Authority
JP
Japan
Prior art keywords
conveyance
error
history
execution position
transport
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2011211598A
Other languages
English (en)
Other versions
JP5753468B2 (ja
JP2013073399A (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2011211598A priority Critical patent/JP5753468B2/ja
Priority claimed from JP2011211598A external-priority patent/JP5753468B2/ja
Publication of JP2013073399A publication Critical patent/JP2013073399A/ja
Publication of JP2013073399A5 publication Critical patent/JP2013073399A5/ja
Application granted granted Critical
Publication of JP5753468B2 publication Critical patent/JP5753468B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Claims (9)

  1. 搬送装置の制御プログラムを実行して仮想搬送装置による搬送をシミュレーションし、該制御プログラムを検証するプログラム検証装置であって、
    前記シミュレーションの実行時に、前記制御プログラムの実行位置を示す実行位置情報の履歴をシミュレーション時刻と関連付けて記録する実行位置履歴記録手段と、
    前記シミュレーションの実行時に、前記仮想搬送装置における各構成要素の状態と被搬送体の位置を示す搬送状態情報の履歴をシミュレーション時刻と関連付けて記録する搬送履歴記録手段と、
    前記搬送履歴記録手段に記録された搬送状態情報の履歴から、搬送のエラー状態を示す搬送状態情報を検出するエラー状態検出手段と、
    前記実行位置履歴記録手段に記録された実行位置情報の履歴から、前記エラー状態検出手段で検出された搬送状態情報のシミュレーション時刻に対応する実行位置情報を検出するエラー位置検出手段と、
    を有することを特徴とするプログラム検証装置。
  2. さらに、前記エラー状態検出手段で検出された搬送状態情報と、前記エラー位置検出手段で検出された実行位置情報を関連付けて表示する表示手段
    を有することを特徴とする請求項1に記載のプログラム検証装置。
  3. さらに、搬送状態情報に対するエラー判定条件を保持するエラー判定条件記録手段を有し、
    前記エラー状態検出手段は、前記搬送履歴記録手段に記録された搬送状態情報の履歴から、前記エラー判定条件を満たす搬送状態情報を検出することを特徴とする請求項1または2に記載のプログラム検証装置。
  4. 前記エラー判定条件は、前記仮想搬送装置内の搬送経路の所定区間における前記被搬送体の搬送時間が、所定の制限時間を超える旨を示す条件を含むことを特徴とする請求項3に記載のプログラム検証装置。
  5. 前記エラー判定条件は、前記被搬送体の搬送終了時に前記仮想搬送装置における構成要素のいずれかが動作中である旨を示す条件を含むことを特徴とする請求項3に記載のプログラム検証装置。
  6. さらに、ユーザ指示に応じて前記エラー判定条件を入力する入力手段、
    を有することを特徴とする請求項3乃至5のいずれか1項に記載のプログラム検証装置。
  7. 前記仮想搬送装置における各構成要素として、前記仮想搬送装置内の搬送経路において前記被搬送体の到達を検知する仮想センサ、または該被搬送体を搬送する仮想ローラ対の少なくともいずれかを含むことを特徴とする請求項1乃至6のいずれか1項に記載のプログラム検証装置。
  8. 実行位置履歴記録手段、搬送履歴記録手段、エラー状態検出手段、およびエラー位置検出手段を有し、搬送装置の制御プログラムを実行して仮想搬送装置による搬送をシミュレーションし、該制御プログラムを検証するプログラム検証装置におけるプログラム検証方法であって、
    前記実行位置履歴記録手段が、前記シミュレーションの実行時に、前記制御プログラムの実行位置を示す実行位置情報の履歴をシミュレーション時刻と関連付けて記録し、
    前記搬送履歴記録手段が、前記シミュレーションの実行時に、前記仮想搬送装置における各構成要素の状態と被搬送体の位置を示す搬送状態情報の履歴をシミュレーション時刻と関連付けて記録し、
    前記エラー状態検出手段が、前記搬送履歴記録手段に記録された搬送状態情報の履歴から、搬送のエラー状態を示す搬送状態情報を検出し、
    前記エラー位置検出手段が、前記実行位置履歴記録手段に記録された実行位置情報の履歴から、前記エラー状態検出手段で検出された搬送状態情報のシミュレーション時刻に対応する実行位置情報を検出する
    ことを特徴とするプログラム検証方法。
  9. コンピュータ装置で実行されることにより、該コンピュータ装置を請求項1乃至7のいずれか1項に記載のプログラム検証装置の各手段として機能させるためのプログラム。
JP2011211598A 2011-09-27 2011-09-27 プログラム検証装置およびプログラム検証方法 Active JP5753468B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2011211598A JP5753468B2 (ja) 2011-09-27 2011-09-27 プログラム検証装置およびプログラム検証方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2011211598A JP5753468B2 (ja) 2011-09-27 2011-09-27 プログラム検証装置およびプログラム検証方法

Publications (3)

Publication Number Publication Date
JP2013073399A JP2013073399A (ja) 2013-04-22
JP2013073399A5 true JP2013073399A5 (ja) 2014-11-06
JP5753468B2 JP5753468B2 (ja) 2015-07-22

Family

ID=48477858

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011211598A Active JP5753468B2 (ja) 2011-09-27 2011-09-27 プログラム検証装置およびプログラム検証方法

Country Status (1)

Country Link
JP (1) JP5753468B2 (ja)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP7289636B2 (ja) * 2018-11-21 2023-06-12 キヤノン株式会社 情報処理装置、情報処理方法、及びプログラム
EP3805884A1 (de) * 2019-10-11 2021-04-14 Siemens Aktiengesellschaft Verfahren zur bestimmung und/oder klassifizierung eines bahnzustands einer warenbahn, computerprogrammprodukt, vorrichtung zur herstellung und industrielle anlage

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0981600A (ja) * 1995-09-19 1997-03-28 Toshiba Corp 機構設計支援方法およびこの方法を実施する装置
JP2006053783A (ja) * 2004-08-12 2006-02-23 Fuji Xerox Engineering Co Ltd 情報収集装置
JP2006344044A (ja) * 2005-06-09 2006-12-21 Canon Inc 設計支援装置、方法及びプログラムおよび記録媒体
JP2009120300A (ja) * 2007-11-13 2009-06-04 Canon Inc 検査支援方法及びプログラム

Similar Documents

Publication Publication Date Title
JP2011221821A5 (ja)
JP2016029601A5 (ja)
JP2015005182A5 (ja)
JP2015512106A5 (ja)
JP2016511487A5 (ja)
JP2012185841A5 (ja)
JP2008131311A5 (ja)
WO2012026730A3 (en) Method and apparatus for playing contents
JP2013191112A5 (ja)
JP2010146506A5 (ja) 入力装置、入力装置の制御方法、入力装置の制御プログラム、およびコンピュータ読取可能な記録媒体
JP2011134260A5 (ja)
JP2012043251A5 (ja)
JP2013030747A5 (ja) 基板処理装置、及び基板処理装置のデータ解析方法並びにプログラム
JP2012190215A5 (ja)
JP2013105461A5 (ja)
JP2017119080A5 (ja)
JP2013183352A5 (ja)
JP2013073399A5 (ja)
JP2015230693A5 (ja) 情報処理装置、情報処理方法、及びコンピュータプログラム
JP2014006781A5 (ja)
JP2011170783A5 (ja) 表示制御装置及び表示制御装置の制御方法
JP2011164949A5 (ja) 情報処理装置及びその制御方法
JP2014137675A5 (ja)
JP2016122143A5 (ja)
JP2014102580A5 (ja)