JP2010170339A - Information processor, information processing system, and control method therefor - Google Patents

Information processor, information processing system, and control method therefor Download PDF

Info

Publication number
JP2010170339A
JP2010170339A JP2009012339A JP2009012339A JP2010170339A JP 2010170339 A JP2010170339 A JP 2010170339A JP 2009012339 A JP2009012339 A JP 2009012339A JP 2009012339 A JP2009012339 A JP 2009012339A JP 2010170339 A JP2010170339 A JP 2010170339A
Authority
JP
Japan
Prior art keywords
simulation
image forming
timing
output
output value
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
JP2009012339A
Other languages
Japanese (ja)
Other versions
JP5305944B2 (en
JP2010170339A5 (en
Inventor
Aya Takagi
彩 高木
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Canon Inc
Original Assignee
Canon Inc
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Canon Inc filed Critical Canon Inc
Priority to JP2009012339A priority Critical patent/JP5305944B2/en
Publication of JP2010170339A publication Critical patent/JP2010170339A/en
Publication of JP2010170339A5 publication Critical patent/JP2010170339A5/ja
Application granted granted Critical
Publication of JP5305944B2 publication Critical patent/JP5305944B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

<P>PROBLEM TO BE SOLVED: To provide an information processor and an information processing system, which simulate an image forming apparatus forming an image on a sheet-shaped recording material, to verify the result. <P>SOLUTION: The information processor is configured to simulate the control operation of an image forming apparatus, and to specify a region on a sheet to which an image is formed by executing each image forming process, based on the simulation result, and to verify whether or not the region satisfies a predetermined criterion. <P>COPYRIGHT: (C)2010,JPO&INPIT

Description

本発明は、シート状の記録材に画像を形成する画像形成装置をシミュレーションし、その結果を検証する情報処理装置、情報処理システム及びそれらの制御方法に関するものである。   The present invention relates to an information processing apparatus, an information processing system, and a control method thereof for simulating an image forming apparatus that forms an image on a sheet-like recording material and verifying the result.

一般に、組み込み系システムである画像形成装置の設計過程において、その制御仕様に合わせて、画像形成装置に組み込む制御ソフトウェアが構築される。制御ソフトウェアを構築する際には、画像形成装置の実機が存在しない状態においても、構築した制御ソフトウェアを正当に評価できることが望ましい。そのため、コンピュータ等の情報処理装置上で制御ソフトウェアに関するシミュレーションを実行し、シミュレーション結果のログを検証することで、構築した制御ソフトウェアの正当性を評価する手法が提案されている。   In general, in the design process of an image forming apparatus that is an embedded system, control software to be incorporated into the image forming apparatus is constructed in accordance with the control specifications. When constructing the control software, it is desirable that the constructed control software can be legitimately evaluated even when there is no actual image forming apparatus. Therefore, a method for evaluating the validity of the constructed control software by executing a simulation related to the control software on an information processing apparatus such as a computer and verifying a log of the simulation result has been proposed.

例えば、特許文献１では、組み込み系システムの制御ソフトウェアをシミュレーションし、そのシミュレーションのログに基づき、当該制御ソフトウェアを評価するシミュレーション装置が提案されている。また、当該シミュレーション装置は、出力されたログについて、予め設定した期待値や、前回のシミュレーションの出力結果と比較することで、制御ソフトウェアの正当性を判定する機能を有する。
特開２００５−４９９４７号公報 For example, Patent Document 1 proposes a simulation apparatus that simulates control software of an embedded system and evaluates the control software based on the simulation log. In addition, the simulation apparatus has a function of determining the validity of the control software by comparing the output log with an expected value set in advance or an output result of the previous simulation.
JP 2005-49947 A

しかしながら、上述の従来技術には、以下のような問題がある。例えば、制御ソフトウェアの正当性を判定する際に、当該ソフトウェアによる制御のタイミングを考慮していないという問題がある。画像形成装置の制御動作に関するシミュレーションを実行する場合を想定すると、各画像形成プロセスの出力値のみが評価され、各々のプロセスの制御タイミングが評価されないことになる。その結果、画像形成プロセスの出力値が正当であっても、制御タイミングが正当でない場合には、記録材上の適切な位置に画像を形成できない問題が起こりうる。   However, the above-described conventional technology has the following problems. For example, when determining the legitimacy of the control software, there is a problem that the timing of control by the software is not considered. Assuming that a simulation related to the control operation of the image forming apparatus is executed, only the output value of each image forming process is evaluated, and the control timing of each process is not evaluated. As a result, even if the output value of the image forming process is valid, if the control timing is not valid, there is a problem that an image cannot be formed at an appropriate position on the recording material.

また、制御ソフトウェアの正当性の評価に必要なパラーメータの設定を、シミュレーション過程において変更する場合を想定していないという問題がある。例えば、画像形成装置において、記録材に連続的に画像形成を行う際に、途中で画像形成の条件を変更する場合に、その制御動作の正当性を適切に評価できないという問題がある。   In addition, there is a problem in that it is not assumed that parameter settings necessary for evaluating the validity of the control software are changed in the simulation process. For example, in an image forming apparatus, when image formation is continuously performed on a recording material, there is a problem in that the correctness of the control operation cannot be properly evaluated when image forming conditions are changed during the process.

本発明は、上述の問題に鑑みてなされたものであり、画像形成装置の制御動作に関するシミュレーションを実行し、当該制御動作の制御タイミングに基づいてシミュレーション結果を検証する情報処理装置及び情報処理システムを提供することを目的としている。   The present invention has been made in view of the above-described problems, and provides an information processing apparatus and an information processing system that execute a simulation related to a control operation of an image forming apparatus and verify a simulation result based on a control timing of the control operation. It is intended to provide.

本発明は、例えば、情報処理装置として実現できる。情報処理装置は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証手段は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、信号検出手段により、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、第１の特定手段により特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定手段と、第２の特定手段により特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定手段と、判定手段により、第２の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段とを備えることを特徴とする。   The present invention can be realized as an information processing apparatus, for example. An information processing apparatus includes a simulation unit that simulates a control operation of a plurality of loads included in an image forming apparatus that forms an image on a recording material, and a verification unit that verifies a simulation log by the simulation unit The simulation unit includes a first setting unit that sets an image forming condition in the image forming apparatus as a simulation condition, and a recording material conveyance timing to a transfer unit that transfers an image to the recording material based on the simulation condition. Simulation execution means for simulating a control operation for controlling each load of the image forming apparatus according to the above, and outputting an output value indicating the control state of each load in time series as a simulation log. The output value by the execution means was output In imming, the first reference for determining whether or not the processing for each load has been executed based on the output value, and whether or not the image forming area that is the position where the image is formed on the recording material are valid A second setting means for setting the second reference for determining whether the recording material reaches the transfer portion of the output value by referring to the time-series output value by the simulation execution means. When a signal is detected by a signal detection unit that detects a signal serving as a calculation reference, and when the signal detection unit detects the signal, the timing at which the recording material reaches the transfer portion is calculated, and when the load corresponds to each load at the calculated timing A first identification unit that refers to the output value of the series, determines whether each of the output values satisfies the first criterion, and identifies a period during which the process is executed in each load; Special by means And determining whether the image forming area specified by the second specifying means and the image forming area specified by the second specifying means satisfy the second reference based on the period of each load. When the determination means and the determination means determine that the second criterion is satisfied, the information indicating that the simulation result by the simulation means is valid is output, and the second criterion is not satisfied. And output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined.

本発明は、例えば、情報処理装置として実現できる。情報処理装置は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証手段は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出手段と、信号検出手段により、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出手段と、変化検出手段により出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定手段と、第１の判定手段による判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段とを備えることを特徴とする。   The present invention can be realized as an information processing apparatus, for example. An information processing apparatus includes a simulation unit that simulates a control operation of a plurality of loads included in an image forming apparatus that forms an image on a recording material, and a verification unit that verifies a simulation log by the simulation unit The simulation unit includes a first setting unit that sets an image forming condition in the image forming apparatus as a simulation condition, and a recording material conveyance timing to a transfer unit that transfers an image to the recording material based on the simulation condition. Simulation execution means for simulating a control operation for controlling each load of the image forming apparatus according to the above, and outputting an output value indicating the control state of each load in time series as a simulation log. The output value by the execution means was output In imming, when a change occurs in the output value of each load, a second setting means for setting a first reference for determining whether or not the timing of the change and the output value are valid When the vertical synchronization signal is detected by the signal detection means and the signal detection means among the output values with reference to the time-series output values by the simulation execution means, each load corresponds to each load. Change detection means for detecting a change in the output value with reference to the time-series output value, and the timing of the change and the output value each time a change in the output value is detected by the change detection means Are the first determination means for determining whether or not the first criterion is satisfied, the determination result by the first determination means, the timing of all changes in the time series of output values, and all the timings at each timing. Output Is determined to satisfy the first criterion, information indicating that the simulation result by the simulation means is valid is output, and the timing of any change in the time series of the output value or the relevant And output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined that the output value at the timing does not satisfy the first criterion.

本発明は、例えば、情報処理システムとして実現できる。情報処理システムは、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証装置は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、信号検出手段により、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、第１の特定手段により特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定手段と、第２の特定手段により特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定手段と、判定手段により、第２の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段とを備えることを特徴とする。   The present invention can be realized as an information processing system, for example. An information processing system includes a simulation device that simulates a control operation of a plurality of loads included in an image forming apparatus that forms an image on a recording material, and a verification device that verifies a simulation log by the simulation device The simulation apparatus includes a first setting unit that sets an image forming condition in the image forming apparatus as a simulation condition, and a conveyance timing of the recording material to a transfer unit that transfers an image to the recording material based on the simulation condition. Simulation execution means for simulating a control operation for controlling each load of the image forming apparatus in accordance with the output and outputting an output value indicating the control state of each load in time series as a simulation log. The output value by the execution means is output. The first reference for determining whether or not the processing at each load has been executed at the determined timing based on the output value and the image forming area that is the position where the image is formed on the recording material are valid. The second setting means for determining whether or not, the second setting means for setting, and the time-series output values by the simulation execution means, the recording material reaches the transfer portion of the output values When the signal is detected by the signal detection means that detects the timing calculation reference signal and the signal detection means, the timing at which the recording material reaches the transfer portion is calculated, and each load is supported at the calculated timing. A first specifying means for determining whether each of the output values satisfies the first standard, and specifying a period during which the processing is executed in each load; Means of identification Based on the period of each more specified load, a second specifying unit for specifying the image forming region and whether the image forming region specified by the second specifying unit satisfies the second criterion. When the determination means and the determination means determine that the second criterion is satisfied, the information indicating that the simulation result by the simulation device is valid is output and the second criterion is satisfied. And output means for outputting information indicating that the simulation result by the simulation means is not valid.

本発明は、例えば、情報処理システムとして実現できる。情報処理システムは、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証装置は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出手段と、信号検出手段により、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出手段と、変化検出手段により出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定手段と、第１の判定手段による判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段とを備えることを特徴とする。   The present invention can be realized as an information processing system, for example. An information processing system includes a simulation device that simulates a control operation of a plurality of loads included in an image forming apparatus that forms an image on a recording material, and a verification device that verifies a simulation log by the simulation device The simulation apparatus includes a first setting unit that sets an image forming condition in the image forming apparatus as a simulation condition, and a conveyance timing of the recording material to a transfer unit that transfers an image to the recording material based on the simulation condition. Simulation execution means for simulating a control operation for controlling each load of the image forming apparatus in accordance with the output and outputting an output value indicating the control state of each load in time series as a simulation log. The output value by the execution means is output. When a change occurs in the output value of each load at the determined timing, a second reference is set to determine whether the timing at which the change occurs and the output value are valid. With reference to the time series output values by the setting means and the simulation execution means, when the vertical synchronization signal is detected by the signal detection means and the signal detection means among the output values, each load is detected. With reference to the corresponding time-series output value, a change detection means for detecting that a change has occurred in the output value, and each time a change in the output value is detected by the change detection means, the timing of the change, A first determination unit that determines whether or not the output value satisfies the first criterion; a timing of all changes in the time series of the output value as a result of the determination by the first determination unit; and each timing All in When the output value is determined to satisfy the first criterion, information indicating that the simulation result by the simulation means is valid is output, and any change in the time series of the output value is output. Output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined that the timing or the output value at the timing does not satisfy the first criterion. .

本発明は、例えば、情報処理装置の制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証手段は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、信号検出ステップにより、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、第１の特定ステップにより特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定ステップと、第２の特定ステップにより特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定ステップと、判定ステップにより、第２の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップとを実行することを特徴とする。   The present invention can be realized as a method for controlling an information processing apparatus, for example. A control method includes: a simulation unit that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification unit that verifies a simulation log by the simulation unit. In the control method, the simulation means sets a first setting step for setting an image forming condition in the image forming apparatus as the simulation condition, and the recording material to the transfer unit that transfers the image to the recording material based on the simulation condition. A simulation operation step of simulating a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing, and outputting an output value indicating a control state of each load in time series as a simulation log, and a verification unit The simulation execution step A first reference for determining whether processing at each load has been executed based on the output value at the timing when the output value is output, and an image forming area that is a position where an image is formed on the recording material The second reference for determining whether or not is valid is referred to, the second setting step for setting, and the time-series output value by the simulation execution step, and the output value is recorded in the transfer unit When a signal is detected by a signal detection step for detecting a signal that serves as a calculation reference for the timing at which the material arrives, and the signal detection step, the timing at which the recording material reaches the transfer portion is calculated, and at the calculated timing, A first time for referring to time-series output values corresponding to each load, determining whether each of the output values satisfies the first criterion, and specifying a period during which processing is executed in each load The second specifying step for specifying the image forming area based on the specifying step, the period of each load specified by the first specifying step, and the image forming area specified by the second specifying step are the second If the determination step determines whether or not the second criterion is satisfied and the determination step determines that the second criterion is satisfied, information indicating that the simulation result by the simulation means is valid is output. However, when it is determined that the second criterion is not satisfied, an output step of outputting information indicating that the simulation result by the simulation unit is not valid is executed.

本発明は、例えば、情報処理装置の制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証手段は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出ステップと、信号検出ステップにより、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出ステップと、変化検出ステップにより出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定ステップと、第１の判定ステップによる判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップとを実行することを特徴とする。   The present invention can be realized as a method for controlling an information processing apparatus, for example. A control method includes: a simulation unit that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification unit that verifies a simulation log by the simulation unit. In the control method, the simulation means sets a first setting step for setting an image forming condition in the image forming apparatus as the simulation condition, and the recording material to the transfer unit that transfers the image to the recording material based on the simulation condition. A simulation operation step of simulating a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing, and outputting an output value indicating a control state of each load in time series as a simulation log, and a verification unit The simulation execution step When a change occurs in the output value of each load at the timing when the output value is output, a first reference is set for determining whether the timing at which the change occurs and the output value are valid. When the vertical synchronization signal is detected by the signal detection step of detecting the vertical synchronization signal and the signal detection step of the output value with reference to the time-series output values of the second setting step and the simulation execution step. , Referring to the time-series output value corresponding to each load, detecting a change in the output value, and whenever a change in the output value is detected by the change detection step, the change The first determination step for determining whether or not the timing and the output value satisfy the first criterion, and the result of determination by the first determination step, all of the output values in time series When it is determined that the change timing and all the output values at each timing satisfy the first standard, information indicating that the simulation result by the simulation means is valid is output, and the output value When it is determined that the timing of any change in the time series or the output value at the timing does not satisfy the first reference, output indicating that the simulation result by the simulation means is not valid And executing the step.

本発明は、例えば、情報処理システムの制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証装置は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、信号検出ステップにより、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、第１の特定ステップにより特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定ステップと、第２の特定ステップにより特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定ステップと、判定ステップにより、第２の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップとを実行することを特徴とする。   The present invention can be realized as a control method of an information processing system, for example. A control method includes: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus. A simulation method includes: a first setting step for setting an image forming condition in an image forming apparatus as a simulation condition; and a recording material to a transfer unit that transfers an image to the recording material based on the simulation condition. A simulation operation that controls each load of the image forming apparatus according to the conveyance timing is simulated, and a simulation execution step that outputs an output value indicating a control state of each load in time series is executed as a simulation log, and the verification apparatus The simulation execution step The first reference for determining whether or not the processing for each load has been executed at the timing when the output value is output, and image formation that is the position where the image is formed on the recording material The second reference for determining whether the region is valid or not, the second setting step for setting, and the time-series output value by the simulation execution step are referred to. A signal detection step for detecting a signal that serves as a calculation reference for the timing at which the recording material arrives, and when the signal is detected by the signal detection step, the timing at which the recording material reaches the transfer portion is calculated. Referring to the time-series output values corresponding to each load, determine whether each of the output values satisfies the first standard, and specify the period during which the process was executed in each load A first specifying step, a second specifying step for specifying an image forming area based on a period of each load specified by the first specifying step, and an image forming area specified by the second specifying step, A determination step for determining whether or not the second criterion is satisfied, and information indicating that the simulation result by the simulation device is valid when the determination step determines that the second criterion is satisfied. Is output, and when it is determined that the second criterion is not satisfied, an output step of outputting information indicating that the simulation result by the simulation unit is not valid is executed.

本発明は、例えば、情報処理システムの制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証装置は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出ステップと、信号検出ステップにより、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出ステップと、変化検出ステップにより出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定ステップと、第１の判定ステップによる判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップとを実行することを特徴とする。   The present invention can be realized as a control method of an information processing system, for example. A control method includes: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus. A simulation method includes: a first setting step for setting an image forming condition in an image forming apparatus as a simulation condition; and a recording material to a transfer unit that transfers an image to the recording material based on the simulation condition. A simulation operation that controls each load of the image forming apparatus according to the conveyance timing is simulated, and a simulation execution step that outputs an output value indicating a control state of each load in time series is executed as a simulation log, and the verification apparatus The simulation execution step When a change occurs in the output value of each load at the timing at which the output value is output, the first criterion for determining whether the timing at which the change has occurred and the output value is valid is used. A vertical synchronization signal is detected by a signal detection step of detecting a vertical synchronization signal and a signal detection step of the output value with reference to a second setting step to be set and a time-series output value by the simulation execution step. And a time series output value corresponding to each load, a change detecting step for detecting that the output value has changed, and a change in the output value detected by the change detecting step, A first determination step for determining whether the timing of the change and the output value satisfy the first criterion; and, as a result of determination by the first determination step, When it is determined that the timing of each change and all the output values at each timing satisfy the first standard, information indicating that the simulation result by the simulation means is valid is output, When it is determined that the timing of any change in the time series of the output value or the output value at the timing does not satisfy the first standard, information indicating that the simulation result by the simulation means is invalid is output. And performing an output step.

本発明によれば、例えば、画像形成装置の制御動作に関するシミュレーションを実行し、当該制御動作の制御タイミングに基づいてシミュレーション結果を検証可能な情報処理装置及び情報処理システムを提供できる。また、本発明は、検証に必要な設定を、検証過程で任意に変更可能な情報処理装置及び情報処理システムを提供できる。   According to the present invention, for example, it is possible to provide an information processing apparatus and an information processing system capable of executing a simulation related to a control operation of an image forming apparatus and verifying a simulation result based on a control timing of the control operation. Furthermore, the present invention can provide an information processing apparatus and an information processing system that can arbitrarily change settings necessary for verification in the verification process.

以下に本発明の一実施形態を示す。以下で説明される実施形態は、本発明の上位概念、中位概念及び下位概念など種々の概念を理解するために役立つであろう。また、本発明の技術的範囲は、特許請求の範囲によって確定されるのであって、以下の実施形態によって限定されるわけではない。   An embodiment of the present invention is shown below. The embodiments described below will help to understand various concepts such as the superordinate concept, intermediate concept and subordinate concept of the present invention. Further, the technical scope of the present invention is determined by the scope of the claims, and is not limited by the following embodiments.

＜第１の実施形態＞
＜シミュレーション対象の画像形成装置の全体構成＞
以下では、図１乃至図１４、及び図２６を参照して、本発明における第１の実施形態について説明する。 <First Embodiment>
<Overall configuration of image forming apparatus to be simulated>
The first embodiment of the present invention will be described below with reference to FIGS. 1 to 14 and FIG.

まず、図１４を参照して、本実施形態に係る情報処理装置による計算機シミュレーションの対象となる画像形成装置について説明する。レーザビームプリンタ等の画像形成装置は、画像信号に従ってトナー像を形成し、シート状の記録材（用紙）１１上に当該トナー像を転写することで、画像形成を行う。画像形成装置は、画像形成処理において、露光、現像、転写、及び定着といった複数の画像形成プロセスを順次実行する。   First, an image forming apparatus that is a target of computer simulation by the information processing apparatus according to the present embodiment will be described with reference to FIG. An image forming apparatus such as a laser beam printer forms a toner image in accordance with an image signal, and forms the image by transferring the toner image onto a sheet-like recording material (paper) 11. The image forming apparatus sequentially executes a plurality of image forming processes such as exposure, development, transfer, and fixing in an image forming process.

図１４は、本実施形態におけるシミュレーションの対象となる画像形成装置の構成例を示す図である。画像形成装置は、インライン系の画像形成装置であって、シアン、マゼンタ、イエロー、及びブラックの各色のトナー像を形成する４個の像担持体である感光ドラム３ａ〜３ｄを備える。感光ドラム３ａ〜３ｄは、ドラム状の電子写真感光体であって、各々の表面に、正規の帯電極性が負極性のトナー像が形成される。感光ドラム３ａ〜３ｄの周囲には、帯電ローラ４ａ〜４ｄと現像器８ａ〜８ｄとが配置され、これらは一体としてプロセスカートリッジ６ａ〜６ｄに備えられる。また、感光ドラム３ａ〜３ｄの上方には、露光部５ａ〜５ｄが配置され、下方には中間転写体である中間転写ベルト（以下では、「ＩＴＢ」と称する。）２が配置される。ローラ２１、２３、２４、及び一次転写ローラ２２ａ〜２２ｄの周囲に張設されるＩＴＢ２は、ローラ２１により駆動され、感光ドラム３ａ〜３ｄと略同速で矢印方向に回転される。以下では、当該画像形成装置における画像形成の流れについて説明する。   FIG. 14 is a diagram illustrating a configuration example of an image forming apparatus to be simulated in the present embodiment. The image forming apparatus is an in-line image forming apparatus, and includes photosensitive drums 3a to 3d that are four image carriers that form toner images of cyan, magenta, yellow, and black. Each of the photosensitive drums 3a to 3d is a drum-shaped electrophotographic photosensitive member, and a toner image having a normal charging polarity and a negative polarity is formed on each surface. Around the photosensitive drums 3a to 3d, charging rollers 4a to 4d and developing devices 8a to 8d are arranged, and these are integrally provided in the process cartridges 6a to 6d. Exposure units 5a to 5d are disposed above the photosensitive drums 3a to 3d, and an intermediate transfer belt (hereinafter referred to as “ITB”) 2 serving as an intermediate transfer member is disposed below the photosensitive drums 3a to 3d. The ITB 2 stretched around the rollers 21, 23 and 24 and the primary transfer rollers 22a to 22d is driven by the roller 21 and rotated in the direction of the arrow at substantially the same speed as the photosensitive drums 3a to 3d. Hereinafter, the flow of image formation in the image forming apparatus will be described.

感光ドラム３ａ〜３ｄは、接触する帯電ローラ４ａ〜４ｄによって負極性に帯電される。帯電した感光ドラム３ａ〜３ｄに対し、露光部５ａ〜５ｄは、色分解された画像信号に基づいて各色の光像を露光する。これにより、感光ドラム３ａ〜３ｄの表面に、各色の潜像が形成される。各潜像は、現像器８ａ〜８ｄによって反転現像され、各色のトナー像が感光ドラム３ａ〜３ｄの表面に順次形成される。感光ドラム３ａ〜３ｄ上の各色のトナー像は、一次転写ローラ２２ａ〜２２ｄに印加される一次転写バイアス（正極性の電圧）によって、ＩＴＢ２の外周面に対して順次、静電的に一次転写される。その結果、ＩＴＢ２上には複数色のトナー像が重畳的に形成される。   The photosensitive drums 3a to 3d are negatively charged by the charging rollers 4a to 4d that are in contact with each other. For the charged photosensitive drums 3a to 3d, the exposure units 5a to 5d expose light images of respective colors based on the color-separated image signals. Thereby, latent images of the respective colors are formed on the surfaces of the photosensitive drums 3a to 3d. Each latent image is reversely developed by the developing devices 8a to 8d, and toner images of respective colors are sequentially formed on the surfaces of the photosensitive drums 3a to 3d. The toner images of the respective colors on the photosensitive drums 3a to 3d are sequentially primary transferred electrostatically to the outer peripheral surface of the ITB 2 by a primary transfer bias (positive voltage) applied to the primary transfer rollers 22a to 22d. The As a result, toner images of a plurality of colors are formed on the ITB 2 in a superimposed manner.

次に、ピックアップローラ１２によって用紙格納カセット１３内から用紙１１が給紙され、レジストセンサ１５に到達して停止する。その後、用紙１１は、所定のタイミングにおいて、レジストローラ１４によって転写部へ給紙される。それと同時に、二次転写ローラ７に二次転写バイアス（正極性の電圧）が印加されることにより、ＩＴＢ２から用紙１１へトナー像が静電的に転写される。用紙１１は、レジストローラ１４及び二次転写ローラ７によって定着部１０まで搬送され、転写されたトナー像が溶融固着される。以上により、用紙１１上にカラー画像が形成される。   Next, the paper 11 is fed from the paper storage cassette 13 by the pickup roller 12, reaches the registration sensor 15, and stops. Thereafter, the sheet 11 is fed to the transfer unit by the registration roller 14 at a predetermined timing. At the same time, a secondary transfer bias (positive voltage) is applied to the secondary transfer roller 7, whereby the toner image is electrostatically transferred from the ITB 2 to the paper 11. The sheet 11 is conveyed to the fixing unit 10 by the registration roller 14 and the secondary transfer roller 7, and the transferred toner image is melted and fixed. Thus, a color image is formed on the paper 11.

本実施形態に係る情報処理装置は、上述のような画像形成装置の制御動作に関するシミュレーションを実行し、当該シミュレーション結果の正当性について、制御タイミングの検証を含む検証処理を実行する。さらに、当該シミュレーションに基づく画像形成装置の制御動作の正当性に関する情報を出力する。   The information processing apparatus according to the present embodiment executes the simulation related to the control operation of the image forming apparatus as described above, and executes verification processing including verification of control timing for the validity of the simulation result. Further, information on the validity of the control operation of the image forming apparatus based on the simulation is output.

＜情報処理装置の概略構成＞
図１は、第１の実施形態に係る情報処理装置の構成例を示す図である。情報処理装置１００は、パーソナルコンピュータ、ワークステーション等により実現できる。中央処理装置（ＣＰＵ）１０１は、バス１２０を介して１０２〜１０９の装置に対してアクセスし、それらを制御する。ＲＯＭ１０２は、ＣＰＵ１０１からバス１２０を介してアクセス可能な読み出し専用メモリである。ＲＡＭ１０３は、読み書き可能なメモリである。入力インタフェース１０４は、キーボード、マウス、タブレット等の入力装置１０５を介してユーザからの入力を受け付ける。出力インタフェース１０６は、出力装置１０７に対してデータの表示や出力を行うためのインタフェースである。出力装置１０７は、ＣＲＴ、ＬＣＤ等の表示装置１０７ａ、プリンタ、プロッタ等の出力装置１０７ｂを含む。外部記憶インタフェース１０８は、ハードディスク１０９や、ＦＤ、ＣＤ-ＲＯＭ、ＭＯ、ＣＦといった外部記憶装置１１０に対するデータの入出力を行うインタフェースである。ハードディスク１０９は、画像形成プロセスの検証機能を実現する処理プログラム１０９ａ、画像形成プロセスの検証の対象となる機器の情報を含む各種の設定データ１０９ｂ、及びファームウェア１０９ｃを格納する。 <Schematic configuration of information processing apparatus>
FIG. 1 is a diagram illustrating a configuration example of the information processing apparatus according to the first embodiment. The information processing apparatus 100 can be realized by a personal computer, a workstation, or the like. The central processing unit (CPU) 101 accesses the devices 102 to 109 via the bus 120 and controls them. The ROM 102 is a read-only memory that can be accessed from the CPU 101 via the bus 120. The RAM 103 is a readable / writable memory. The input interface 104 receives input from the user via the input device 105 such as a keyboard, a mouse, or a tablet. The output interface 106 is an interface for displaying and outputting data to the output device 107. The output device 107 includes a display device 107a such as a CRT or LCD, and an output device 107b such as a printer or a plotter. The external storage interface 108 is an interface for inputting / outputting data to / from the external storage device 110 such as the hard disk 109, FD, CD-ROM, MO, CF. The hard disk 109 stores a processing program 109a for realizing an image forming process verification function, various setting data 109b including information on a device to be verified for the image forming process, and firmware 109c.

画像形成プロセスの検証処理の際には、処理プログラム１０９ａ、設定データ１０９ｂ、及びファームウェア１０９ｃがＲＡＭ１０３にロードされ、情報処理装置１００のＣＰＵ１０１によってプログラムが実行される。   In the verification process of the image forming process, the processing program 109a, the setting data 109b, and the firmware 109c are loaded into the RAM 103, and the program is executed by the CPU 101 of the information processing apparatus 100.

情報処理装置１００において、本実施形態に係るシミュレーション及び検証処理は、基本プログラムであるオペレーティング・システム（ＯＳ）を介して実行される。以下、本実施形態では、情報処理装置１００のＯＳとしてマイクロソフト（登録商標）社製のウィンドウズ（登録商標）を例に説明するが、本発明はこれに限定されるものではない。   In the information processing apparatus 100, the simulation and verification processing according to the present embodiment is executed via an operating system (OS) that is a basic program. Hereinafter, in this embodiment, Windows (registered trademark) manufactured by Microsoft (registered trademark) is described as an example of the OS of the information processing apparatus 100, but the present invention is not limited to this.

＜情報処理装置の機能構成＞
図２は、第１の実施形態に係る情報処理装置の機能構成例を示す図である。情報処理装置１００は、画像形成装置における制御動作のシミュレーションを行うシミュレーション部２００と、当該シミュレーション結果を検証する検証部２１０とを、機能モジュールとして有する。以下では、情報処理装置１００の各部の機能を説明するとともに、本実施形態に係るシミュレーション及び検証処理について説明する。なお、ここでは、シミュレーション部２００と検証部２１０とを備える情報処理装置１００として説明するが、本発明は、シミュレーション装置及び検証装置を備える情報処理システムとしても実現できる。 <Functional configuration of information processing apparatus>
FIG. 2 is a diagram illustrating a functional configuration example of the information processing apparatus according to the first embodiment. The information processing apparatus 100 includes, as functional modules, a simulation unit 200 that performs a simulation of a control operation in the image forming apparatus and a verification unit 210 that verifies the simulation result. Below, while explaining the function of each part of information processor 100, the simulation and verification processing concerning this embodiment are explained. In addition, although demonstrated as the information processing apparatus 100 provided with the simulation part 200 and the verification part 210 here, this invention is realizable also as an information processing system provided with a simulation apparatus and a verification apparatus.

情報処理装置１００は、画像形成装置における制御動作のシミュレーションを開始する際に、ユーザによって入力された画像形成条件を、シミュレーション部２００へ入力する。画像形成条件には、用紙サイズ、印刷枚数、カラー画像かモノクロ画像か、片面印刷か両面印刷か、外気温等の種々の情報が含まれる。   When the information processing apparatus 100 starts a simulation of a control operation in the image forming apparatus, the information processing apparatus 100 inputs the image forming conditions input by the user to the simulation unit 200. The image forming conditions include various information such as paper size, number of printed sheets, color image or monochrome image, single-sided printing or double-sided printing, and outside air temperature.

シミュレーション部２００は、入力された画像形成条件を、シミュレーション条件として設定する。なお、当該処理は第１の設定手段による処理に相当する。シミュレーション部２００は、ＣＰＵシミュレータ２０１と外的要因シミュレータ２０２とを含み、シミュレーション条件に従って画像形成装置のシミュレーションを実行する。ＣＰＵシミュレータ２０１は、画像形成装置のＣＰＵへ実際に搭載される制御ソフトウェアを用いて、シミュレーションを実行する。外的要因シミュレータ２０２は、画像形成処理における各々の各負荷（画像形成プロセス）をシミュレーションする。また、外的要因シミュレータ２０２は、ＣＰＵシミュレータ２０１が実機と同様に動作可能なように、各プロセスの出力信号をＣＰＵシミュレータ２０１に対して出力する。具体的には、外的要因シミュレータ２０２は、ＣＰＵシミュレータ２０１からの出力に合わせて、用紙検出センサや駆動アクチュエータ等の出力信号をＣＰＵシミュレータ２０１へ出力する。シミュレーション部２００は、当該シミュレーションのログとして、各プロセスの制御状態を示す出力値を時系列に出力し、ファイルに保存する。出力されたログ（以下では、「タイミングログ」と称する。）は、検証部２１０へ出力され、シミュレーション結果の検証処理に使用される。なお、シミュレーション部２００におけるシミュレーションは、シミュレーション実行手段による処理に相当する。   The simulation unit 200 sets the input image forming conditions as simulation conditions. This process corresponds to the process by the first setting means. The simulation unit 200 includes a CPU simulator 201 and an external factor simulator 202, and executes a simulation of the image forming apparatus according to simulation conditions. The CPU simulator 201 executes simulation using control software that is actually mounted on the CPU of the image forming apparatus. The external factor simulator 202 simulates each load (image forming process) in the image forming process. The external factor simulator 202 outputs an output signal of each process to the CPU simulator 201 so that the CPU simulator 201 can operate in the same manner as the actual machine. Specifically, the external factor simulator 202 outputs output signals from a paper detection sensor, a drive actuator, and the like to the CPU simulator 201 in accordance with the output from the CPU simulator 201. The simulation unit 200 outputs an output value indicating the control state of each process in time series as a log of the simulation, and stores it in a file. The output log (hereinafter referred to as “timing log”) is output to the verification unit 210 and used for the simulation result verification process. Note that the simulation in the simulation unit 200 corresponds to processing by a simulation execution unit.

検証部２１０は、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。また、解析部２１４は、単一プロセス解析部２１５、及び複合プロセス解析部２１６を含む。検証部２１０は、シミュレーション部２００のシミュレーション結果であるタイミングログを、検証対象の情報として入力する。以下では、検証部２１０の各構成要素の機能について説明する。   The verification unit 210 includes a user setting unit 211, a setting information storage unit 212, an input information storage unit 213, an analysis unit 214, and a determination unit 217. The analysis unit 214 includes a single process analysis unit 215 and a composite process analysis unit 216. The verification unit 210 inputs a timing log that is a simulation result of the simulation unit 200 as information to be verified. Below, the function of each component of the verification unit 210 will be described.

ユーザ設定部２１１は、タイミングログ、用紙サイズ、速度、画像形成プロセス位置、画像形成プロセス判定条件、及び基準画像領域といった、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定された各設定データは、設定情報格納部２１２へ格納される。ここで、図３乃至図８を参照して、ユーザ設定部２１１において設定される各設定データについて説明する。なお、図３乃至図８では、図２で図示しない情報処理装置の表示部に表示される各設定画面を示している。なお、ユーザ設定部２１１における処理は、第２の設定手段による処理に相当する。   The user setting unit 211 functions as an interface for a user to set data necessary for verification of a simulation result, such as a timing log, a sheet size, a speed, an image forming process position, an image forming process determination condition, and a reference image area. . Each setting data set in the user setting unit 211 is stored in the setting information storage unit 212. Here, each setting data set in the user setting unit 211 will be described with reference to FIGS. 3 to 8. 3 to 8 show setting screens displayed on the display unit of the information processing apparatus (not shown in FIG. 2). The process in the user setting unit 211 corresponds to the process by the second setting unit.

図３は、第１の実施形態に係る、検証部２１０へ与えられるタイミングログファイルと、搬送される用紙の先端をタイミングログから検出するための基準信号とを設定するための設定画面の一例を示す図である。タイミングログファイルは、シミュレーション部２００において所定のフォーマットで生成される。当該ファイルには、各プロセスにおける事象の発生や状態等を示す数値が時系列のログとして記述されている。なお、既存の実機を用いることにより、タイミングログファイルを生成することも可能である。図３の設定画面では、検証部２１０において検証対象とするファイルを選択する。また、当該ファイルとともに選択された基準信号は、用紙の先端を検出するための基準となる信号であって、検証部２１０において時系列のタイミングログを検証するための基準となる。図３に示すように、本実施形態では、二次転写部における用紙検出信号を基準信号として選択する。用紙検出信号は、形成された画像が用紙に転写される二次転写部において、用紙が検出された場合に出力される信号である。なお、基準信号として、垂直同期信号（以下では、「／ＴＯＰ信号」と称する。）を選択することも可能である。   FIG. 3 shows an example of a setting screen for setting a timing log file given to the verification unit 210 and a reference signal for detecting the leading edge of the conveyed paper from the timing log according to the first embodiment. FIG. The timing log file is generated in a predetermined format in the simulation unit 200. In the file, numerical values indicating the occurrence and state of events in each process are described as a time series log. Note that a timing log file can be generated by using an existing real machine. In the setting screen of FIG. 3, the verification unit 210 selects a file to be verified. The reference signal selected together with the file is a signal that serves as a reference for detecting the leading edge of the paper, and serves as a reference for verifying the time-series timing log in the verification unit 210. As shown in FIG. 3, in this embodiment, the paper detection signal in the secondary transfer unit is selected as the reference signal. The paper detection signal is a signal that is output when a paper is detected in a secondary transfer unit where a formed image is transferred to the paper. As a reference signal, a vertical synchronization signal (hereinafter referred to as “/ TOP signal”) can be selected.

図４は、第１の実施形態に係る、シミュレーションに用いられた用紙サイズを設定するための設定画面の一例を示す図である。ここで指定される用紙サイズは、シミュレーションにおける画像形成処理の正当性に関する判定に用いられる。なお、外部からの入力信号に基づいて、自動的に用紙サイズを検知することも可能である。   FIG. 4 is a diagram illustrating an example of a setting screen for setting the paper size used in the simulation according to the first embodiment. The paper size specified here is used for determination regarding the validity of the image forming process in the simulation. It is also possible to automatically detect the paper size based on an external input signal.

図５は、第１の実施形態に係る、各画像形成プロセスの実行に基づいて形成された画像が各処理部から転写部まで搬送される際の搬送速度（以下では、「プロセス搬送速度」と称する。）と、用紙が転写部まで搬送される際の搬送速度（以下では、「用紙搬送速度」と称する。）とを設定するための設定画面の一例を示す図である。画像形成装置は、画像形成を行う際の条件によって、プロセス搬送速度と用紙搬送速度とを任意に変更することができる。例えば、画像形成装置は、通常よりも厚い用紙に対して印刷する場合には、画像の定着に必要な熱量が通常よりも増加するため、両速度を落として画像形成を行う。検証部２１０における検証に際し、ユーザはシミュレーションに用いた速度を図５の設定画面において設定する。なお、画像形成プロセスごとに異なるプロセス搬送速度を設定することも可能である。後述するように、ここでの設定データは、各画像形成プロセスによって処理された画像が、用紙上で転写される位置を計算するために用いられる。   FIG. 5 illustrates a conveyance speed (hereinafter referred to as “process conveyance speed”) when an image formed based on execution of each image forming process according to the first embodiment is conveyed from each processing unit to the transfer unit. And a conveyance speed when the sheet is conveyed to the transfer unit (hereinafter referred to as “sheet conveyance speed”). The image forming apparatus can arbitrarily change the process transport speed and the paper transport speed according to the conditions for image formation. For example, when printing on a thicker sheet than usual, the image forming apparatus performs image formation at a lower speed because both the amount of heat required for fixing the image increases than usual. At the time of verification in the verification unit 210, the user sets the speed used for the simulation on the setting screen of FIG. It is possible to set a different process conveyance speed for each image forming process. As will be described later, the setting data here is used to calculate the position where the image processed by each image forming process is transferred on the paper.

図６は、第１の実施形態に係る、基準位置から各画像形成プロセスの処理が行われる位置までの距離を設定するための設定画面の一例を示す図である。本実施形態では、二次転写部の位置を基準位置とする。当該距離は、画像形成装置において、各画像形成プロセスが実行された後、当該プロセスの実行に基づいて形成された画像が各処理を経て二次転写部に到達するまでの物理的な距離を表す。なお、各画像形成プロセスが実行される各処理部の位置は、画像形成装置の構造によって異なる。従って、ユーザは、シミュレーション部２００で模擬した画像形成装置の構造に基づいて、当該距離を設定する必要がある。   FIG. 6 is a diagram illustrating an example of a setting screen for setting a distance from a reference position to a position where each image forming process is performed according to the first embodiment. In this embodiment, the position of the secondary transfer portion is set as a reference position. The distance represents a physical distance from the time when each image forming process is executed in the image forming apparatus to the time when an image formed based on the execution of the process reaches the secondary transfer unit through each process. . Note that the position of each processing unit in which each image forming process is executed differs depending on the structure of the image forming apparatus. Therefore, the user needs to set the distance based on the structure of the image forming apparatus simulated by the simulation unit 200.

図７は、第１の実施形態に係る、各画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。この判定条件値は、各画像形成プロセスが実行されたか否かをタイミングログにおける出力値に基づいて判定するための、第１の基準に相当する。タイミングログにおける検証対象の画像形成プロセスの出力値が図７に示す条件を満たす場合には、当該プロセスは実行中であると判定される。   FIG. 7 is a diagram illustrating an example of a setting screen for setting conditions used for determining whether or not each image forming process is being executed according to the first embodiment. This determination condition value corresponds to a first reference for determining whether or not each image forming process has been executed based on the output value in the timing log. If the output value of the image forming process to be verified in the timing log satisfies the condition shown in FIG. 7, it is determined that the process is being executed.

図８は、第１の実施形態に係る、各画像形成プロセスにより形成された画像が用紙上で転写される位置の許容範囲を設定するための設定画面の一例を示す図である。後述するように、本実施形態では、図８で設定した設定値が各画像形成プロセスの正当性を判断する基準として用いられる。具体的には、用紙の搬送方向に対する形成された画像の先端及び後端の位置が、図８に示すように、用紙の先端及び後端から所定の範囲（以下では、「基準画像領域」と称する。）にある場合、最終的に、シミュレーション結果が正当であることを示す情報が出力される。なお、当該基準は、用紙上（記録材上）で画像が形成される位置が正当であるか否かを判定するための第２の基準に相当する。   FIG. 8 is a diagram illustrating an example of a setting screen for setting an allowable range of a position where an image formed by each image forming process is transferred on a sheet according to the first embodiment. As will be described later, in this embodiment, the set value set in FIG. 8 is used as a reference for determining the validity of each image forming process. Specifically, as shown in FIG. 8, the positions of the leading and trailing edges of the formed image with respect to the paper transport direction are within a predetermined range from the leading and trailing edges of the paper (hereinafter referred to as “reference image region”). In the case of the above, finally, information indicating that the simulation result is valid is output. Note that this criterion corresponds to a second criterion for determining whether or not the position where an image is formed on a sheet (on a recording material) is valid.

以上のように、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、設定情報格納部２１２へ格納される。また、シミュレーション部２００から出力され、検証部２１０へ入力されたタイミングログは、入力情報格納部２１３へ格納される。解析部２１４は、入力情報格納部２１３へ格納されたタイミングログと、設定情報格納部２１２へ格納された設定データとを用いて、シミュレーション結果を解析する。   As described above, the setting value set by the user setting unit 211 using each setting screen is stored in the setting information storage unit 212. The timing log output from the simulation unit 200 and input to the verification unit 210 is stored in the input information storage unit 213. The analysis unit 214 analyzes the simulation result using the timing log stored in the input information storage unit 213 and the setting data stored in the setting information storage unit 212.

解析部２１４の単一プロセス解析部２１５は、各画像形成プロセスの出力値の時系列について解析する。単一プロセス解析部２１５は、まず、タイミングログにおける各画像形成プロセスの出力値の時系列を参照し、各出力値が図７で設定した条件を判定の基準として、当該基準を満たすか否かを判定する。これにより、各画像形成プロセスにおいて、プロセスが実行された期間を特定する。なお、単一プロセス解析部２１５における当該処理は、第１の特定手段による処理に相当する。   A single process analysis unit 215 of the analysis unit 214 analyzes a time series of output values of each image forming process. First, the single process analysis unit 215 refers to the time series of output values of each image forming process in the timing log, and determines whether each output value satisfies the criteria set by the conditions set in FIG. Determine. Thereby, in each image forming process, the period during which the process is executed is specified. Note that the processing in the single process analysis unit 215 corresponds to processing by the first specifying unit.

ここで、図９は、第１の実施形態に係る、単一の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。図９において、画像形成プロセスＡは、ＴＡ１からＴＡ２の間で、設定した判定条件を満たし、許容される期間で実行されていることがわかる。当該期間におけるプロセスの実行に基づいて形成された画像は、所定の搬送時間ΔＴＡ後の、ＴＡ１’からＴＡ２’の間で転写部へ到達する。なお、搬送時間ΔＴＡは、画像形成プロセスＡの処理部の位置と二次転写部との間の距離ＬＡ、及びプロセス搬送速度ＶＡに基づき、ΔＴＡ＝（ＬＡ／ＶＡ）によって求められる。さらに、図９において、用紙検出信号による信号検出の結果、Ｔ１からＴ２の間で、二次転写部に用紙が存在している。従って、図９に示すように、ＴＡ１からＴＡ２の間のプロセスの実行に基づいて形成された画像は、用紙上に転写されることになる。このように、画像形成装置は、形成した画像を用紙に対して転写するタイミングに合わせて各画像形成プロセスを各々実行する。   Here, FIG. 9 is a diagram illustrating a relationship between the execution timing in the single image forming process and the sheet detection timing based on the sheet detection signal according to the first embodiment. In FIG. 9, it can be seen that the image forming process A is performed within an allowable period between TA1 and TA2 that satisfies the set determination condition. An image formed based on the execution of the process in this period reaches the transfer section between TA1 'and TA2' after a predetermined transport time ΔTA. The conveyance time ΔTA is obtained by ΔTA = (LA / VA) based on the distance LA between the processing unit position of the image forming process A and the secondary transfer unit and the process conveyance speed VA. Further, in FIG. 9, as a result of the signal detection by the paper detection signal, paper exists in the secondary transfer portion between T1 and T2. Therefore, as shown in FIG. 9, the image formed based on the execution of the process between TA1 and TA2 is transferred onto the paper. As described above, the image forming apparatus executes each image forming process in accordance with the timing at which the formed image is transferred to the paper.

次に、解析部２１４の複合プロセス解析部２１６は、単一プロセス解析部２１５の解析結果を用いて、各画像形成プロセスの実行に基づく画像形成処理について解析する。具体的には、複合プロセス解析部２１６は、各画像形成プロセスの実行を経て形成される画像が、用紙上で転写される位置（以下では、「画像形成領域」と称する。）を特定する。   Next, the composite process analysis unit 216 of the analysis unit 214 uses the analysis result of the single process analysis unit 215 to analyze image formation processing based on the execution of each image formation process. Specifically, the composite process analysis unit 216 specifies a position (hereinafter, referred to as an “image forming area”) on which an image formed through execution of each image forming process is transferred on a sheet.

ここで、図１０は、第１の実施形態に係る、複数の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。図１０に示すように、単一プロセス解析部２１５により特定された各画像形成プロセスの実行タイミングは各々異なる。これは、各色の画像形成部における帯電部、露光部、現像部、及び中間転写体への転写部（一次転写部）といった各画像形成プロセスの処理部から、用紙への転写部（二次転写部）までの物理的な距離が互いに異なることに起因している。すなわち、形成された画像が用紙上の適切な位置へ重畳的に転写されるように、各画像形成プロセスは各々、適切なタイミングにおいて実行される必要がある。複合プロセス解析部２１６は、まず、単一プロセス解析部２１５の解析結果を用いて、各画像形成プロセスの実行に基づいて形成された画像が、二次転写部へ到達し、用紙へ転写される期間を算出する。当該期間は、単一プロセス解析部２１５において得られたプロセスの実行時間に対して、図９のΔＴＡに相当する画像の搬送時間を加算する処理により算出できる。算出した情報に基づいて、複合プロセス解析部２１６は、画像形成領域を特定する。   Here, FIG. 10 is a diagram illustrating a relationship between execution timings in a plurality of image forming processes and sheet detection timing based on a sheet detection signal according to the first embodiment. As shown in FIG. 10, the execution timing of each image forming process specified by the single process analysis unit 215 is different. This is because a transfer unit (secondary transfer) from a processing unit of each image forming process such as a charging unit, an exposure unit, a developing unit, and a transfer unit (primary transfer unit) to an intermediate transfer member in each color image forming unit. This is due to the difference in physical distance between the two). That is, each image forming process needs to be executed at an appropriate timing so that the formed image is superimposed and transferred to an appropriate position on the paper. First, the composite process analysis unit 216 uses the analysis result of the single process analysis unit 215, and the image formed based on the execution of each image forming process reaches the secondary transfer unit and is transferred to the sheet. Calculate the period. The period can be calculated by adding an image conveyance time corresponding to ΔTA in FIG. 9 to the process execution time obtained in the single process analysis unit 215. Based on the calculated information, the composite process analysis unit 216 identifies an image forming area.

図１１は、第１の実施形態に係る、複数の画像形成プロセスと画像形成領域との関係を示す図である。なお、図１１では画像形成プロセスＡ〜Ｅにおける画像の搬送時間をΔＴＡ〜ΔＴＥとしている。各画像形成プロセスにおける画像の搬送時間を考慮すると、各プロセスの実行に基づいて形成される画像は、用紙上において図１１に示す位置に転写されることになる。このとき、各画像形成プロセスが実行された期間の重複部分、すなわち、全ての画像形成プロセスが実行された期間が、画像形成領域として特定される。複合プロセス解析部２１６は、特定した画像形成領域に関するデータを、判定部２１７に対して出力する。なお、複合プロセス解析部２１６における当該処理は、第２の特定手段による処理に相当する。   FIG. 11 is a diagram illustrating a relationship between a plurality of image forming processes and image forming areas according to the first embodiment. In FIG. 11, the image conveyance time in the image forming processes A to E is ΔTA to ΔTE. Considering the image transport time in each image forming process, the image formed based on the execution of each process is transferred to the position shown in FIG. 11 on the paper. At this time, the overlapping part of the period in which each image forming process is executed, that is, the period in which all the image forming processes are executed is specified as the image forming area. The composite process analysis unit 216 outputs data relating to the identified image forming area to the determination unit 217. Note that the processing in the composite process analysis unit 216 corresponds to processing by the second specifying unit.

判定部２１７は、複合プロセス解析部２１６から入力される画像形成領域に関するデータと、設定情報格納部２１２に格納された基準画像領域に関する設定データとを比較して、用紙上で正当な位置に画像が形成されるか否かを判定する。さらに、当該判定結果を、検証部２１０による検証結果として出力する。以下では、判定部２１７における比較及び判定の方法について説明する。   The determination unit 217 compares the data related to the image forming area input from the composite process analysis unit 216 with the setting data related to the reference image area stored in the setting information storage unit 212, and determines the image at a valid position on the sheet. It is determined whether or not is formed. Further, the determination result is output as a verification result by the verification unit 210. Hereinafter, a comparison and determination method in the determination unit 217 will be described.

図１２は、第１の実施形態に係る、用紙の位置と画像形成領域との関係を示す図である。ここで、判定部２１７は、図１２（ａ）に示すように、画像形成領域が用紙上のほぼ全面に位置し、当該領域に画像形成が行われる場合に、画像形成処理が正当であると判定するものとする。一方で、判定部２１７は、図１２（ｂ）、（ｄ）のように用紙に対して画像形成領域がはみ出している場合、図１２（ｃ）、（ｅ）のように用紙に対して画像形成領域が少ない場合、又は、図１２（ｆ）のように画像形成領域が用紙上で途切れている場合には、当該画像形成処理は正当ではないと判定する。   FIG. 12 is a diagram illustrating the relationship between the sheet position and the image forming area according to the first embodiment. Here, as illustrated in FIG. 12A, the determination unit 217 determines that the image forming process is valid when the image forming area is located on almost the entire surface of the sheet and image formation is performed on the area. It shall be determined. On the other hand, when the image forming area protrudes from the sheet as shown in FIGS. 12B and 12D, the determination unit 217 displays the image on the sheet as shown in FIGS. 12C and 12E. When the number of forming areas is small, or when the image forming area is interrupted on the sheet as shown in FIG. 12F, it is determined that the image forming process is not valid.

画像形成領域が用紙上で正当に位置しているか否かを判定するために、例えば、判定部２１７は以下の処理を実行する。図１３は、第１の実施形態に係る、画像形成領域の正当性に関する判定方法の一例を示す図である。まず、判定部２１７は、画像形成領域の先端及び後端の位置を特定し、各々の位置が図８に示す基準画像領域にあるか否かを判定する。具体的には、画像形成領域の先端及び後端の位置が、図８の設定画面で設定した領域１３０１と領域１３０２との範囲内にあるか否かを判定する。さらに、領域１３０１と領域１３０２との間の領域１３０３において、画像形成領域が途切れているか否かを判定する。以上の判定処理に基づき、判定部２１７は画像形成処理の正当性を判定し、その結果を検証部２１０の検証結果として出力する。検証部２１０は、必要に応じて検証結果をエクスポートファイルへ保存する。また、当該エクスポートファイルを検証部２１０に対して入力として与えることにより、図示しない表示部に検証結果を表示することが可能である。   In order to determine whether or not the image forming area is properly positioned on the sheet, for example, the determination unit 217 executes the following processing. FIG. 13 is a diagram illustrating an example of a determination method related to the validity of the image forming area according to the first embodiment. First, the determination unit 217 specifies the positions of the leading edge and the trailing edge of the image forming area, and determines whether or not each position is in the reference image area shown in FIG. Specifically, it is determined whether or not the positions of the leading edge and the trailing edge of the image forming area are within the range between the area 1301 and the area 1302 set on the setting screen of FIG. Further, in an area 1303 between the area 1301 and the area 1302, it is determined whether or not the image forming area is interrupted. Based on the above determination process, the determination unit 217 determines the validity of the image forming process, and outputs the result as the verification result of the verification unit 210. The verification unit 210 saves the verification result in an export file as necessary. Further, by giving the export file as an input to the verification unit 210, it is possible to display the verification result on a display unit (not shown).

なお、本実施形態において、シミュレーション部２００及び検証部２１０の各機能モジュールは、ソフトウェア・モジュールとして実現されてもよい。ソフトウェア・モジュールの場合、当該モジュールは、シミュレーション及び検証処理の実行前には外部記憶装置１１０に保管され、実行時にはＲＡＭ１０３に展開され、ＣＰＵ１０１によって実行される。また、各機能モジュールは、別々の装置に搭載されることで、情報処理システムを構成し、装置間でデータを送受信することにより実現されてもよい。   In the present embodiment, each functional module of the simulation unit 200 and the verification unit 210 may be realized as a software module. In the case of a software module, the module is stored in the external storage device 110 before execution of the simulation and verification processing, and is expanded in the RAM 103 and executed by the CPU 101 at the time of execution. In addition, each functional module may be implemented by configuring an information processing system by being mounted on a separate device and transmitting / receiving data between the devices.

＜情報処理装置における検証処理の手順＞
図２６は、第１の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。上述したように、情報処理装置１００は、まず、ユーザによって設定されたシミュレーション条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。 <Procedure of verification processing in information processing apparatus>
FIG. 26 is a flowchart illustrating a verification processing procedure in the verification unit 210 of the information processing apparatus according to the first embodiment. As described above, the information processing apparatus 100 first executes the simulation of the control operation in the image forming apparatus in the simulation unit 200 based on the simulation condition set by the user. Regarding the output result obtained by the simulation, the information processing apparatus 100 executes a verification process based on the following flow in the verification unit 210.

ステップＳ１０１で、ユーザは、上述したように、ユーザ設定部２１１において、検証処理に必要な設定を行う。次に、ステップＳ１０２で、検証部２１０は、シミュレーションの結果であって、検証処理の対象となるタイミングログを読込み、入力情報格納部２１３へ格納する。さらに、ステップＳ１０３で、検証部２１０は、形成された画像が転写される用紙の頁数をカウントするためのカウンタｘを０に初期化し、ステップＳ１０４へ移行する。なお、当該カウンタは、検証部２１０の内部で管理されてもよい。   In step S101, as described above, the user performs settings necessary for the verification process in the user setting unit 211. Next, in step S <b> 102, the verification unit 210 reads a timing log, which is a simulation result and is a target of verification processing, and stores it in the input information storage unit 213. Further, in step S103, the verification unit 210 initializes a counter x for counting the number of pages of the sheet onto which the formed image is transferred to 0, and proceeds to step S104. Note that the counter may be managed inside the verification unit 210.

ステップＳ１０４で、検証部２１０は、１頁目の用紙に対する画像形成処理の制御動作を検証すべく、カウンタｘに１を加算する。さらに、ステップＳ１０５で、検証部２１０は、タイミングログにおける用紙検出信号の出力値の時系列を参照し、１頁目の用紙が二次転写部に到達するタイミングの算出基準となる信号をサーチする。ここで、検証部２１０は、用紙検出信号の出力値の時系列において、所定の変化（例えば、信号の立上がり、立下り、又は所定の値への変化等）を検出する。検証部２１０は、ステップＳ１０６で、当該信号において所定の変化を検出したか否かを判定する。所定の変化を検出しない場合には、検証部２１０は、シミュレーションが終了したものと判定し、検証処理を終了する。一方、所定の変化を検出した場合には、検証部２１０は、用紙検出信号を検出したと判定し、ステップＳ１０７へ移行する。ステップＳ１０７以降で、検証部２１０は、検出された信号に基づいて、用紙が二次転写部に到達するタイミングを算出するとともに、当該タイミングを基準として、画像形成処理のシミュレーション結果を検証する。なお、ステップＳ１０６における処理は、信号検出手段による処理に相当する。   In step S104, the verification unit 210 adds 1 to the counter x in order to verify the control operation of the image forming process for the first page of paper. In step S105, the verification unit 210 refers to a time series of output values of the sheet detection signal in the timing log, and searches for a signal that is a calculation reference for the timing at which the first page sheet reaches the secondary transfer unit. . Here, the verification unit 210 detects a predetermined change (for example, rise or fall of the signal, change to a predetermined value, or the like) in the time series of the output value of the paper detection signal. In step S106, the verification unit 210 determines whether a predetermined change is detected in the signal. If the predetermined change is not detected, the verification unit 210 determines that the simulation has ended, and ends the verification process. On the other hand, if a predetermined change is detected, the verification unit 210 determines that a paper detection signal has been detected, and proceeds to step S107. After step S107, the verification unit 210 calculates the timing at which the paper reaches the secondary transfer unit based on the detected signal, and verifies the simulation result of the image forming process based on the timing. Note that the processing in step S106 corresponds to processing by the signal detection means.

ステップＳ１０７で、検証部２１０は、単一プロセス解析部２１５を用いて、タイミングログにおける各画像形成プロセスの出力値を参照する。さらに、ステップＳ１０８で、検証部２１０は、各画像形成プロセスにおいて、各出力値が図７で設定した判定条件を満たすか否かを判定し、出力値の時系列の中で、プロセスが実行された期間を特定する。その後、ステップＳ１０９へ移行する。   In step S107, the verification unit 210 refers to the output value of each image forming process in the timing log using the single process analysis unit 215. In step S108, the verification unit 210 determines whether each output value satisfies the determination condition set in FIG. 7 in each image forming process, and the process is executed in the time series of output values. Specify the period. Thereafter, the process proceeds to step S109.

ステップＳ１０９で、検証部２１０は、全ての画像形成プロセスが実行されたか否かを判定する。全ての画像形成プロセスが実行されている場合には、ステップＳ１１０へ移行する。一方、いずれかの画像形成プロセスが実行されていない場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。   In step S109, the verification unit 210 determines whether all image forming processes have been executed. When all the image forming processes are executed, the process proceeds to step S110. On the other hand, if any one of the image forming processes is not executed, the process proceeds to step S114, and information indicating that the image forming process is not valid is output.

ステップＳ１１０で、検証部２１０は、複合プロセス解析部２１６を用いて、画像形成領域を特定する。その後、ステップＳ１１１へ移行する。   In step S <b> 110, the verification unit 210 uses the composite process analysis unit 216 to specify an image forming area. Thereafter, the process proceeds to step S111.

ステップＳ１１１で、検証部２１０は、特定した画像形成領域の先端及び後端が、基準画像領域にあるか否かを判定する。画像形成領域の先端及び後端が基準画像領域にある場合には、ステップＳ１１２へ移行する。一方、画像形成領域の先端及び後端が基準画像領域にない場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。   In step S111, the verification unit 210 determines whether the leading edge and the trailing edge of the identified image forming area are in the reference image area. When the leading edge and the trailing edge of the image forming area are in the reference image area, the process proceeds to step S112. On the other hand, when the leading edge and the trailing edge of the image forming area are not in the reference image area, the process proceeds to step S114, and information indicating that the image forming process is not valid is output.

ステップＳ１１２で、検証部２１０は、特定した画像形成領域において、先端と後端との間で、途切れがないか否か判定する。画像形成領域に途切れがない場合には、ステップＳ１１３へ移行する。一方、画像形成領域に途切れがある場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。   In step S112, the verification unit 210 determines whether there is no break between the leading edge and the trailing edge in the identified image forming area. If there is no break in the image forming area, the process proceeds to step S113. On the other hand, if there is a break in the image forming area, the process proceeds to step S114, and information indicating that the image forming process is not valid is output.

ステップＳ１１３で、検証部２１０は、検証の結果、現在検証対象の用紙に対する画像形成処理が正当であることを示す情報を出力する。その後、ステップＳ１０４へと戻り、カウンタｘに１を加算して、次の用紙に対する画像形成処理の検証へと移行する。   In step S113, the verification unit 210 outputs information indicating that the image forming process for the currently verified paper is valid as a result of the verification. Thereafter, the process returns to step S104, 1 is added to the counter x, and the process proceeds to the verification of the image forming process for the next sheet.

以上説明したように、第１の実施形態に係る情報処理装置は、画像形成装置の制御動作をシミュレーションし、シミュレーション結果に対して検証処理を実行する。具体的には、各画像形成プロセスの実行によって形成される画像が、用紙上で転写される領域を特定し、当該領域が所定の基準を満たしているか否かを検証する。これにより、画像形成装置が用紙の搬送タイミングに合わせて、各プロセスを適切に制御しているか否かを判定することができる。また、当該判定結果に基づき、画像形成処理の正当性を判定することができる。   As described above, the information processing apparatus according to the first embodiment simulates the control operation of the image forming apparatus and executes verification processing on the simulation result. Specifically, an area formed by executing each image forming process is identified as an area to be transferred on a sheet, and it is verified whether or not the area satisfies a predetermined standard. Accordingly, it can be determined whether or not the image forming apparatus appropriately controls each process in accordance with the sheet conveyance timing. Further, the validity of the image forming process can be determined based on the determination result.

＜第２の実施形態＞
次に、図１５及び図２７を参照して、本発明における第２の実施形態について説明する。第１の実施形態では、シミュレーション部２００におけるシミュレーションの条件として、同一の印刷条件において連続的に印刷を行う場合を想定している。ユーザは、当該シミュレーション条件に応じて、検証部２１０のユーザ設定部２１１において検証処理に必要な設定を行う。これに対して、第２の実施形態では、複数頁の用紙に対して連続的に印刷している間に、印刷条件が変更される場合を想定してシミュレーション条件を設定する。検証部２１０は、当該シミュレーション条件の変更に応じて、各画像形成プロセスの実行を判定する条件を設定することを特徴とする。以下では、第１の実施形態と異なる技術についてのみ、詳しく説明する。 <Second Embodiment>
Next, a second embodiment of the present invention will be described with reference to FIGS. In the first embodiment, it is assumed that printing is continuously performed under the same printing conditions as the simulation conditions in the simulation unit 200. The user performs settings necessary for the verification process in the user setting unit 211 of the verification unit 210 according to the simulation conditions. On the other hand, in the second embodiment, simulation conditions are set on the assumption that the printing conditions are changed during continuous printing on a plurality of pages of paper. The verification unit 210 sets a condition for determining execution of each image forming process in accordance with the change of the simulation condition. Hereinafter, only a technique different from the first embodiment will be described in detail.

ここで、印刷条件が異なる場合として、以下のようなものがある。例えば、画像形成装置において、カラー画像の印刷中に、モノクロ画像の印刷命令が与えられた場合には、実行する画像形成プロセスが変化する。具体的には、カラー画像の印刷には、シアン、マゼンタ、イエロー、及びブラックの４色に係る画像形成プロセスが実行されるのに対して、モノクロ画像の印刷には、ブラックに係る画像形成プロセスのみが実行される。また、画像形成装置が設置されている環境の外気温が変化した場合には、各画像形成プロセスの出力値が変化する。このようなシミュレーション条件に対して、検証部２１０は、検証対象とすべき画像形成プロセスを変化させたり、画像形成プロセスの実行を判定する条件を変化させたりする必要が生じる。   Here, there are the following cases where the printing conditions are different. For example, in the image forming apparatus, when a monochrome image print command is given during printing of a color image, the image forming process to be executed changes. Specifically, an image forming process relating to four colors of cyan, magenta, yellow, and black is executed for printing a color image, whereas an image forming process relating to black is used for printing a monochrome image. Only executed. Further, when the outside air temperature in the environment where the image forming apparatus is installed changes, the output value of each image forming process changes. In response to such simulation conditions, the verification unit 210 needs to change the image forming process to be verified or change the conditions for determining execution of the image forming process.

本実施形態に係る情報処理装置は、シミュレーション部２００から検証部２１０へ入力されるタイミングログから、シミュレーション部２００において設定されたシミュレーションの条件を読み込む。さらに、読み込んだシミュレーション条件に基づいて、検証処理に必要な設定データを自動的に変化させる。   The information processing apparatus according to the present embodiment reads the simulation conditions set in the simulation unit 200 from the timing log input from the simulation unit 200 to the verification unit 210. Further, the setting data necessary for the verification process is automatically changed based on the read simulation conditions.

図１５は、第２の実施形態に係る、画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。例えば、ユーザは、シミュレーション部２００で変化する印刷条件ごとに、ユーザ設定部２１１で判定条件を設定する。図１５に示すように、ユーザは、シミュレーション部２００の印刷条件ごとに、当該印刷条件を識別するためのＩＤを付与する。また、ユーザは、印刷条件のＩＤに対応して、シミュレーション部２００から検証部２１０へ印刷条件を通知するための信号線と、信号線に入力する値とを設定する。ここで、信号線とは、シミュレーション部２００において用いられる内部変数に相当し、シミュレーションの結果、タイミングログに出力される。なお、検証部２１０が複数の信号線に基づいて印刷条件を判断する場合には、同一の印刷条件ＩＤに対して複数の信号線が設定される。   FIG. 15 is a diagram illustrating an example of a setting screen for setting conditions used for determining whether or not the image forming process is being executed according to the second embodiment. For example, the user sets a determination condition in the user setting unit 211 for each printing condition that changes in the simulation unit 200. As illustrated in FIG. 15, the user assigns an ID for identifying the printing condition for each printing condition of the simulation unit 200. In addition, the user sets a signal line for notifying the printing condition from the simulation unit 200 to the verification unit 210 and a value to be input to the signal line in accordance with the ID of the printing condition. Here, the signal line corresponds to an internal variable used in the simulation unit 200, and is output to the timing log as a result of the simulation. When the verification unit 210 determines printing conditions based on a plurality of signal lines, a plurality of signal lines are set for the same printing condition ID.

本実施形態において、検証部２１０は、入力されたタイミングログから、印刷条件を示す値が含まれる信号線の情報を読み込む。さらに、検証部２１０は、読み込んだ値から、当該シミュレーションの実行に際してシミュレーション部２００で設定された条件を用紙ごとに識別し、検証処理に必要な設定データを解析部２１４へ入力する。解析部２１４は、当該設定データに基づいて、各画像形成プロセスの実行を判定し、画像形成領域を特定する。   In the present embodiment, the verification unit 210 reads signal line information including a value indicating a printing condition from the input timing log. Further, the verification unit 210 identifies, for each sheet, conditions set by the simulation unit 200 when executing the simulation, and inputs setting data necessary for verification processing to the analysis unit 214. The analysis unit 214 determines execution of each image forming process based on the setting data, and specifies an image forming area.

＜情報処理装置における検証処理の手順＞
次に、図２７は、第２の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。上述したように、本実施形態に係る情報処理装置では、シミュレーション部２００に対して、複数の印刷条件に基づくシミュレーション条件が設定される。シミュレーション部２００は、設定されたシミュレーション条件に基づいて、画像形成装置における制御動作のシミュレーションを実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。 <Procedure of verification processing in information processing apparatus>
Next, FIG. 27 is a flowchart illustrating a verification processing procedure in the verification unit 210 of the information processing apparatus according to the second embodiment. As described above, in the information processing apparatus according to the present embodiment, simulation conditions based on a plurality of printing conditions are set for the simulation unit 200. The simulation unit 200 executes a control operation simulation in the image forming apparatus based on the set simulation conditions. Regarding the output result obtained by the simulation, the information processing apparatus 100 executes a verification process based on the following flow in the verification unit 210.

ステップＳ２０１〜Ｓ２０６は、第１の実施形態の図２６におけるステップＳ１０１〜Ｓ１０６と同一の処理であるため、説明を省略する。   Steps S201 to S206 are the same processes as steps S101 to S106 in FIG. 26 of the first embodiment, and thus description thereof is omitted.

ステップＳ２０７で、検証部２１０は、単一プロセス解析部２１５を用いて、タイミングログにおける各画像形成プロセスの出力値を参照する。その後、ステップＳ２０８で、検証部２１０は、各画像形成プロセスの出力値から、シミュレーション部２００における印刷条件を識別し、これに基づきプロセスの実行を判定するための条件を設定する。ここで、例えば、検証部２１０は、ステップＳ２０６において用紙の先端を検出したタイミングにおいて、タイミングログから印刷条件を示す値を読み込む。検証部２１０は、識別した印刷条件に基づいて、各画像形成プロセスの実行を判定するための条件を、設定情報格納部２１２から解析部２１４へ読み込む。その後、ステップＳ２０９へ移行する。   In step S207, the verification unit 210 refers to the output value of each image forming process in the timing log using the single process analysis unit 215. Thereafter, in step S208, the verification unit 210 identifies the printing condition in the simulation unit 200 from the output value of each image forming process, and sets the condition for determining the execution of the process based on this. Here, for example, the verification unit 210 reads a value indicating the printing condition from the timing log at the timing when the leading edge of the sheet is detected in step S206. The verification unit 210 reads the conditions for determining execution of each image forming process from the setting information storage unit 212 to the analysis unit 214 based on the identified printing conditions. Thereafter, the process proceeds to step S209.

ステップＳ２０９で、検証部２１０は、ステップＳ２０８で設定した判定条件に基づいて、各画像形成プロセスが実行された期間を特定する。これに基づき、ステップＳ２１０以降において、検証部２１０は、シミュレーションの検証処理を実行する。なお、ステップＳ２１０〜Ｓ２１５は、第１の実施形態の図２６におけるステップＳ１０９〜Ｓ１１４と同一の処理であるため、説明を省略する。   In step S209, the verification unit 210 specifies a period during which each image forming process is executed based on the determination condition set in step S208. Based on this, in step S210 and subsequent steps, the verification unit 210 executes a simulation verification process. Note that steps S210 to S215 are the same processing as steps S109 to S114 in FIG. 26 of the first embodiment, and thus description thereof is omitted.

以上説明したように、第２の実施形態に係る情報処理装置は、シミュレーション条件の変更に応じて、各画像形成プロセスの実行を判定する条件を自動的に変化させる。また、情報処理装置は、検証部においてシミュレーション条件を識別することによって、判定条件を設定する。これにより、複数の用紙に対して連続して印刷するシミュレーションにおいて、その途中で印刷条件が変更された場合においても、当該シミュレーションに基づく画像形成処理の正当性を判定することができる。   As described above, the information processing apparatus according to the second embodiment automatically changes the condition for determining the execution of each image forming process in accordance with the change of the simulation condition. Further, the information processing apparatus sets the determination condition by identifying the simulation condition in the verification unit. As a result, even in a simulation in which printing is continuously performed on a plurality of sheets, even when the printing condition is changed during the simulation, it is possible to determine the validity of the image forming process based on the simulation.

＜第３の実施形態＞
次に、図２及び図２８を参照して、本発明における第３の実施形態について説明する。第３の実施形態に係る情報処理装置では、シミュレーション部２００でシミュレーションを実行するのと同時に、検証部２１０で当該シミュレーションの検証処理を実行することを特徴とする。以下では、第１の実施形態と異なる技術についてのみ、詳しく説明する。 <Third Embodiment>
Next, a third embodiment of the present invention will be described with reference to FIGS. The information processing apparatus according to the third embodiment is characterized in that the simulation unit 200 executes the simulation and the verification unit 210 executes the simulation verification process at the same time. Hereinafter, only a technique different from the first embodiment will be described in detail.

本実施形態に係る情報処理装置の機能構成は、第１の実施形態と同様の構成により実現される。図２において、本実施形態に係るシミュレーション部２００は、シミュレーション結果である各画像形成プロセスの出力値をリアルタイムに出力する。検証部２１０はこれをタイミングログとしてリアルタイムに入力し、入力情報格納部２１３へ格納する。   The functional configuration of the information processing apparatus according to the present embodiment is realized by the same configuration as that of the first embodiment. In FIG. 2, a simulation unit 200 according to the present embodiment outputs an output value of each image forming process as a simulation result in real time. The verification unit 210 inputs this as a timing log in real time and stores it in the input information storage unit 213.

次に、図２８は、第３の実施形態に係る情報処理装置１００のシミュレーション部２００におけるシミュレーションと検証部２１０における検証処理との手順を示すフローチャートである。   Next, FIG. 28 is a flowchart illustrating a procedure of a simulation in the simulation unit 200 and a verification process in the verification unit 210 of the information processing apparatus 100 according to the third embodiment.

ステップＳ３０１で、ユーザは、シミュレーションの条件の設定と、これを検証するために必要な設定とを情報処理装置１００に対して行う。なお、第２の実施形態と組み合わせることで、複数の印刷条件を設定し、シミュレーション及び検証処理を実行することも可能である。   In step S <b> 301, the user performs setting of simulation conditions and settings necessary for verifying the simulation conditions on the information processing apparatus 100. In combination with the second embodiment, it is also possible to set a plurality of printing conditions and execute simulation and verification processing.

ステップＳ３０２で、ユーザの操作に基づいて、情報処理装置１００のシミュレーション部は、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。また、シミュレーション部は、シミュレーションにより得られた出力結果をリアルタイムに出力する。一方、検証部２１０は、当該出力結果をタイミングログとしてリアルタイムに読込み、入力情報格納部２１３へ格納する。   In step S <b> 302, based on a user operation, the simulation unit of the information processing apparatus 100 executes a simulation of a control operation in the image forming apparatus in the simulation unit 200. The simulation unit outputs the output result obtained by the simulation in real time. On the other hand, the verification unit 210 reads the output result as a timing log in real time and stores it in the input information storage unit 213.

ステップＳ３０３で、検証部２１０は、検証対象となる用紙の頁数をカウントするためのカウンタｘを０に初期化する。当該カウンタは、検証部２１０の内部で管理される。その後、ステップＳ３０４で、検証部２１０は、１頁目の用紙に対する画像形成処理の制御動作を検証すべく、カウンタｘに１を加算し、ステップＳ３０５へ移行する。   In step S303, the verification unit 210 initializes a counter x for counting the number of pages of the paper to be verified to 0. The counter is managed inside the verification unit 210. Thereafter, in step S304, the verification unit 210 adds 1 to the counter x in order to verify the control operation of the image forming process for the first page sheet, and the process proceeds to step S305.

ステップＳ３０５で、検証部２１０は、リアルタイムに入力するタイミングログにおいて用紙検出信号の出力値を参照し、解析対象となる用紙が検出されたことを示す信号を監視する。検証部２１０は、用紙を検出しない場合、シミュレーションが終了したものと判定し、検証処理を終了する。一方、用紙を検出した場合、ステップＳ３０６へ移行し、当該用紙に対する画像形成に関するシミュレーションの検証処理を行う。   In step S305, the verification unit 210 refers to the output value of the paper detection signal in the timing log input in real time, and monitors a signal indicating that the paper to be analyzed is detected. If the verification unit 210 does not detect a sheet, the verification unit 210 determines that the simulation has ended, and ends the verification process. On the other hand, when a sheet is detected, the process proceeds to step S306, and a simulation verification process regarding image formation on the sheet is performed.

ステップＳ３０６で、検証部２１０は、用紙が検出されたタイミングにおいて、当該用紙への画像形成の所要時間ΔＴＰを算出する。ΔＴＰは、例えば、用紙長をＬＰ、用紙搬送速度をＶＰとすると、ΔＴＰ＝（ＬＰ／ＶＰ）によって求められる。その後、ステップＳ３０７へ移行する。なお、ＬＰ及びＶＰは、当該用紙が検出されたタイミングにおけるタイミングログを参照することによって、又は、予めユーザ設定部２１１で設定した値を参照することによって、求められる。   In step S306, the verification unit 210 calculates a required time ΔTP for image formation on the paper at the timing when the paper is detected. For example, ΔTP can be obtained by ΔTP = (LP / VP) where LP is the sheet length and VP is the sheet conveyance speed. Thereafter, the process proceeds to step S307. Note that LP and VP are obtained by referring to a timing log at the timing when the paper is detected or by referring to a value set in advance by the user setting unit 211.

ステップＳ３０７で、検証部２１０は、ΔＴＰが経過し、解析対象の用紙のシミュレーションが終了するまで待機する。ΔＴＰが経過すると、検証部２１０は、当該用紙に関するシミュレーションの検証処理を実行すべく、ステップＳ３０８へ移行する。なお、ステップＳ３０８〜Ｓ３１５は、第１の実施形態の図２６におけるステップＳ１０７〜Ｓ１１４と同一の処理であるため、説明を省略する。   In step S307, the verification unit 210 waits until ΔTP has elapsed and the simulation of the analysis target paper is completed. When ΔTP has elapsed, the verification unit 210 proceeds to step S308 in order to execute a simulation verification process for the sheet. Note that steps S308 to S315 are the same as steps S107 to S114 in FIG. 26 of the first embodiment, and thus description thereof is omitted.

以上説明したように、第３の実施形態に係る情報処理装置は、シミュレーション部におけるシミュレーション結果を、検証部へリアルタイムに入力する。これにより、画像形成処理に関するシミュレーションを実行するのと同時に、当該シミュレーションの結果に対する検証処理を実行することができる。   As described above, the information processing apparatus according to the third embodiment inputs the simulation result in the simulation unit to the verification unit in real time. Thereby, at the same time as executing the simulation related to the image forming process, the verification process for the result of the simulation can be executed.

＜第４の実施形態＞
次に、図２、図１６乃至図１９、及び図２９を参照して、本発明における第４の実施形態について説明する。第１乃至第３の実施形態では、各画像形成プロセスの実行によって形成される画像が用紙上で転写される領域を特定し、当該領域が所定の基準を満たしているか否かを検証している。これに対して、第４の実施形態では、最終的に用紙へ転写される領域に基づいて正当性を検証するのではなく、転写処理に至るまでの各画像形成プロセスの出力値に関して、その正当性を検証する。具体的には、検証部２１０は、シミュレーション部２００から出力されるタイミングログに含まれる出力値の時系列を参照し、その出力値の変化が検出された際に、当該検出タイミング及び出力値の正当性について判定することを特徴とする。以下では、第１の実施形態と異なる技術について説明する。 <Fourth Embodiment>
Next, with reference to FIG. 2, FIG. 16 thru | or FIG. 19, and FIG. 29, 4th Embodiment in this invention is described. In the first to third embodiments, an area to which an image formed by executing each image forming process is transferred is specified, and it is verified whether or not the area satisfies a predetermined standard. . On the other hand, in the fourth embodiment, the validity is not verified based on the area finally transferred to the sheet, but the validity of the output value of each image forming process up to the transfer process. Verify sex. Specifically, the verification unit 210 refers to a time series of output values included in the timing log output from the simulation unit 200, and when a change in the output value is detected, the detection timing and the output value It is characterized by determining validity. Hereinafter, a technique different from that of the first embodiment will be described.

＜情報処理装置の機能構成＞
第４の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により実現できる。また、情報処理装置１００のシミュレーション部２００は、第１の実施形態と同様であるので、説明を省略する。 <Functional configuration of information processing apparatus>
The fourth embodiment can be realized by a configuration similar to the functional configuration example shown in FIG. 2 according to the first embodiment. Moreover, since the simulation part 200 of the information processing apparatus 100 is the same as that of 1st Embodiment, description is abbreviate | omitted.

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。ただし、第４の実施形態では、解析部２１４において複合プロセス解析部２１６を使用せず、単一プロセス解析部２１５のみを使用する。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。   As in the first embodiment, the verification unit 210 includes a user setting unit 211, a setting information storage unit 212, an input information storage unit 213, an analysis unit 214, and a determination unit 217. However, in the fourth embodiment, the composite process analysis unit 216 is not used in the analysis unit 214, and only the single process analysis unit 215 is used. Below, the part which concerns on this embodiment among the functions of each component of the verification part 210 is demonstrated.

ユーザ設定部２１１は、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１の実施形態と同様である。なお、本実施形態では、図３の設定画面において、搬送される用紙の先端をタイミングログから検出するための基準信号として、／ＴＯＰ信号を選択する。／ＴＯＰ信号は、画像形成装置において、各画像形成プロセスの実行を開始するタイミングの基準となる信号である。従って、本実施形態で、検証部２１０は、タイミングログにおいて／ＴＯＰ信号を検出したタイミングを基準として、シミュレーション結果の検証処理を実行する。   The user setting unit 211 functions as an interface for the user to set data necessary for verification of simulation results. Among the data to be set in the user setting unit 211, the timing log, paper size, speed, and image forming process position are the same as those in the first embodiment. In the present embodiment, the / TOP signal is selected as a reference signal for detecting the leading edge of the conveyed paper from the timing log on the setting screen of FIG. The / TOP signal is a signal that serves as a reference of timing for starting execution of each image forming process in the image forming apparatus. Therefore, in the present embodiment, the verification unit 210 executes a simulation result verification process based on the timing at which the / TOP signal is detected in the timing log.

図１６は、第４の実施形態に係る、単一プロセス解析部２１５における単一プロセス判定条件を設定するための設定画面の一例を示す図である。ここで設定される単一プロセス判定条件は、単一プロセス解析部２１５において、解析結果が正当か否かを判定するために用いられる第１の基準に相当する。ユーザは、設定画面で、タイミングログに含まれる各画像形成プロセスに対応する入力信号と、／ＴＯＰ信号を基準として、各入力信号に含まれる各プロセスの出力値に変化が検出されるまでの相対時間と、当該変化の検出タイミングにおいて出力値が取るべき正当値とを設定する。なお、一つの画像形成プロセスにおいて、複数のタイミングで出力値に変化が生じる場合には、図１６に示すように、各々を時系列に設定すればよい。また、出力値に変化が生じないプロセスや、プロセスの正当性に関する判定を行わないプロセスについては、入力欄を空欄にすればよい（図１８における信号Ｂ、Ｆ、Ｊ、Ｎ）。   FIG. 16 is a diagram illustrating an example of a setting screen for setting a single process determination condition in the single process analysis unit 215 according to the fourth embodiment. The single process determination condition set here corresponds to a first reference used in the single process analysis unit 215 to determine whether the analysis result is valid. On the setting screen, the user can use the input signal corresponding to each image forming process included in the timing log and the relative value until a change is detected in the output value of each process included in each input signal based on the / TOP signal. Time and a valid value that the output value should take at the detection timing of the change are set. In the case where a change occurs in output values at a plurality of timings in one image forming process, each may be set in time series as shown in FIG. Further, for a process in which the output value does not change or a process in which determination regarding the validity of the process is not performed, the input field may be left blank (signals B, F, J, and N in FIG. 18).

また、図１６に示す設定画面では、許容誤差を設定することができる。ここで、許容誤差とは、設定した各相対時間に対する画像形成装置自体の制御誤差や、シミュレータの性能に起因した誤差として許容される範囲を表す。単一プロセス解析部２１５において検出された変化のタイミングが設定した相対時間に対して許容誤差の範囲内であれば、当該変化のタイミングは正当であると判定される。なお、許容誤差として、図１６に示すように全プロセスで共通の値に設定してもよいし、各プロセスに対して異なる値を設定してもよい。   In addition, an allowable error can be set on the setting screen shown in FIG. Here, the allowable error represents a range allowed as a control error of the image forming apparatus itself with respect to each set relative time or an error caused by the performance of the simulator. If the change timing detected by the single process analysis unit 215 is within an allowable error range with respect to the set relative time, it is determined that the change timing is valid. As an allowable error, a common value may be set for all processes as shown in FIG. 16, or a different value may be set for each process.

以上のように、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、第１の実施形態と同様、設定情報格納部２１２へ格納される。解析部２１４の単一プロセス解析部２１５は、シミュレーション部２００から検証部２１０の入力情報格納部２１３へ入力されたタイミングログを、設定情報格納部２１２へ格納された設定データに基づいて解析する。   As described above, the setting values set using the setting screens by the user setting unit 211 are stored in the setting information storage unit 212 as in the first embodiment. The single process analysis unit 215 of the analysis unit 214 analyzes the timing log input from the simulation unit 200 to the input information storage unit 213 of the verification unit 210 based on the setting data stored in the setting information storage unit 212.

単一プロセス解析部２１５は、タイミングログにおける検証対象の画像形成プロセスの出力値の時系列を参照し、その変化を検出する。その際、単一プロセス解析部２１５は、／ＴＯＰ信号から当該検出タイミングまでの相対時間を求める。ここで、図１７は、第４の実施形態に係る、各画像形成プロセスにおける入力信号に対する単一プロセス判定条件の一例を示す図である。単一プロセス解析部２１５は、各画像形成プロセス（Ａ〜Ｅ）ごとに、時系列に設定された設定データに基づいて、出力値を解析する。例えば、画像形成プロセスＡにおいて、／ＴＯＰ信号の出力タイミングからの相対時間ａ１、ａ２、ａ３、及びａ４のタイミングにおいて、順に、ａ’１、ａ’２、ａ’３、及びａ’４の値へ出力が変化した場合、当該プロセスは正当であると判定される。逆に、何れかのタイミングにおいて設定した出力値へ変化しない場合には、当該プロセスは正当ではないと判定される。当該判定結果は、判定部２１７へ送られ、判定部２１７における最終的な判定処理に使用される。   The single process analysis unit 215 refers to the time series of output values of the image forming process to be verified in the timing log and detects the change. At that time, the single process analysis unit 215 obtains a relative time from the / TOP signal to the detection timing. Here, FIG. 17 is a diagram illustrating an example of a single process determination condition for an input signal in each image forming process according to the fourth embodiment. The single process analysis unit 215 analyzes the output value for each image forming process (A to E) based on setting data set in time series. For example, in the image forming process A, the values of a′1, a′2, a′3, and a′4 are sequentially set at the relative times a1, a2, a3, and a4 from the output timing of the / TOP signal. If the output changes, the process is determined to be valid. Conversely, if the output value does not change at any timing, it is determined that the process is not valid. The determination result is sent to the determination unit 217 and used for the final determination process in the determination unit 217.

判定部２１７は、単一プロセス解析部２１５の判定結果に基づき、各用紙に対する画像形成処理の正当性について最終的な判定処理を実行する。すなわち、各々の／ＴＯＰ信号の出力を基準として実行される全ての画像形成プロセスにおける処理が正当である場合には、当該用紙に対する画像形成は正当であることを示す情報を検証部２１０における検証結果として出力する。一方、何れかの画像形成プロセスにおける処理が正当ではない場合には、当該用紙に対する画像形成は正当ではないことを示す情報を出力する。   Based on the determination result of the single process analysis unit 215, the determination unit 217 executes final determination processing regarding the validity of the image forming processing for each sheet. In other words, when the processing in all image forming processes executed based on the output of each / TOP signal is valid, information indicating that image formation on the paper is valid is the verification result in the verification unit 210. Output as. On the other hand, if the process in any of the image forming processes is not valid, information indicating that the image formation on the sheet is not valid is output.

ここで、図１８は、第４の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。なお、図１８では、画像形成装置が短い時間間隔で連続的に／ＴＯＰ信号を出力することにより、各用紙に対して連続的に画像形成を行う場合を示している。図１８に示すように、各画像形成プロセスは、各用紙に対応した／ＴＯＰ信号の出力タイミングから、実際に処理を開始するタイミングまでの時間が互いに異なる。これは、上述のように、画像形成装置の構造に依存して、各画像形成プロセスが実行される位置が各々異なるためである。これにより、先の／ＴＯＰ信号に基づく全ての画像形成プロセスの処理が完了する前に、次の／ＴＯＰ信号が出力されることがある。例えば、図１８において、１回目の／ＴＯＰ信号の出力に対する画像形成において、画像形成プロセスＥのｅ１及びｅ２のタイミングは、２回目の／ＴＯＰ信号の出力タイミングより後になっている。この場合、先の／ＴＯＰ信号に対する画像形成プロセスの実行中に、他の画像形成プロセスにおいて、次の／ＴＯＰ信号に対する処理が開始されることになる。従って、単一プロセス解析部２１５は、このような場合においても、画像形成プロセスの出力値の正当性に関する判定を正常に実行できる必要がある。これに関しては、例えば、以下のような処理により対処することができる。   FIG. 18 is a diagram illustrating an example of the relationship between the / TOP signal and the output value change timing in each image forming process according to the fourth embodiment. FIG. 18 shows a case where the image forming apparatus continuously forms an image on each sheet by outputting the / TOP signal continuously at a short time interval. As shown in FIG. 18, in each image forming process, the time from the output timing of the / TOP signal corresponding to each sheet to the timing of actually starting the processing is different from each other. This is because, as described above, the position where each image forming process is executed differs depending on the structure of the image forming apparatus. As a result, the next / TOP signal may be output before the processing of all the image forming processes based on the previous / TOP signal is completed. For example, in FIG. 18, in the image formation for the first / TOP signal output, the timings e1 and e2 of the image forming process E are after the second / TOP signal output timing. In this case, during the execution of the image forming process for the previous / TOP signal, processing for the next / TOP signal is started in another image forming process. Accordingly, even in such a case, the single process analysis unit 215 needs to be able to normally perform the determination regarding the validity of the output value of the image forming process. This can be dealt with by the following processing, for example.

図１９は、第４の実施形態に係る、単一プロセス解析部２１５における画像形成プロセスごとの判定用データの参照位置を示す図である。図１９に示すように、単一プロセス解析部２１５は、／ＴＯＰ信号の出力をタイミングログから検出するごとに、図１７に示した判定用データの参照位置を画像形成プロセスごとに管理する。単一プロセス解析部２１５は、各画像形成プロセスにおいて、時系列の出力値における値の変化を検出するごとに、次の判定用データを参照すべく、当該参照位置を更新する。また、当該／ＴＯＰ信号を基準とした画像形成において、全ての判定用データを参照した場合、当該画像形成プロセスの参照位置の管理情報として終了を示す値（ＥＮＤ）を設定する。さらに、当該画像形成プロセスにおいて、次の／ＴＯＰ信号を基準とした画像形成へと移行する。   FIG. 19 is a diagram illustrating a reference position of determination data for each image forming process in the single process analysis unit 215 according to the fourth embodiment. As illustrated in FIG. 19, the single process analysis unit 215 manages the reference position of the determination data illustrated in FIG. 17 for each image forming process every time the output of the / TOP signal is detected from the timing log. In each image forming process, the single process analysis unit 215 updates the reference position so as to refer to the next determination data each time a change in the value of the time-series output value is detected. Further, in the image formation based on the / TOP signal, when all the determination data is referred to, a value (END) indicating the end is set as the management information of the reference position of the image forming process. Further, in the image forming process, the process proceeds to image formation based on the next / TOP signal.

また、単一プロセス解析部２１５では、各画像形成プロセスの解析の際に、図１７のＤに示すように出力値に変化が生じない設定の場合や、画像形成プロセスの制御ソフトウェアの不具合に起因して、出力値に変化が生じない場合についても、正常に画像形成の正当性を判定できる必要がある。そのため、本実施形態では、各画像形成プロセスの判定のためのタイムアウト時間を設定する。タイムアウト時間には、図１８におけるｅ２のように、設定された全画像形成プロセスの判定条件の中で、最も大きな相対時間が設定される。いずれかの画像形成プロセスにおいて、設定した全ての判定条件に対応した出力値の変化が生じず、当該タイムアウト時間を経過した場合、そのことを示す情報が判定部２１７へ通知される。判定部２１７は、当該通知に基づき、当該／ＴＯＰ信号を基準とした画像形成が正当ではないことを示す情報を検証処理の結果として出力する。   Further, in the single process analysis unit 215, when each image forming process is analyzed, the output value does not change as shown in FIG. 17D, or the control software of the image forming process is caused by a defect. Thus, even when the output value does not change, it is necessary to be able to correctly determine the validity of image formation. For this reason, in this embodiment, a timeout time for determination of each image forming process is set. As the time-out time, as shown by e2 in FIG. 18, the largest relative time is set among the set judgment conditions for all image forming processes. In any one of the image forming processes, when the output value corresponding to all the set determination conditions does not change and the timeout time has elapsed, information indicating that is notified to the determination unit 217. Based on the notification, the determination unit 217 outputs information indicating that the image formation based on the / TOP signal is not valid as a result of the verification process.

＜情報処理装置における検証処理の手順＞
次に、図２９は、第４の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。第１の実施形態と同様に、情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。 <Procedure of verification processing in information processing apparatus>
Next, FIG. 29 is a flowchart illustrating a verification processing procedure in the verification unit 210 of the information processing apparatus according to the fourth embodiment. Similar to the first embodiment, the information processing apparatus 100 first executes a simulation of a control operation in the image forming apparatus in the simulation unit 200 based on a simulation condition set by a user. Regarding the output result obtained by the simulation, the information processing apparatus 100 executes a verification process based on the following flow in the verification unit 210.

ステップＳ４０１で、ユーザは、上述したように、ユーザ設定部２１１において、検証処理に必要な設定を行う。なお、当該設定値に基づいて、検証部２１０は、上述のタイムアウト時間を設定する。次に、ステップＳ４０２で、検証部２１０は、シミュレーションの結果であって、検証処理の対象となるタイミングログを読込み、入力情報格納部２１３へ格納する。さらに、ステップＳ４０３で、検証部２１０は内部で管理するカウンタｘを０、カウンタｙを１に初期化し、ステップＳ４０４へ移行する。ここで、カウンタｘは、読み込んだタイミングログから／ＴＯＰ信号を検出した回数であって、画像形成の対象となる用紙の頁数をカウントする。カウンタｙは判定中の頁数を記憶するものである。   In step S401, as described above, the user performs settings necessary for the verification process in the user setting unit 211. Based on the set value, the verification unit 210 sets the above-described timeout time. Next, in step S <b> 402, the verification unit 210 reads a timing log, which is a simulation result and is subject to verification processing, and stores it in the input information storage unit 213. Further, in step S403, the verification unit 210 initializes a counter x managed internally to 0 and a counter y to 1, and proceeds to step S404. Here, the counter x is the number of times the / TOP signal is detected from the read timing log, and counts the number of pages of the paper on which image formation is to be performed. The counter y stores the number of pages being determined.

ステップＳ４０４で、検証部２１０は、タイミングログの検証を開始すべく、タイミングログに含まれる情報を、時系列に順に参照する。なお、当該タイミングログは、時系列の出力値により作成されている。その後、ステップＳ４０５で、検証部２１０は、出力値に変化が生じたか否かを判定する。出力値に変化が生じた場合、ステップＳ４０６へ移行する。一方、出力値に変化が生じていない場合、ステップＳ４２０へ移行し、当該出力値がシミュレーションの終了を示す値であるか否かを判定する。ステップＳ４２０で、当該出力値がシミュレーションの終了を示す値である場合、検証処理を終了し、終了を示す値ではない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。なおステップＳ４０５における処理は、変化検出手段による処理に相当する。   In step S404, the verification unit 210 sequentially refers to information included in the timing log in time series in order to start verification of the timing log. The timing log is created with time-series output values. Thereafter, in step S405, the verification unit 210 determines whether or not a change has occurred in the output value. When the output value has changed, the process proceeds to step S406. On the other hand, when the output value has not changed, the process proceeds to step S420, and it is determined whether or not the output value is a value indicating the end of the simulation. In step S420, if the output value is a value indicating the end of the simulation, the verification process is ended. If the output value is not a value indicating the end, the process returns to step S404, and the reference of the timing log is continued. Note that the processing in step S405 corresponds to processing by the change detection means.

ステップＳ４０６で、検証部２１０は、当該出力値の変化が／ＴＯＰ信号の検出によるものか否かを判定する。ここで、／ＴＯＰ信号を検出した場合、ステップＳ４０７へ移行し、カウンタｘに１を加算する。さらに、ステップＳ４０８で、検証部２１０は、ｘ頁目の用紙に対する画像形成における図１９に示すような判定用データの参照位置情報を初期化する。ここで、出力値に変化が生じないため、判定用データが存在しない画像形成プロセスがある場合には、当該プロセスの参照位置として予めＥＮＤを設定する。その後、ステップＳ４０４へ戻り、タイミングログの参照を継続する。   In step S406, the verification unit 210 determines whether the change in the output value is due to detection of the / TOP signal. If the / TOP signal is detected, the process proceeds to step S407, and 1 is added to the counter x. In step S408, the verification unit 210 initializes the reference position information of the determination data as shown in FIG. Here, since there is no change in the output value, when there is an image forming process that does not include determination data, END is set in advance as the reference position of the process. Thereafter, the process returns to step S404, and the reference of the timing log is continued.

一方、ステップＳ４０６で、検証部２１０は、／ＴＯＰ信号を検出しない場合には、ステップＳ４０９へ移行する。ステップＳ４０９で、検証部２１０は、各画像形成プロセスの出力値の変化を検出したか否かを判定する。出力値の変化を検出しない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。一方、画像形成プロセスの出力値の変化を検出した場合、ステップＳ４１０へ移行する。ステップＳ４１０で、検証部２１０は、カウンタｘが１以上であって、／ＴＯＰ信号を既に検出している場合、ステップＳ４１１へ移行する。一方、カウンタｘが０であって、／ＴＯＰ信号を未だ未検出の場合、画像形成処理の非実行時における何らかの信号の変化が検出されたと判定し、ステップＳ４０４へ戻り、タイミングログの参照を継続する。   On the other hand, when the / TOP signal is not detected in step S406, the verification unit 210 proceeds to step S409. In step S409, the verification unit 210 determines whether a change in the output value of each image forming process has been detected. If no change in the output value is detected, the process returns to step S404 to continue referring to the timing log. On the other hand, when a change in the output value of the image forming process is detected, the process proceeds to step S410. In step S410, if the counter x is 1 or more and the / TOP signal has already been detected, the verification unit 210 proceeds to step S411. On the other hand, if the counter x is 0 and the / TOP signal has not been detected yet, it is determined that some signal change has been detected when the image forming process is not executed, and the process returns to step S404 to continue referring to the timing log. To do.

ステップＳ４１１で、検証部２１０は、検出された当該変化のタイミング及び当該タイミングにおける出力値が正当であるか否かを判定する。ここで、タイミングの正当性に関して、検証部２１０は、上述の許容誤差も考慮して判定を行う。ここで、検証部２１０は、当該タイミング及び出力値が正当でない場合、ステップＳ４１２へ移行し、そのことを示す情報を判定部２１７へ出力する。一方、当該タイミング及び出力値が正当である場合、ステップＳ４１３へ移行する。なお、ステップＳ４１１における処理は、第１の判定手段による処理に相当する。   In step S411, the verification unit 210 determines whether the detected change timing and the output value at the timing are valid. Here, regarding the correctness of the timing, the verification unit 210 performs determination in consideration of the above-described allowable error. Here, when the timing and the output value are not valid, the verification unit 210 proceeds to step S412 and outputs information indicating that to the determination unit 217. On the other hand, if the timing and output value are valid, the process proceeds to step S413. Note that the processing in step S411 corresponds to processing by the first determination unit.

ステップＳ４１３で、検証部２１０は、設定した全ての単一プロセス判定条件を参照したか否かを判定する。ここで、検証部２１０は、全ての画像形成プロセスにおける判定条件の参照位置がＥＮＤに設定されているか否かにより、当該判定処理を行う。全ての判定条件を参照した場合、ステップＳ４１６へ移行する。一方、全ての判定条件を未だ参照していない場合、ステップＳ４１４へ移行する。ステップＳ４１４で、検証部２１０は、タイムアウト時間を経過したか否かを参照する。タイムアウト時間を経過していない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。タイムアウト時間を経過した場合、ステップＳ４１５へ移行する。ステップＳ４１５で、検証部２１０は、タイムアウト時間を経過したことを示す情報を判定部２１７へ出力し、ステップＳ４１６へ移行する。   In step S413, the verification unit 210 determines whether all set single process determination conditions have been referenced. Here, the verification unit 210 performs the determination process depending on whether or not the reference position of the determination condition in all image forming processes is set to END. When all the determination conditions are referred to, the process proceeds to step S416. On the other hand, if all the determination conditions have not been referred to yet, the process proceeds to step S414. In step S414, the verification unit 210 refers to whether or not the timeout time has elapsed. If the time-out period has not elapsed, the process returns to step S404 to continue referring to the timing log. When the timeout time has elapsed, the process proceeds to step S415. In step S415, the verification unit 210 outputs information indicating that the timeout time has elapsed to the determination unit 217, and proceeds to step S416.

ステップＳ４１６で、判定部２１７は、ｙ頁目の画像形成処理が正当であるか否かを判定する。ここで、タイムアウト時間を経過した場合、又は何れかの画像形成プロセスにおける何れかの出力値の変化が正当ではない場合、判定部２１７は、ステップＳ４１７へ移行し、ｙ頁目の画像形成処理が正当ではないことを示す情報を検証部２１０の検証結果として出力する。一方、タイムアウト時間を経過せず、全ての画像形成プロセスにおいて、出力値の変化が全て正当である場合、ステップＳ４１８へ移行し、ｙ頁目の画像形成処理が正当であることを示す情報を出力する。その後、ステップＳ４１９でカウンタｙに１を加算し、ステップＳ４０４へ戻り、タイミングログの参照を継続する。   In step S416, the determination unit 217 determines whether the image forming process for the y-th page is valid. Here, when the time-out time has elapsed, or when any change in the output value in any image forming process is not valid, the determination unit 217 proceeds to step S417, and the image forming process for the y-th page is performed. Information indicating that it is not valid is output as a verification result of the verification unit 210. On the other hand, if the time-out period has not elapsed and all the output value changes are valid in all image forming processes, the process proceeds to step S418, and information indicating that the image forming process for the y-th page is valid is output. To do. Thereafter, 1 is added to the counter y in step S419, and the process returns to step S404 to continue referring to the timing log.

以上説明したように、第４の実施形態に係る情報処理装置は、シミュレーション部から出力されるタイミングログに含まれる各画像形成プロセスの出力値の時系列に変化が検出された際に、当該検出タイミング及び出力値の正当性について判定する。これにより、画像形成の開始から用紙への転写に至るまでの、各画像形成プロセスに関するシミュレーション結果の正当性を判定することができる。また、当該判定結果に基づき、画像形成処理全体のシミュレーション結果の正当性を判定できる。   As described above, the information processing apparatus according to the fourth embodiment performs detection when a change is detected in the time series of the output values of each image forming process included in the timing log output from the simulation unit. The validity of the timing and output value is determined. Accordingly, it is possible to determine the validity of the simulation result related to each image forming process from the start of image formation to transfer to a sheet. Further, it is possible to determine the validity of the simulation result of the entire image forming process based on the determination result.

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。   It is possible to combine this embodiment with the first to third embodiments.

＜第５の実施形態＞
次に、図２、図２０乃至図２３、及び図３０を参照して、本発明における第５の実施形態について説明する。第４の実施形態では、各画像形成プロセスに関して、タイミングログに含まれる出力値の時系列において、出力値の変化が生じたタイミング及び当該出力値の正当性を個別に判定している。これに対して、第５の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、さらに、関連する他の画像形成プロセスの出力値の正当性を判定することを特徴とする。以下では、第１乃至第４の実施形態と異なる技術を中心として、本実施形態について説明する。 <Fifth Embodiment>
Next, with reference to FIG. 2, FIG. 20 thru | or FIG. 23, and FIG. 30, 5th Embodiment in this invention is described. In the fourth embodiment, for each image forming process, the timing at which a change in output value occurs and the validity of the output value are individually determined in the time series of output values included in the timing log. On the other hand, in the fifth embodiment, the validity of the output value of another related image forming process is further determined at the timing when the output value changes in any of the image forming processes. And In the following, the present embodiment will be described with a focus on technologies different from the first to fourth embodiments.

＜情報処理装置の機能構成＞
第５の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により、実現できる。また、情報処理装置１００のシミュレーション部２００は、第１の実施形態と同様であるので、説明を省略する。 <Functional configuration of information processing apparatus>
The fifth embodiment can be realized by the same configuration as the functional configuration example shown in FIG. 2 according to the first embodiment. Moreover, since the simulation part 200 of the information processing apparatus 100 is the same as that of 1st Embodiment, description is abbreviate | omitted.

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。   As in the first embodiment, the verification unit 210 includes a user setting unit 211, a setting information storage unit 212, an input information storage unit 213, an analysis unit 214, and a determination unit 217. Below, the part which concerns on this embodiment among the functions of each component of the verification part 210 is demonstrated.

ユーザ設定部２１１は、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１及び第４の実施形態と同様である。また、単一プロセス判定条件の設定については、第４の実施形態と同様である。   The user setting unit 211 functions as an interface for the user to set data necessary for verification of simulation results. Among the data to be set in the user setting unit 211, the timing log, paper size, speed, and image forming process position are the same as those in the first and fourth embodiments. The setting of the single process determination condition is the same as that in the fourth embodiment.

図２０は、第５の実施形態に係る、複合プロセス解析部２１６における複合プロセス判定条件を設定するための設定画面の一例を示す図である。ここで設定される複合プロセス判定条件は、複合プロセス解析部２１６において、解析結果が正当か否かを判定するために用いられる第２の基準に相当する。設定画面において、ユーザは、任意に選択した画像形成プロセス（主プロセス）に対して、関連する画像形成プロセス（関連プロセス）、関連条件、及び関連正当値を設定する。複合プロセス解析部２１６は、後述するように、主プロセスにおける出力値が関連条件に設定した値へ変化した際に、関連プロセスにおける出力値を参照し、関連正当値に設定した条件を満たすか否かを判定する。   FIG. 20 is a diagram illustrating an example of a setting screen for setting a composite process determination condition in the composite process analysis unit 216 according to the fifth embodiment. The composite process determination condition set here corresponds to a second reference used in the composite process analysis unit 216 to determine whether the analysis result is valid. In the setting screen, the user sets a related image forming process (related process), a related condition, and a related valid value for an arbitrarily selected image forming process (main process). As will be described later, when the output value in the main process changes to the value set in the related condition, the composite process analysis unit 216 refers to the output value in the related process and satisfies the condition set in the related legal value. Determine whether.

以上、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、第１の実施形態と同様、設定情報格納部２１２へ格納される。解析部２１４の単一プロセス解析部２１５及び複合プロセス解析部２１６は、シミュレーション部２００から検証部２１０の入力情報格納部２１３へ入力されたタイミングログを、設定情報格納部２１２へ格納された設定データに基づいて解析する。なお、単一プロセス解析部２１５は、第４の実施形態と同様に動作するので、説明を省略する。   As described above, the setting values set by the user setting unit 211 using the setting screens are stored in the setting information storage unit 212 as in the first embodiment. The single process analysis unit 215 and the composite process analysis unit 216 of the analysis unit 214 store the timing log input from the simulation unit 200 to the input information storage unit 213 of the verification unit 210 and the setting data stored in the setting information storage unit 212. Analyze based on Note that the single process analysis unit 215 operates in the same manner as in the fourth embodiment, and thus description thereof is omitted.

図２１は、第５の実施形態に係る、各画像形成プロセスにおける入力信号に対する複合プロセス判定条件の一例を示す図である。複合プロセス解析部２１６は、主プロセスにおける出力値の時系列に変化を検出した際に、関連プロセスにおける出力値を参照し、関連正当値を満たすか否かを判定する。例えば、図２１において、主プロセスとして設定された画像形成プロセスＡにおいて、その出力値がａ”１へ変化した際、関連プロセスである画像形成プロセスＢ及びＣにおける出力値を参照し、各々、ｂ”１及びｃ”１であるか否かを判定する。当該判定結果は判定部２１７へ出力され、判定部２１７における最終的な判定処理に使用される。   FIG. 21 is a diagram illustrating an example of a composite process determination condition for an input signal in each image forming process according to the fifth embodiment. When the composite process analysis unit 216 detects a change in the time series of the output value in the main process, the composite process analysis unit 216 refers to the output value in the related process and determines whether or not the related valid value is satisfied. For example, in FIG. 21, in the image forming process A set as the main process, when the output value changes to a ″ 1, the output values in the image forming processes B and C, which are related processes, are referred to. It is determined whether or not “1” and “c” are 1. The determination result is output to the determination unit 217 and used in the final determination process in the determination unit 217.

なお、上述したように、画像形成装置の構造に依存して各画像形成プロセスが実行される位置が異なるため、各画像形成プロセスは、用紙の適切な位置へ画像が形成され得るタイミングにおいて、各々実行される。そこで、当該判定に際し、複合プロセス解析部２１６は、各画像形成プロセスに基づいて形成された画像が二次転写部において用紙へ転写されるタイミングを基準として、判定処理を実行する。ここで、図２２は、第５の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。また、図２３は、第５の実施形態に係る、各画像形成プロセスの出力値の変化と、当該プロセスの実行に基づいて形成された画像が用紙に転写される位置との関係の一例を示す図である。なお、図２１乃至図２３は各画像形成プロセスの実行関係が互いに対応している。複合プロセス解析部２１６は、例えば、図２２で、主プロセスである画像形成プロセスＡの出力値がａ１においてａ”１へと変化すると、図２１に示す設定に基づいて、関連プロセスである画像形成プロセスＢ及びＣの出力値を参照する。ここで、図２３の時間関係によると、プロセスＡの出力値がａ”１へと変化したタイミングにおいて、関連するプロセスＢ及びプロセスＣの出力値はｂ”１及びｃ”１であり、図２１に示す判定条件を満たしている。その結果、複合プロセス解析部２１６は、当該判定の結果が正当であることを示す情報を判定部２１７へ出力する。   As described above, the position at which each image forming process is executed depends on the structure of the image forming apparatus. Therefore, each image forming process is performed at a timing at which an image can be formed at an appropriate position on a sheet. Executed. Therefore, in the determination, the composite process analysis unit 216 executes determination processing with reference to the timing at which the image formed based on each image forming process is transferred to the sheet in the secondary transfer unit. Here, FIG. 22 is a diagram illustrating an example of the relationship between the / TOP signal and the output value change timing in each image forming process according to the fifth embodiment. FIG. 23 shows an example of the relationship between the change in the output value of each image forming process and the position at which the image formed based on the execution of the process is transferred to the sheet according to the fifth embodiment. FIG. In FIG. 21 to FIG. 23, the execution relationships of the image forming processes correspond to each other. For example, when the output value of the image forming process A, which is the main process, changes to a ″ 1 in a1, in FIG. 23, reference is made to the output values of processes B and C. Here, according to the time relationship of FIG. 23, at the timing when the output value of process A changes to a ″ 1, the output values of related processes B and C are b. “1” and “c” 1 satisfy the determination condition shown in FIG. As a result, the composite process analysis unit 216 outputs information indicating that the determination result is valid to the determination unit 217.

なお、上述のように、用紙への画像の転写タイミングを基準として、複合プロセス解析部２１６の判定処理を実行する場合、主プロセスにおける出力値の変化のタイミングと、参照すべき関連プロセスの出力値のタイミングに差異がある。そこで、本実施形態では、タイミングログにおける出力値の時系列のうち、適切なタイミングの出力値を参照することで、対処する。また、第３の実施形態のように、検証部２１０において、シミュレーション部２００のシミュレーション結果をリアルタイムに読み込む場合には、入力情報格納部２１３でタイミングログをバッファリングすることで対処する。   As described above, when the determination process of the composite process analysis unit 216 is executed based on the transfer timing of the image onto the sheet, the output value change timing in the main process and the output value of the related process to be referred to There is a difference in timing. Therefore, in the present embodiment, this is dealt with by referring to an output value at an appropriate timing in the time series of output values in the timing log. Further, as in the third embodiment, in the verification unit 210, when the simulation result of the simulation unit 200 is read in real time, the input information storage unit 213 buffers the timing log.

＜情報処理装置における検証処理の手順＞
次に、図３０は、第５の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。第１の実施形態と同様に、情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。なお、以下のステップＳ５０１〜Ｓ５１２は、第４の実施形態におけるステップＳ４０１〜Ｓ４１２と同一であるため、説明を省略する。 <Procedure of verification processing in information processing apparatus>
Next, FIG. 30 is a flowchart illustrating a verification processing procedure in the verification unit 210 of the information processing apparatus according to the fifth embodiment. Similar to the first embodiment, the information processing apparatus 100 first executes a simulation of a control operation in the image forming apparatus in the simulation unit 200 based on a simulation condition set by a user. Regarding the output result obtained by the simulation, the information processing apparatus 100 executes a verification process based on the following flow in the verification unit 210. In addition, since the following steps S501-S512 are the same as steps S401-S412 in 4th Embodiment, description is abbreviate | omitted.

ステップＳ５１２までに単一プロセス解析部２１５における処理を終えると、検証部２１０は、ステップＳ５１３以降で、複合プロセス解析部２１６における処理を開始する。   When the process in the single process analysis unit 215 is completed by step S512, the verification unit 210 starts the process in the composite process analysis unit 216 in step S513 and subsequent steps.

ステップＳ５１３で、検証部２１０は、複合プロセス解析部２１６において、出力値の変化が生じた画像形成プロセスに対して、当該出力値が関連条件を満たすか否か判定する。当該関連条件を満たさない場合、ステップＳ５１６へ移行する。一方、当該関連条件を満たす場合、ステップＳ５１４へ移行する。   In step S513, the verification unit 210 determines in the composite process analysis unit 216 whether the output value satisfies a related condition for the image forming process in which the change in the output value has occurred. When the relevant condition is not satisfied, the process proceeds to step S516. On the other hand, when the relevant condition is satisfied, the process proceeds to step S514.

ステップＳ５１４で、複合プロセス解析部２１６は、出力値の変化が生じた画像形成プロセスに対して、関連プロセスとして設定された画像形成プロセスの出力値をタイミングログにおいて参照する。その後、ステップＳ５１５で、複合プロセス解析部２１６は、当該関連プロセスの出力値が正当であるか否か検証する。さらに、複合プロセス解析部２１６は、当該検証結果を判定部２１７へ出力し、ステップＳ５１６へ移行する。なお、ステップＳ５１３〜Ｓ５１５における処理は、第２の判定手段による処理に相当する。   In step S514, the composite process analysis unit 216 refers to the output value of the image forming process set as the related process in the timing log for the image forming process in which the change of the output value has occurred. Thereafter, in step S515, the composite process analysis unit 216 verifies whether the output value of the related process is valid. Further, the composite process analysis unit 216 outputs the verification result to the determination unit 217, and the process proceeds to step S516. Note that the processing in steps S513 to S515 corresponds to processing by the second determination unit.

ステップＳ５１６〜Ｓ５２３は、第４の実施形態におけるステップＳ４１３〜Ｓ４２０と同一であるため、説明を省略する。   Steps S516 to S523 are the same as steps S413 to S420 in the fourth embodiment, and thus description thereof is omitted.

以上説明したように、第５の実施形態に係る情報処理装置は、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、関連する他の画像形成プロセスの出力値の正当性を判定する。これにより、各画像形成プロセスの出力値の正当性と、当該画像形成プロセスに関連する他の画像形成プロセスの出力値の正当性の両面から、画像形成プロセスの正当性を判定することができる。   As described above, the information processing apparatus according to the fifth embodiment determines the validity of the output value of another related image forming process at the timing when the output value changes in any of the image forming processes. To do. Thereby, it is possible to determine the validity of the image forming process from both the validity of the output value of each image forming process and the validity of the output value of another image forming process related to the image forming process.

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。   It is possible to combine this embodiment with the first to third embodiments.

＜第６の実施形態＞
次に、図２、図２４、図２５、及び図３０を参照して、本発明における第６の実施形態について説明する。第５の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、関連する他の画像形成プロセスの出力値の正当性を判定している。これに対して、第６の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じた際に、出力値の変化に遅延が生じる場合に関して、当該プロセスに関連する他の画像形成プロセスの出力値の正当性を判定することを特徴とする。以下では、第１乃至第５の実施形態と異なる技術を中心として、本実施形態について説明する。 <Sixth Embodiment>
Next, with reference to FIGS. 2, 24, 25, and 30, a sixth embodiment of the present invention will be described. In the fifth embodiment, the validity of the output value of another related image forming process is determined at the timing when the output value changes in any of the image forming processes. On the other hand, in the sixth embodiment, when a change occurs in the output value in any one of the image forming processes, another image forming process related to the process is delayed when the change in the output value is delayed. The validity of the output value is determined. In the following, the present embodiment will be described with a focus on technologies different from the first to fifth embodiments.

＜情報処理装置の機能構成＞
第６の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により、実現できる。 <Functional configuration of information processing apparatus>
The sixth embodiment can be realized by the same configuration as the functional configuration example shown in FIG. 2 according to the first embodiment.

シミュレーション部２００は、第１の実施形態と同様である。ただし、画像形成プロセスの出力値に変化が生じる際に、画像形成プロセスごとに、所定の遅延時間を発生させる。シミュレーション部２００は、当該遅延時間を考慮に入れたシミュレーションを実行し、その結果を検証部２１０へ出力する。   The simulation unit 200 is the same as that in the first embodiment. However, when a change occurs in the output value of the image forming process, a predetermined delay time is generated for each image forming process. The simulation unit 200 executes a simulation taking the delay time into consideration, and outputs the result to the verification unit 210.

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。   As in the first embodiment, the verification unit 210 includes a user setting unit 211, a setting information storage unit 212, an input information storage unit 213, an analysis unit 214, and a determination unit 217. Below, the part which concerns on this embodiment among the functions of each component of the verification part 210 is demonstrated.

ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１の実施形態と同様である。また、単一プロセス判定条件及び複合プロセス判定条件については、第４及び第５の実施形態と同様である。   Among the data to be set in the user setting unit 211, the timing log, paper size, speed, and image forming process position are the same as those in the first embodiment. The single process determination condition and the composite process determination condition are the same as those in the fourth and fifth embodiments.

図２４は、第６の実施形態に係る、各画像形成プロセスにおける遅延時間を設定するための設定画面の一例を示す図である。ユーザは、各画像形成プロセスに対して、異なる遅延時間を設定することができる。ここで設定される遅延時間は、複合プロセス解析部２１６において、解析結果が正当か否かを判定するために用いられる。なお、図２４には図示していないが、各画像形成プロセスにおける出力値の変化量に応じて、異なる遅延時間を設定するようにしてもよい。   FIG. 24 is a diagram illustrating an example of a setting screen for setting a delay time in each image forming process according to the sixth embodiment. The user can set different delay times for each image forming process. The delay time set here is used by the composite process analysis unit 216 to determine whether the analysis result is valid. Although not shown in FIG. 24, different delay times may be set according to the amount of change in the output value in each image forming process.

次に、複合プロセス解析部２１６において、上述の遅延時間を考慮してシミュレーション結果を検証する方法について説明する。図２５は、第６の実施形態に係る、シミュレーション部２００において設定された設定値と、遅延時間を考慮した出力値との関係の一例を示す図である。図２５では、画像形成プロセスＡにおいて、出力の設定値に対して、シミュレーション結果の出力値は、変化前の状態から変化後の状態へ移行する際に、所定の遅延時間が生じるとともに出力値が不定となることを示している。ここで、画像形成プロセスＡが、他のプロセスについての関連プロセスとなっている場合を想定する。その場合、当該他のプロセスの出力値に変化が生じた際に、関連プロセスである画像形成プロセスＡの値が不定であると、複合プロセス解析部２１６は、関連プロセスの出力値が正当ではないことを示す情報を出力する。   Next, a method for verifying the simulation result in consideration of the above-described delay time in the composite process analysis unit 216 will be described. FIG. 25 is a diagram illustrating an example of a relationship between a setting value set in the simulation unit 200 and an output value considering delay time according to the sixth embodiment. In FIG. 25, in the image forming process A, when the output value of the simulation result is shifted from the state before the change to the state after the change with respect to the output set value, a predetermined delay time is generated and the output value is It shows that it becomes indefinite. Here, it is assumed that the image forming process A is a related process for other processes. In this case, if the output value of the other process is changed and the value of the image forming process A, which is a related process, is indefinite, the composite process analysis unit 216 does not accept the output value of the related process. The information which shows that is output.

＜情報処理装置における検証処理の手順＞
第６の実施形態に係る情報処理装置の検証部２１０における検証処理は、第５の実施形態の図３０と同様のフローチャートにより実現される。ここでは、第５の実施形態と異なる部分についてのみ説明する。 <Procedure of verification processing in information processing apparatus>
The verification process in the verification unit 210 of the information processing apparatus according to the sixth embodiment is realized by the same flowchart as FIG. 30 of the fifth embodiment. Here, only the parts different from the fifth embodiment will be described.

情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。ここで、シミュレーション部２００は、上述の遅延時間をシミュレーション条件として設定し、当該シミュレーションを実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。   First, the information processing apparatus 100 executes a simulation of a control operation in the image forming apparatus in the simulation unit 200 based on a simulation condition set by a user. Here, the simulation unit 200 sets the above-described delay time as a simulation condition, and executes the simulation. Regarding the output result obtained by the simulation, the information processing apparatus 100 executes a verification process based on the following flow in the verification unit 210.

ステップＳ５０１で、ユーザは、第１乃至第５の実施形態と同様、ユーザ設定部２１１において、検証処理に必要な設定を行う。ここで、ユーザは、第６の実施形態に係る遅延時間に関する設定を行う。その後、ステップＳ５０２へ移行する。なお、ステップＳ５０２〜Ｓ５１４は第５の実施形態と同一であるため、説明を省略する。   In step S501, the user performs settings necessary for the verification process in the user setting unit 211, as in the first to fifth embodiments. Here, the user makes settings related to the delay time according to the sixth embodiment. Thereafter, the process proceeds to step S502. Steps S502 to S514 are the same as those in the fifth embodiment, and a description thereof will be omitted.

ステップＳ５１５で、複合プロセス解析部２１６は、主プロセスに対する関連プロセスの出力値が正当であるか否か検証する。その際、当該関連プロセスの出力値が不定である場合には、正当ではないことを示す情報の判定を行う。複合プロセス解析部２１６は、当該検証結果を判定部２１７へ出力し、ステップＳ５１６へ移行する。   In step S515, the composite process analysis unit 216 verifies whether the output value of the related process with respect to the main process is valid. At this time, if the output value of the related process is indefinite, the information indicating that it is not valid is determined. The composite process analysis unit 216 outputs the verification result to the determination unit 217, and the process proceeds to step S516.

ステップＳ５１６〜Ｓ５２３は、第５の実施形態と同様であるため、説明を省略する。   Steps S516 to S523 are the same as those in the fifth embodiment, and a description thereof will be omitted.

以上説明したように、第６の実施形態に係る情報処理装置は、何れかの画像形成プロセスにおいて出力値に変化が生じた際に、出力値の変化に遅延が生じる場合を想定し、当該プロセスに関連する他の画像形成プロセスの出力値の正当性を判定する。これにより、第５の実施形態に係る情報処理装置と比較して、より現実的な条件をシミュレーション条件として設定した場合において、当該シミュレーション結果の正当性について判定することができる。   As described above, the information processing apparatus according to the sixth embodiment assumes a case where a change occurs in the output value when a change occurs in the output value in any of the image forming processes, and the process The validity of the output value of the other image forming process related to is determined. Thereby, compared with the information processing apparatus according to the fifth embodiment, when a more realistic condition is set as the simulation condition, the validity of the simulation result can be determined.

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。   It is possible to combine this embodiment with the first to third embodiments.

第１の実施形態に係る情報処理装置の構成例を示す図である。It is a figure which shows the structural example of the information processing apparatus which concerns on 1st Embodiment. 第１の実施形態に係る情報処理装置の機能構成例を示す図である。It is a figure which shows the function structural example of the information processing apparatus which concerns on 1st Embodiment. 第１の実施形態に係る、検証部へ与えられるタイミングログファイルと、搬送される用紙の先端をタイミングログから検出するための基準信号とを設定するための設定画面の一例を示す図である。It is a figure which shows an example of the setting screen for setting the timing log file given to a verification part based on 1st Embodiment, and the reference signal for detecting the front-end | tip of the conveyed paper from a timing log. 第１の実施形態に係る、シミュレーションに用いられた用紙サイズを設定するための設定画面の一例を示す図である。It is a figure which shows an example of the setting screen for setting the paper size used for the simulation based on 1st Embodiment. 第１の実施形態に係る、各画像形成プロセスの実行に基づいて形成された画像が各処理部から転写部まで搬送される際の搬送速度と、用紙が転写部まで搬送される際の搬送速度とを設定するための設定画面の一例を示す図である。The conveyance speed when an image formed based on execution of each image forming process according to the first embodiment is conveyed from each processing unit to the transfer unit, and the conveyance rate when the sheet is conveyed to the transfer unit It is a figure which shows an example of the setting screen for setting. 第１の実施形態に係る、基準位置から各画像形成プロセスの処理が行われる位置までの距離を設定するための設定画面の一例を示す図である。6 is a diagram illustrating an example of a setting screen for setting a distance from a reference position to a position where each image forming process is performed according to the first embodiment. FIG. 第１の実施形態に係る、各画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。FIG. 6 is a diagram illustrating an example of a setting screen for setting conditions used for determining whether or not each image forming process is being executed according to the first embodiment. 第１の実施形態に係る、各画像形成プロセスにより形成された画像が用紙上で転写される位置の許容範囲を設定するための設定画面の一例を示す図である。FIG. 6 is a diagram illustrating an example of a setting screen for setting an allowable range of a position where an image formed by each image forming process is transferred on a sheet according to the first embodiment. 第１の実施形態に係る、単一の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。6 is a diagram illustrating a relationship between an execution timing in a single image forming process and a sheet detection timing based on a sheet detection signal according to the first embodiment. FIG. 第１の実施形態に係る、複数の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。FIG. 6 is a diagram illustrating a relationship between execution timings in a plurality of image forming processes and sheet detection timing based on a sheet detection signal according to the first embodiment. 第１の実施形態に係る、複数の画像形成プロセスと画像形成領域との関係を示す図である。It is a figure which shows the relationship between the several image formation process and image formation area based on 1st Embodiment. 第１の実施形態に係る、用紙の位置と画像形成領域との関係を示す図である。FIG. 5 is a diagram illustrating a relationship between a sheet position and an image forming area according to the first embodiment. 第１の実施形態に係る、画像形成領域の正当性に関する判定方法の一例を示す図である。It is a figure which shows an example of the determination method regarding the correctness of an image formation area based on 1st Embodiment. シミュレーションの対象となる画像形成装置の構成例を示す図である。1 is a diagram illustrating a configuration example of an image forming apparatus to be simulated. 第２の実施形態に係る、画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。FIG. 10 is a diagram illustrating an example of a setting screen for setting a condition used for determining whether or not an image forming process is being executed according to the second embodiment. 第４の実施形態に係る、単一プロセス解析部における単一プロセス判定条件を設定するための設定画面の一例を示す図である。It is a figure which shows an example of the setting screen for setting the single process determination condition in the single process analysis part based on 4th Embodiment. 第４の実施形態に係る、各画像形成プロセスにおける入力信号に対する単一プロセス判定条件の一例を示す図である。It is a figure which shows an example of the single process determination conditions with respect to the input signal in each image formation process based on 4th Embodiment. 第４の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。FIG. 10 is a diagram illustrating an example of a relationship between a / TOP signal and output value change timing in each image forming process according to the fourth embodiment. 第４の実施形態に係る、単一プロセス解析部における画像形成プロセスごとの判定用データの参照位置を示す図である。It is a figure which shows the reference position of the data for determination for every image formation process in the single process analysis part based on 4th Embodiment. 第５の実施形態に係る、複合プロセス解析部における複合プロセス判定条件を設定するための設定画面の一例を示す図である。It is a figure which shows an example of the setting screen for setting the composite process determination condition in the composite process analysis part based on 5th Embodiment. 第５の実施形態に係る、各画像形成プロセスにおける入力信号に対する複合プロセス判定条件の一例を示す図である。It is a figure which shows an example of the composite process determination conditions with respect to the input signal in each image formation process based on 5th Embodiment. 第５の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。FIG. 10 is a diagram illustrating an example of a relationship between a / TOP signal and output value change timing in each image forming process according to a fifth embodiment. 第５の実施形態に係る、各画像形成プロセスの出力値の変化と、当該プロセスの実行に基づいて形成された画像が用紙に転写される位置との関係の一例を示す図である。It is a figure which shows an example of the relationship between the change of the output value of each image formation process based on 5th Embodiment, and the position where the image formed based on execution of the said process is transcribe | transferred to a paper. 第６の実施形態に係る、各画像形成プロセスにおける遅延時間を設定するための設定画面の一例を示す図である。It is a figure which shows an example of the setting screen for setting the delay time in each image formation process based on 6th Embodiment. 第６の実施形態に係る、シミュレーション部において設定された設定値と、遅延時間を考慮した出力値との関係の一例を示す図である。It is a figure which shows an example of the relationship between the setting value set in the simulation part, and the output value which considered delay time based on 6th Embodiment. 第１の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。It is a flowchart which shows the procedure of the verification process in the verification part of the information processing apparatus which concerns on 1st Embodiment. 第２の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。It is a flowchart which shows the procedure of the verification process in the verification part of the information processing apparatus which concerns on 2nd Embodiment. 第３の実施形態に係る情報処理装置のシミュレーション部におけるシミュレーションと検証部における検証処理との手順を示すフローチャートである。It is a flowchart which shows the procedure of the simulation in the simulation part of the information processing apparatus which concerns on 3rd Embodiment, and the verification process in a verification part. 第４の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。It is a flowchart which shows the procedure of the verification process in the verification part of the information processing apparatus which concerns on 4th Embodiment. 第５の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。It is a flowchart which shows the procedure of the verification process in the verification part of the information processing apparatus which concerns on 5th Embodiment.

１００：情報処理装置
１０１：中央処理装置（ＣＰＵ）
１０２：ＲＯＭ
１０３：ＲＡＭ
１０４：入力インタフェース
１０５：入力装置
１０６：出力インタフェース
１０７：出力装置
１０７ａ：表示装置
１０７ｂ：出力装置
１０８：外部記憶装置インタフェース
１０９：ハードディスク
１０９ａ：処理プログラム
１０９ｂ：設定データ
１０９ｃ：ファームウェア
１１０：外部記憶装置
１２０：バス
２００：シミュレーション部
２０１：ＣＰＵシミュレータ
２０２：外的要因シミュレータ
２１０：検証部
２１１：ユーザ設定部
２１２：設定情報格納部
２１３：入力情報格納部
２１４：解析部
２１５：単一プロセス解析部
２１６：複合プロセス解析部
２１７：判定部
２：中間転写ベルト（ＩＴＢ）
３ａ、３ｂ、３ｃ、３ｄ：感光ドラム
４ａ、４ｂ、４ｃ、４ｄ：帯電ローラ
５ａ、５ｂ、５ｃ、５ｄ：露光部
６ａ、６ｂ、６ｃ、６ｄ：プロセスカートリッジ
７：二次転写ローラ
８ａ、８ｂ、８ｃ、８ｄ：現像器
１０：定着部
１１：用紙
１２：ピックアップローラ
１３：用紙格納カセット
１４：レジストローラ
１５：レジストセンサ
２２ａ、２２ｂ、２２ｃ、２２ｄ：一次転写ローラ 100: Information processing apparatus 101: Central processing unit (CPU)
102: ROM
103: RAM
104: input interface 105: input device 106: output interface 107: output device 107a: display device 107b: output device 108: external storage device interface 109: hard disk 109a: processing program 109b: setting data 109c: firmware 110: external storage device 120 : Bus 200: Simulation unit 201: CPU simulator 202: External factor simulator 210: Verification unit 211: User setting unit 212: Setting information storage unit 213: Input information storage unit 214: Analysis unit 215: Single process analysis unit 216: Composite process analysis unit 217: Determination unit 2: Intermediate transfer belt (ITB)
3a, 3b, 3c, 3d: photosensitive drums 4a, 4b, 4c, 4d: charging rollers 5a, 5b, 5c, 5d: exposure units 6a, 6b, 6c, 6d: process cartridge 7: secondary transfer rollers 8a, 8b, 8c, 8d: Developer 10: Fixing unit 11: Paper 12: Pickup roller 13: Paper storage cassette 14: Registration roller 15: Registration sensors 22a, 22b, 22c, 22d: Primary transfer roller

Claims (17)

記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、
前記シミュレーション手段は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
を備え、
前記検証手段は、
前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、
前記信号検出手段により、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、
前記第１の特定手段により特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定手段と、
前記第２の特定手段により特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定手段と、
前記判定手段により、前記第２の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段と
を備えることを特徴とする情報処理装置。 An information processing apparatus comprising simulation means for simulating control operations of a plurality of loads included in an image forming apparatus that performs image formation on a recording material, and verification means for verifying a simulation log by the simulation means,
The simulation means includes
First setting means for setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Simulation execution means for outputting in time series output values indicating the control state of
The verification means includes
At the timing when the output value is output by the simulation execution means, a first reference for determining whether or not processing at each load has been executed based on the output value, and an image is formed on the recording material A second setting means for setting a second reference for determining whether or not the image forming area as the position to be set is valid;
Referring to the time-series output values by the simulation execution means, and detecting a signal serving as a calculation reference for the timing at which the recording material reaches the transfer portion among the output values;
When the signal is detected by the signal detection means, the timing at which the recording material reaches the transfer portion is calculated, and at the calculated timing, the time-series output values corresponding to the respective loads are referred to, A first specifying means for determining whether each of the output values satisfies the first criterion, and specifying a period during which the processing is executed in each load;
Second specifying means for specifying the image forming area based on the period of each load specified by the first specifying means;
Determining means for determining whether or not the image forming area specified by the second specifying means satisfies the second reference;
If the determination means determines that the second criterion is satisfied, the information indicating that the simulation result by the simulation means is valid is output, and the second criterion is not satisfied. An information processing apparatus comprising: output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined. 前記第２の特定手段は、
前記記録材が前記転写部へ到達するタイミングと、前記期間において形成された画像が前記転写部へ到達するタイミングとを比較することにより、前記画像形成領域を特定することを特徴とする請求項１に記載の情報処理装置。 The second specifying means includes:
2. The image forming area is identified by comparing a timing at which the recording material reaches the transfer portion and a timing at which an image formed in the period reaches the transfer portion. The information processing apparatus described in 1. 前記第２の基準は、
前記記録材の搬送方向に対する前記画像形成領域の先端及び後端が、前記記録材の先端及び後端から予め定められた範囲に存在し、かつ、前記画像形成領域の先端と後端との間に、画像を形成しない領域が存在しない場合に、前記画像形成領域が正当であると判定する基準であることを特徴とする請求項１又は２に記載の情報処理装置。 The second criterion is:
The leading edge and the trailing edge of the image forming area with respect to the conveyance direction of the recording material are present in a predetermined range from the leading edge and the trailing edge of the recording material, and between the leading edge and the trailing edge of the image forming area. The information processing apparatus according to claim 1, wherein the image forming area is a criterion for determining that the image forming area is valid when there is no area where an image is not formed. 前記第１の設定手段は、
複数の前記画像形成条件に対応して、複数の前記シミュレーション条件を設定し、
前記第２の設定手段は、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値から識別した前記画像形成条件の変化に対応して、前記第１の基準を設定することを特徴とする請求項１乃至３の何れか１項に記載の情報処理装置。 The first setting means includes
In response to a plurality of the image forming conditions, a plurality of the simulation conditions are set,
The second setting means includes
4. The first reference is set according to a change in the image forming condition identified from the output value by referring to the output value in time series by the simulation execution unit. The information processing apparatus according to any one of the above. 前記シミュレーション実行手段は、
シミュレーションのログとして、各負荷の制御状態を示す時系列の前記出力値をリアルタイムに出力し、
前記検証手段は、
前記シミュレーション実行手段が出力した前記出力値を、リアルタイムに入力し、検証することを特徴とする請求項１乃至４の何れか１項に記載の情報処理装置。 The simulation execution means includes
As a simulation log, output the time-series output values indicating the control state of each load in real time,
The verification means includes
The information processing apparatus according to claim 1, wherein the output value output by the simulation execution unit is input and verified in real time. 前記検証手段は、
前記シミュレーション実行手段によるシミュレーションにおいて、１頁の記録材の画像形成に要する所要時間を算出する算出手段を更に備え、
前記信号検出手段により前記信号が検出された後、前記所要時間が経過するタイミングから、前記第１の特定手段による処理を開始することを特徴とする請求項５に記載の情報処理装置。 The verification means includes
In the simulation by the simulation execution means, further comprising a calculation means for calculating a time required for image formation of one page of recording material,
6. The information processing apparatus according to claim 5, wherein after the signal is detected by the signal detection unit, the processing by the first specifying unit is started at a timing when the required time elapses. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、
前記シミュレーション手段は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
を備え、
前記検証手段は、
前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出手段と、
前記信号検出手段により、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出手段と、
前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定手段と、
前記第１の判定手段による判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段と
を備えることを特徴とする情報処理装置。 An information processing apparatus comprising simulation means for simulating control operations of a plurality of loads included in an image forming apparatus that performs image formation on a recording material, and verification means for verifying a simulation log by the simulation means,
The simulation means includes
First setting means for setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Simulation execution means for outputting in time series output values indicating the control state of
The verification means includes
When a change occurs in the output value of each load at the timing when the output value is output by the simulation execution means, it is determined whether the timing at which the change has occurred and the output value are valid. Second setting means for setting a first reference for;
Referring to the output values in time series by the simulation execution means, and among the output values, signal detection means for detecting a vertical synchronization signal;
When the vertical sync signal is detected by the signal detection means, a change detection means for referring to the output values in time series corresponding to each load and detecting that a change has occurred in the output values;
Each time the change detection unit detects a change in the output value, the first determination unit determines whether the timing of the change and the output value satisfy the first criterion. When,
As a result of the determination by the first determination means, it is determined that all the timings of change in the time series of the output values and all the output values at each timing satisfy the first criterion Outputs information indicating that the simulation result by the simulation means is valid, and the timing of any change in the time series of the output value or the output value at the timing satisfies the first criterion. An information processing apparatus comprising: output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined that the simulation result is not correct. 前記第２の設定手段は、
前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、前記各負荷の前記出力値に変化が生じた際に、当該負荷と関連する他の負荷において、当該変化が生じたタイミングにおける前記他の負荷における前記出力値が正当であるか否かを判定するための第２の基準を更に設定し、
前記検証手段は、
前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化が検出された負荷と関連する前記他の負荷において、当該変化が生じたタイミングにおける前記出力値が前記第２の基準を満たしているか否かを判定する第２の判定手段を更に備え、
前記出力手段は、
前記第２の判定手段による判定の結果、前記出力値のうち何れかが前記第２の基準を満たしていない場合に、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力することを特徴とする請求項７に記載の情報処理装置。 The second setting means includes
When a change occurs in the output value of each load at the timing when the output value is output by the simulation execution means, the other load at the timing when the change occurs in another load related to the load. Further setting a second criterion for determining whether the output value at the load is valid;
The verification means includes
Each time a change in the output value is detected by the change detection means, the output value at the timing when the change occurs in the other load related to the load in which the change is detected is the second output value. A second determination unit for determining whether or not the criterion is satisfied;
The output means includes
As a result of the determination by the second determination means, if any of the output values does not satisfy the second criterion, information indicating that the simulation result by the simulation means is not valid is output. The information processing apparatus according to claim 7. 前記第１の設定手段は、
各負荷の制御状態に変化が生じた際に、変化前の状態から変化後の状態へ移行する際の遅延時間を、前記シミュレーション条件として更に設定し、
前記シミュレーション実行手段は、
前記シミュレーション条件に基づくシミュレーションの実行中に、各負荷の制御状態が変化する際の前記遅延時間において、各負荷の出力値が不定であることを示す情報を出力し、
前記第２の判定手段は、
前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化が検出された負荷と関連する前記他の負荷において、当該変化が生じたタイミングにおける前記出力値が不定である場合に、前記第２の基準を満たしているか否かを判定をすることを特徴とする請求項７又は８に記載の情報処理装置。 The first setting means includes
When a change occurs in the control state of each load, a delay time when shifting from the state before the change to the state after the change is further set as the simulation condition,
The simulation execution means includes
During execution of the simulation based on the simulation conditions, output information indicating that the output value of each load is indefinite in the delay time when the control state of each load changes,
The second determination means includes
Each time the change detection unit detects a change in the output value, the output value at the timing when the change occurs is undefined in the other load related to the load in which the change is detected. The information processing apparatus according to claim 7, wherein it is determined whether or not the second criterion is satisfied. 前記第１の設定手段は、
複数の前記画像形成条件に対応して、複数の前記シミュレーション条件を設定し、
前記第２の設定手段は、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値から識別した前記画像形成条件の変化に対応して、前記第１の基準を設定することを特徴とする請求項７乃至９の何れか１項に記載の情報処理装置。 The first setting means includes
In response to a plurality of the image forming conditions, a plurality of the simulation conditions are set,
The second setting means includes
10. The first reference is set in response to a change in the image forming condition identified from the output value by referring to the output value in time series by the simulation execution means. The information processing apparatus according to any one of the above. 前記シミュレーション実行手段は、
シミュレーションのログとして、各負荷の制御状態を示す時系列の前記出力値をリアルタイムに出力し、
前記検証手段は、
前記シミュレーション実行手段が出力した前記出力値を、リアルタイムに入力し、検証することを特徴とする請求項７乃至１０の何れか１項に記載の情報処理装置。 The simulation execution means includes
As a simulation log, output the time-series output values indicating the control state of each load in real time,
The verification means includes
The information processing apparatus according to claim 7, wherein the output value output from the simulation execution unit is input and verified in real time. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、
前記シミュレーション装置は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
を備え、
前記検証装置は、
前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、
前記信号検出手段により、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、
前記第１の特定手段により特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定手段と、
前記第２の特定手段により特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定手段と、
前記判定手段により、前記第２の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段と
を備えることを特徴とする情報処理システム。 An information processing system comprising: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus,
The simulation apparatus includes:
First setting means for setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Simulation execution means for outputting in time series output values indicating the control state of
The verification device includes:
At the timing when the output value is output by the simulation execution means, a first reference for determining whether or not processing at each load has been executed based on the output value, and an image is formed on the recording material A second setting means for setting a second reference for determining whether or not the image forming area as the position to be set is valid;
Referring to the time-series output values by the simulation execution means, and detecting a signal serving as a calculation reference for the timing at which the recording material reaches the transfer portion among the output values;
When the signal is detected by the signal detection means, the timing at which the recording material reaches the transfer portion is calculated, and at the calculated timing, the time-series output values corresponding to the respective loads are referred to, A first specifying means for determining whether each of the output values satisfies the first criterion, and specifying a period during which the processing is executed in each load;
Second specifying means for specifying the image forming area based on the period of each load specified by the first specifying means;
Determining means for determining whether or not the image forming area specified by the second specifying means satisfies the second reference;
When the determination means determines that the second criterion is satisfied, the information indicating that the simulation result by the simulation device is valid is output, and the second criterion is not satisfied. An information processing system comprising: output means for outputting information indicating that the simulation result by the simulation means is not valid when it is determined. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、
前記シミュレーション装置は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
を備え、
前記検証装置は、
前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、
前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出手段と、
前記信号検出手段により、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出手段と、
前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定手段と、
前記第１の判定手段による判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段と
を備えることを特徴とする情報処理システム。 An information processing system comprising: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus,
The simulation apparatus includes:
First setting means for setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, Simulation execution means for outputting in time series output values indicating the control state of
The verification device includes:
When a change occurs in the output value of each load at the timing when the output value is output by the simulation execution means, it is determined whether the timing at which the change has occurred and the output value are valid. Second setting means for setting a first reference for;
Referring to the output values in time series by the simulation execution means, and among the output values, signal detection means for detecting a vertical synchronization signal;
When the vertical sync signal is detected by the signal detection means, a change detection means for referring to the output values in time series corresponding to each load and detecting that a change has occurred in the output values;
Each time the change detection unit detects a change in the output value, the first determination unit determines whether the timing of the change and the output value satisfy the first criterion. When,
As a result of the determination by the first determination means, it is determined that all the timings of change in the time series of the output values and all the output values at each timing satisfy the first criterion Outputs information indicating that the simulation result by the simulation means is valid, and the timing of any change in the time series of the output value or the output value at the timing satisfies the first criterion. And an output unit that outputs information indicating that the simulation result by the simulation unit is not valid. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、
前記シミュレーション手段は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
を実行し、
前記検証手段は、
前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、
前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、
前記信号検出ステップにより、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、
前記第１の特定ステップにより特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定ステップと、
前記第２の特定ステップにより特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定ステップと、
前記判定ステップにより、前記第２の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップと
を実行することを特徴とする情報処理装置の制御方法。 A control method for an information processing apparatus comprising: simulation means for simulating control operations of a plurality of loads included in an image forming apparatus that forms an image on a recording material; and verification means for verifying a simulation log by the simulation means There,
The simulation means includes
A first setting step of setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Executing a simulation execution step of outputting in time series output values indicating the control state of
The verification means includes
An image is formed on the recording material and a first reference for determining whether or not processing at each load has been executed at the timing when the output value is output in the simulation execution step. A second setting step for setting a second reference for determining whether or not the image forming area as the position to be set is valid;
A signal detection step of referring to the time-series output values by the simulation execution step and detecting a signal serving as a calculation reference for the timing at which the recording material reaches the transfer portion among the output values;
When the signal is detected by the signal detection step, the timing at which the recording material reaches the transfer portion is calculated, and the time-series output values corresponding to the loads are referred to at the calculated timing, A first specifying step of determining whether each of the output values satisfies the first criterion, and specifying a period during which processing is executed in each load;
A second specifying step of specifying the image forming area based on the period of each load specified by the first specifying step;
A determination step of determining whether or not the image forming area specified by the second specifying step satisfies the second reference;
When it is determined by the determination step that the second criterion is satisfied, information indicating that the simulation result by the simulation unit is valid is output, and the second criterion is not satisfied. If determined, an output step of outputting information indicating that the simulation result by the simulation means is not valid is executed. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、
前記シミュレーション手段は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
を実行し、
前記検証手段は、
前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、
前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出ステップと、
前記信号検出ステップにより、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出ステップと、
前記変化検出ステップにより前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定ステップと、
前記第１の判定ステップによる判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップと
を実行することを特徴とする情報処理装置の制御方法。 A control method for an information processing apparatus comprising: simulation means for simulating control operations of a plurality of loads included in an image forming apparatus that forms an image on a recording material; and verification means for verifying a simulation log by the simulation means There,
The simulation means includes
A first setting step of setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Executing a simulation execution step of outputting in time series output values indicating the control state of
The verification means includes
When a change occurs in the output value of each load at the timing when the output value is output in the simulation execution step, it is determined whether the timing at which the change has occurred and the output value are valid. A second setting step for setting a first reference for
A signal detection step of detecting a vertical synchronization signal among the output values with reference to the time-series output values by the simulation execution step;
When the vertical synchronization signal is detected by the signal detection step, a change detection step of detecting that a change has occurred in the output value by referring to the output value in time series corresponding to each load;
A first determination step for determining whether the change timing and the output value satisfy the first criterion every time a change in the output value is detected by the change detection step. When,
As a result of the determination in the first determination step, when it is determined that all the timings of changes in the time series of the output values and all the output values at each timing satisfy the first criterion Outputs information indicating that the simulation result by the simulation means is valid, and the timing of any change in the time series of the output value or the output value at the timing satisfies the first criterion. And a step of outputting information indicating that the simulation result by the simulation means is not valid. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、
前記シミュレーション装置は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
を実行し、
前記検証装置は、
前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、
前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、
前記信号検出ステップにより、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、
前記第１の特定ステップにより特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定ステップと、
前記第２の特定ステップにより特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定ステップと、
前記判定ステップにより、前記第２の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップと
を実行することを特徴とする情報処理システムの制御方法。 A control method for an information processing system comprising: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus There,
The simulation apparatus includes:
A first setting step of setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Executing a simulation execution step of outputting in time series output values indicating the control state of
The verification device includes:
An image is formed on the recording material and a first reference for determining whether or not processing at each load has been executed at the timing when the output value is output in the simulation execution step. A second setting step for setting a second reference for determining whether or not the image forming area as the position to be set is valid;
A signal detection step of referring to the time-series output values by the simulation execution step and detecting a signal serving as a calculation reference for the timing at which the recording material reaches the transfer portion among the output values;
When the signal is detected by the signal detection step, the timing at which the recording material reaches the transfer portion is calculated, and the time-series output values corresponding to the loads are referred to at the calculated timing, A first specifying step of determining whether each of the output values satisfies the first criterion, and specifying a period during which processing is executed in each load;
A second specifying step of specifying the image forming area based on the period of each load specified by the first specifying step;
A determination step of determining whether or not the image forming area specified by the second specifying step satisfies the second reference;
When it is determined by the determination step that the second criterion is satisfied, information indicating that the simulation result by the simulation apparatus is valid is output, and the second criterion is not satisfied. If determined, an output step of outputting information indicating that the simulation result by the simulation means is not valid is executed. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、
前記シミュレーション装置は、
前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
を実行し、
前記検証装置は、
前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、
前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出ステップと、
前記信号検出ステップにより、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出ステップと、
前記変化検出ステップにより前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定ステップと、
前記第１の判定ステップによる判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップと
を実行することを特徴とする情報処理システムの制御方法。 A control method for an information processing system comprising: a simulation apparatus that simulates a control operation of a plurality of loads included in an image forming apparatus that performs image formation on a recording material; and a verification apparatus that verifies a simulation log by the simulation apparatus There,
The simulation apparatus includes:
A first setting step of setting image forming conditions in the image forming apparatus as simulation conditions;
Based on the simulation conditions, a control operation for controlling each load of the image forming apparatus in accordance with the conveyance timing of the recording material to the transfer unit that transfers the image to the recording material is simulated, and each load is used as a log of the simulation. Executing a simulation execution step of outputting in time series output values indicating the control state of
The verification device includes:
When a change occurs in the output value of each load at the timing when the output value is output in the simulation execution step, it is determined whether the timing at which the change has occurred and the output value are valid. A second setting step for setting a first reference for
A signal detection step of detecting a vertical synchronization signal among the output values with reference to the time-series output values by the simulation execution step;
When the vertical synchronization signal is detected by the signal detection step, a change detection step of detecting that a change has occurred in the output value by referring to the output value in time series corresponding to each load;
A first determination step for determining whether the change timing and the output value satisfy the first criterion every time a change in the output value is detected by the change detection step. When,
As a result of the determination in the first determination step, when it is determined that all the timings of changes in the time series of the output values and all the output values at each timing satisfy the first criterion Outputs information indicating that the simulation result by the simulation means is valid, and the timing of any change in the time series of the output value or the output value at the timing satisfies the first criterion. And a step of outputting information indicating that a simulation result by the simulation means is not valid.
JP2009012339A 2009-01-22 2009-01-22 Information processing apparatus, information processing system, and control method thereof Active JP5305944B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2009012339A JP5305944B2 (en) 2009-01-22 2009-01-22 Information processing apparatus, information processing system, and control method thereof

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2009012339A JP5305944B2 (en) 2009-01-22 2009-01-22 Information processing apparatus, information processing system, and control method thereof

Publications (3)

Publication Number Publication Date
JP2010170339A true JP2010170339A (en) 2010-08-05
JP2010170339A5 JP2010170339A5 (en) 2012-03-08
JP5305944B2 JP5305944B2 (en) 2013-10-02

Family

ID=42702439

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2009012339A Active JP5305944B2 (en) 2009-01-22 2009-01-22 Information processing apparatus, information processing system, and control method thereof

Country Status (1)

Country Link
JP (1) JP5305944B2 (en)

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH09305389A (en) * 1996-05-15 1997-11-28 Ricoh Co Ltd Simulation device for assisting software development
JP2005157791A (en) * 2003-11-26 2005-06-16 Seiko Epson Corp Printer simulator and simulation method of printer
JP2006107370A (en) * 2004-10-08 2006-04-20 Canon Inc Information processing apparatus and its control method
JP2006113725A (en) * 2004-10-13 2006-04-27 Canon Inc Design support program and design support method
JP2007086992A (en) * 2005-09-21 2007-04-05 Canon Inc Design support program and design support method
JP2008041056A (en) * 2006-08-10 2008-02-21 Ricoh Co Ltd Software operation confirmation method, information processing system and information processor

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH09305389A (en) * 1996-05-15 1997-11-28 Ricoh Co Ltd Simulation device for assisting software development
JP2005157791A (en) * 2003-11-26 2005-06-16 Seiko Epson Corp Printer simulator and simulation method of printer
JP2006107370A (en) * 2004-10-08 2006-04-20 Canon Inc Information processing apparatus and its control method
JP2006113725A (en) * 2004-10-13 2006-04-27 Canon Inc Design support program and design support method
JP2007086992A (en) * 2005-09-21 2007-04-05 Canon Inc Design support program and design support method
JP2008041056A (en) * 2006-08-10 2008-02-21 Ricoh Co Ltd Software operation confirmation method, information processing system and information processor

Also Published As

Publication number Publication date
JP5305944B2 (en) 2013-10-02

Similar Documents

Publication Publication Date Title
US8879075B2 (en) Setting apparatus, inspection system, setting method of inspection processing, and program
JP4748666B2 (en) Simulation system, simulation apparatus, image forming apparatus, simulation method, program, and storage medium
JP2012161974A (en) Image forming system
US11558521B2 (en) Image forming apparatus improved in setting process for recording medium, method of controlling the same, and storage medium
JP5448768B2 (en) Information processing apparatus and control method thereof
JP2009075155A (en) Color image forming apparatus, alignment correction method, alignment program and recording medium
JP2007268739A (en) Consumption article information displaying device, image forming device, and consumption article information displaying method
JP2010128722A (en) Simulation system, simulation method and program
JP2010113286A (en) Control device, image forming apparatus, and program
JP5305944B2 (en) Information processing apparatus, information processing system, and control method thereof
JP5686609B2 (en) Information processing apparatus and program
JP4977550B2 (en) Image forming apparatus and program
JP4605540B2 (en) OUTPUT SYSTEM, MANAGEMENT DEVICE, OUTPUT DEVICE, AND OUTPUT SYSTEM MANAGEMENT METHOD
JP4921086B2 (en) Image forming system
JP2006163052A (en) Image output controller
JP4720509B2 (en) Image forming apparatus
JP5853500B2 (en) Control device and image forming apparatus
JP2008032926A (en) Image forming system and control method thereof
US8705096B2 (en) Image forming apparatus and display method for displaying different component information based on a type of user of the image forming apparatus
JP5253825B2 (en) Image forming apparatus
JP2021005005A (en) Image forming apparatus
JP2019042953A (en) Image formation apparatus and image formation system
JP6729099B2 (en) Image forming device
JP2015205435A (en) Image formation device, information notification program, information notification method and image reading device
JP2021005003A (en) Image forming apparatus

Legal Events

Date Code Title Description
A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120120

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20120120

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20130527

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20130625

R151 Written notification of patent or utility model registration

Ref document number: 5305944

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R151