JP5305944B2 - 情報処理装置、情報処理システム及びそれらの制御方法 - Google Patents

Description

本発明は、シート状の記録材に画像を形成する画像形成装置をシミュレーションし、その結果を検証する情報処理装置、情報処理システム及びそれらの制御方法に関するものである。

一般に、組み込み系システムである画像形成装置の設計過程において、その制御仕様に合わせて、画像形成装置に組み込む制御ソフトウェアが構築される。制御ソフトウェアを構築する際には、画像形成装置の実機が存在しない状態においても、構築した制御ソフトウェアを正当に評価できることが望ましい。そのため、コンピュータ等の情報処理装置上で制御ソフトウェアに関するシミュレーションを実行し、シミュレーション結果のログを検証することで、構築した制御ソフトウェアの正当性を評価する手法が提案されている。

例えば、特許文献１では、組み込み系システムの制御ソフトウェアをシミュレーションし、そのシミュレーションのログに基づき、当該制御ソフトウェアを評価するシミュレーション装置が提案されている。また、当該シミュレーション装置は、出力されたログについて、予め設定した期待値や、前回のシミュレーションの出力結果と比較することで、制御ソフトウェアの正当性を判定する機能を有する。
特開２００５−４９９４７号公報

しかしながら、上述の従来技術には、以下のような問題がある。例えば、制御ソフトウェアの正当性を判定する際に、当該ソフトウェアによる制御のタイミングを考慮していないという問題がある。画像形成装置の制御動作に関するシミュレーションを実行する場合を想定すると、各画像形成プロセスの出力値のみが評価され、各々のプロセスの制御タイミングが評価されないことになる。その結果、画像形成プロセスの出力値が正当であっても、制御タイミングが正当でない場合には、記録材上の適切な位置に画像を形成できない問題が起こりうる。

また、制御ソフトウェアの正当性の評価に必要なパラーメータの設定を、シミュレーション過程において変更する場合を想定していないという問題がある。例えば、画像形成装置において、記録材に連続的に画像形成を行う際に、途中で画像形成の条件を変更する場合に、その制御動作の正当性を適切に評価できないという問題がある。

本発明は、上述の問題に鑑みてなされたものであり、画像形成装置の制御動作に関するシミュレーションを実行し、当該制御動作の制御タイミングに基づいてシミュレーション結果を検証する情報処理装置及び情報処理システムを提供することを目的としている。

本発明は、例えば、情報処理装置として実現できる。情報処理装置は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証手段は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、信号検出手段により、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、第１の特定手段により特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定手段と、第２の特定手段により特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定手段と、判定手段により、第２の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段とを備えることを特徴とする。

本発明は、例えば、情報処理装置として実現できる。情報処理装置は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証手段は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出手段と、信号検出手段により、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出手段と、変化検出手段により出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定手段と、第１の判定手段による判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段とを備えることを特徴とする。

本発明は、例えば、情報処理システムとして実現できる。情報処理システムは、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証装置は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、信号検出手段により、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、第１の特定手段により特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定手段と、第２の特定手段により特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定手段と、判定手段により、第２の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション装置によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段とを備えることを特徴とする。

本発明は、例えば、情報処理システムとして実現できる。情報処理システムは、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段とを備え、検証装置は、シミュレーション実行手段による出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、シミュレーション実行手段による時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出手段と、信号検出手段により、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出手段と、変化検出手段により出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定手段と、第１の判定手段による判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション装置によるシミュレーション結果が正当でないことを示す情報を出力する出力手段とを備えることを特徴とする。

本発明は、例えば、情報処理装置の制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証手段は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、信号検出ステップにより、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、第１の特定ステップにより特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定ステップと、第２の特定ステップにより特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定ステップと、判定ステップにより、第２の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップとを実行することを特徴とする。

本発明は、例えば、情報処理装置の制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、シミュレーション手段は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証手段は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出ステップと、信号検出ステップにより、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出ステップと、変化検出ステップにより出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定ステップと、第１の判定ステップによる判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップとを実行することを特徴とする。

本発明は、例えば、情報処理システムの制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証装置は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを出力値に基づいて判定するための第１の基準と、記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、転写部に記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、信号検出ステップにより、信号が検出されると、記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の出力値を参照し、出力値の各々が第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、第１の特定ステップにより特定された各負荷の期間に基づいて、画像形成領域を特定する第２の特定ステップと、第２の特定ステップにより特定された画像形成領域が、第２の基準を満たしているか否かを判定する判定ステップと、判定ステップにより、第２の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、第２の基準を満たしていないと判定された場合には、シミュレーション装置によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップとを実行することを特徴とする。

本発明は、例えば、情報処理システムの制御方法として実現できる。制御方法は、記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、シミュレーション装置は、画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて画像形成装置の各負荷を制御する制御動作をシミュレーションし、シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップとを実行し、検証装置は、シミュレーション実行ステップによる出力値が出力されたタイミングにおいて、各負荷の出力値に変化が生じた際に、当該変化が生じたタイミングと出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、シミュレーション実行ステップによる時系列の出力値を参照し、出力値のうち、垂直同期信号を検出する信号検出ステップと、信号検出ステップにより、垂直同期信号が検出されると、各負荷に対応する時系列の出力値を参照し、出力値に変化が生じたことを検出する変化検出ステップと、変化検出ステップにより出力値に生じた変化が検出されるごとに、当該変化のタイミングと、出力値とが、第１の基準を満たしているか否かを判定する第１の判定ステップと、第１の判定ステップによる判定の結果、出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての出力値とが、第１の基準を満たしていると判定された場合には、シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける出力値が、第１の基準を満たしていないと判定された場合には、シミュレーション装置によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップとを実行することを特徴とする。

本発明によれば、例えば、画像形成装置の制御動作に関するシミュレーションを実行し、当該制御動作の制御タイミングに基づいてシミュレーション結果を検証可能な情報処理装置及び情報処理システムを提供できる。また、本発明は、検証に必要な設定を、検証過程で任意に変更可能な情報処理装置及び情報処理システムを提供できる。

以下に本発明の一実施形態を示す。以下で説明される実施形態は、本発明の上位概念、中位概念及び下位概念など種々の概念を理解するために役立つであろう。また、本発明の技術的範囲は、特許請求の範囲によって確定されるのであって、以下の実施形態によって限定されるわけではない。

＜第１の実施形態＞
＜シミュレーション対象の画像形成装置の全体構成＞
以下では、図１乃至図１４、及び図２６を参照して、本発明における第１の実施形態について説明する。

まず、図１４を参照して、本実施形態に係る情報処理装置による計算機シミュレーションの対象となる画像形成装置について説明する。レーザビームプリンタ等の画像形成装置は、画像信号に従ってトナー像を形成し、シート状の記録材（用紙）１１上に当該トナー像を転写することで、画像形成を行う。画像形成装置は、画像形成処理において、露光、現像、転写、及び定着といった複数の画像形成プロセスを順次実行する。

図１４は、本実施形態におけるシミュレーションの対象となる画像形成装置の構成例を示す図である。画像形成装置は、インライン系の画像形成装置であって、シアン、マゼンタ、イエロー、及びブラックの各色のトナー像を形成する４個の像担持体である感光ドラム３ａ〜３ｄを備える。感光ドラム３ａ〜３ｄは、ドラム状の電子写真感光体であって、各々の表面に、正規の帯電極性が負極性のトナー像が形成される。感光ドラム３ａ〜３ｄの周囲には、帯電ローラ４ａ〜４ｄと現像器８ａ〜８ｄとが配置され、これらは一体としてプロセスカートリッジ６ａ〜６ｄに備えられる。また、感光ドラム３ａ〜３ｄの上方には、露光部５ａ〜５ｄが配置され、下方には中間転写体である中間転写ベルト（以下では、「ＩＴＢ」と称する。）２が配置される。ローラ２１、２３、２４、及び一次転写ローラ２２ａ〜２２ｄの周囲に張設されるＩＴＢ２は、ローラ２１により駆動され、感光ドラム３ａ〜３ｄと略同速で矢印方向に回転される。以下では、当該画像形成装置における画像形成の流れについて説明する。

感光ドラム３ａ〜３ｄは、接触する帯電ローラ４ａ〜４ｄによって負極性に帯電される。帯電した感光ドラム３ａ〜３ｄに対し、露光部５ａ〜５ｄは、色分解された画像信号に基づいて各色の光像を露光する。これにより、感光ドラム３ａ〜３ｄの表面に、各色の潜像が形成される。各潜像は、現像器８ａ〜８ｄによって反転現像され、各色のトナー像が感光ドラム３ａ〜３ｄの表面に順次形成される。感光ドラム３ａ〜３ｄ上の各色のトナー像は、一次転写ローラ２２ａ〜２２ｄに印加される一次転写バイアス（正極性の電圧）によって、ＩＴＢ２の外周面に対して順次、静電的に一次転写される。その結果、ＩＴＢ２上には複数色のトナー像が重畳的に形成される。

次に、ピックアップローラ１２によって用紙格納カセット１３内から用紙１１が給紙され、レジストセンサ１５に到達して停止する。その後、用紙１１は、所定のタイミングにおいて、レジストローラ１４によって転写部へ給紙される。それと同時に、二次転写ローラ７に二次転写バイアス（正極性の電圧）が印加されることにより、ＩＴＢ２から用紙１１へトナー像が静電的に転写される。用紙１１は、レジストローラ１４及び二次転写ローラ７によって定着部１０まで搬送され、転写されたトナー像が溶融固着される。以上により、用紙１１上にカラー画像が形成される。

本実施形態に係る情報処理装置は、上述のような画像形成装置の制御動作に関するシミュレーションを実行し、当該シミュレーション結果の正当性について、制御タイミングの検証を含む検証処理を実行する。さらに、当該シミュレーションに基づく画像形成装置の制御動作の正当性に関する情報を出力する。

＜情報処理装置の概略構成＞
図１は、第１の実施形態に係る情報処理装置の構成例を示す図である。情報処理装置１００は、パーソナルコンピュータ、ワークステーション等により実現できる。中央処理装置（ＣＰＵ）１０１は、バス１２０を介して１０２〜１０９の装置に対してアクセスし、それらを制御する。ＲＯＭ１０２は、ＣＰＵ１０１からバス１２０を介してアクセス可能な読み出し専用メモリである。ＲＡＭ１０３は、読み書き可能なメモリである。入力インタフェース１０４は、キーボード、マウス、タブレット等の入力装置１０５を介してユーザからの入力を受け付ける。出力インタフェース１０６は、出力装置１０７に対してデータの表示や出力を行うためのインタフェースである。出力装置１０７は、ＣＲＴ、ＬＣＤ等の表示装置１０７ａ、プリンタ、プロッタ等の出力装置１０７ｂを含む。外部記憶インタフェース１０８は、ハードディスク１０９や、ＦＤ、ＣＤ-ＲＯＭ、ＭＯ、ＣＦといった外部記憶装置１１０に対するデータの入出力を行うインタフェースである。ハードディスク１０９は、画像形成プロセスの検証機能を実現する処理プログラム１０９ａ、画像形成プロセスの検証の対象となる機器の情報を含む各種の設定データ１０９ｂ、及びファームウェア１０９ｃを格納する。

画像形成プロセスの検証処理の際には、処理プログラム１０９ａ、設定データ１０９ｂ、及びファームウェア１０９ｃがＲＡＭ１０３にロードされ、情報処理装置１００のＣＰＵ１０１によってプログラムが実行される。

情報処理装置１００において、本実施形態に係るシミュレーション及び検証処理は、基本プログラムであるオペレーティング・システム（ＯＳ）を介して実行される。以下、本実施形態では、情報処理装置１００のＯＳとしてマイクロソフト（登録商標）社製のウィンドウズ（登録商標）を例に説明するが、本発明はこれに限定されるものではない。

＜情報処理装置の機能構成＞
図２は、第１の実施形態に係る情報処理装置の機能構成例を示す図である。情報処理装置１００は、画像形成装置における制御動作のシミュレーションを行うシミュレーション部２００と、当該シミュレーション結果を検証する検証部２１０とを、機能モジュールとして有する。以下では、情報処理装置１００の各部の機能を説明するとともに、本実施形態に係るシミュレーション及び検証処理について説明する。なお、ここでは、シミュレーション部２００と検証部２１０とを備える情報処理装置１００として説明するが、本発明は、シミュレーション装置及び検証装置を備える情報処理システムとしても実現できる。

情報処理装置１００は、画像形成装置における制御動作のシミュレーションを開始する際に、ユーザによって入力された画像形成条件を、シミュレーション部２００へ入力する。画像形成条件には、用紙サイズ、印刷枚数、カラー画像かモノクロ画像か、片面印刷か両面印刷か、外気温等の種々の情報が含まれる。

シミュレーション部２００は、入力された画像形成条件を、シミュレーション条件として設定する。なお、当該処理は第１の設定手段による処理に相当する。シミュレーション部２００は、ＣＰＵシミュレータ２０１と外的要因シミュレータ２０２とを含み、シミュレーション条件に従って画像形成装置のシミュレーションを実行する。ＣＰＵシミュレータ２０１は、画像形成装置のＣＰＵへ実際に搭載される制御ソフトウェアを用いて、シミュレーションを実行する。外的要因シミュレータ２０２は、画像形成処理における各々の各負荷（画像形成プロセス）をシミュレーションする。また、外的要因シミュレータ２０２は、ＣＰＵシミュレータ２０１が実機と同様に動作可能なように、各プロセスの出力信号をＣＰＵシミュレータ２０１に対して出力する。具体的には、外的要因シミュレータ２０２は、ＣＰＵシミュレータ２０１からの出力に合わせて、用紙検出センサや駆動アクチュエータ等の出力信号をＣＰＵシミュレータ２０１へ出力する。シミュレーション部２００は、当該シミュレーションのログとして、各プロセスの制御状態を示す出力値を時系列に出力し、ファイルに保存する。出力されたログ（以下では、「タイミングログ」と称する。）は、検証部２１０へ出力され、シミュレーション結果の検証処理に使用される。なお、シミュレーション部２００におけるシミュレーションは、シミュレーション実行手段による処理に相当する。

検証部２１０は、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。また、解析部２１４は、単一プロセス解析部２１５、及び複合プロセス解析部２１６を含む。検証部２１０は、シミュレーション部２００のシミュレーション結果であるタイミングログを、検証対象の情報として入力する。以下では、検証部２１０の各構成要素の機能について説明する。

ユーザ設定部２１１は、タイミングログ、用紙サイズ、速度、画像形成プロセス位置、画像形成プロセス判定条件、及び基準画像領域といった、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定された各設定データは、設定情報格納部２１２へ格納される。ここで、図３乃至図８を参照して、ユーザ設定部２１１において設定される各設定データについて説明する。なお、図３乃至図８では、図２で図示しない情報処理装置の表示部に表示される各設定画面を示している。なお、ユーザ設定部２１１における処理は、第２の設定手段による処理に相当する。

図３は、第１の実施形態に係る、検証部２１０へ与えられるタイミングログファイルと、搬送される用紙の先端をタイミングログから検出するための基準信号とを設定するための設定画面の一例を示す図である。タイミングログファイルは、シミュレーション部２００において所定のフォーマットで生成される。当該ファイルには、各プロセスにおける事象の発生や状態等を示す数値が時系列のログとして記述されている。なお、既存の実機を用いることにより、タイミングログファイルを生成することも可能である。図３の設定画面では、検証部２１０において検証対象とするファイルを選択する。また、当該ファイルとともに選択された基準信号は、用紙の先端を検出するための基準となる信号であって、検証部２１０において時系列のタイミングログを検証するための基準となる。図３に示すように、本実施形態では、二次転写部における用紙検出信号を基準信号として選択する。用紙検出信号は、形成された画像が用紙に転写される二次転写部において、用紙が検出された場合に出力される信号である。なお、基準信号として、垂直同期信号（以下では、「／ＴＯＰ信号」と称する。）を選択することも可能である。

図４は、第１の実施形態に係る、シミュレーションに用いられた用紙サイズを設定するための設定画面の一例を示す図である。ここで指定される用紙サイズは、シミュレーションにおける画像形成処理の正当性に関する判定に用いられる。なお、外部からの入力信号に基づいて、自動的に用紙サイズを検知することも可能である。

図５は、第１の実施形態に係る、各画像形成プロセスの実行に基づいて形成された画像が各処理部から転写部まで搬送される際の搬送速度（以下では、「プロセス搬送速度」と称する。）と、用紙が転写部まで搬送される際の搬送速度（以下では、「用紙搬送速度」と称する。）とを設定するための設定画面の一例を示す図である。画像形成装置は、画像形成を行う際の条件によって、プロセス搬送速度と用紙搬送速度とを任意に変更することができる。例えば、画像形成装置は、通常よりも厚い用紙に対して印刷する場合には、画像の定着に必要な熱量が通常よりも増加するため、両速度を落として画像形成を行う。検証部２１０における検証に際し、ユーザはシミュレーションに用いた速度を図５の設定画面において設定する。なお、画像形成プロセスごとに異なるプロセス搬送速度を設定することも可能である。後述するように、ここでの設定データは、各画像形成プロセスによって処理された画像が、用紙上で転写される位置を計算するために用いられる。

図６は、第１の実施形態に係る、基準位置から各画像形成プロセスの処理が行われる位置までの距離を設定するための設定画面の一例を示す図である。本実施形態では、二次転写部の位置を基準位置とする。当該距離は、画像形成装置において、各画像形成プロセスが実行された後、当該プロセスの実行に基づいて形成された画像が各処理を経て二次転写部に到達するまでの物理的な距離を表す。なお、各画像形成プロセスが実行される各処理部の位置は、画像形成装置の構造によって異なる。従って、ユーザは、シミュレーション部２００で模擬した画像形成装置の構造に基づいて、当該距離を設定する必要がある。

図７は、第１の実施形態に係る、各画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。この判定条件値は、各画像形成プロセスが実行されたか否かをタイミングログにおける出力値に基づいて判定するための、第１の基準に相当する。タイミングログにおける検証対象の画像形成プロセスの出力値が図７に示す条件を満たす場合には、当該プロセスは実行中であると判定される。

図８は、第１の実施形態に係る、各画像形成プロセスにより形成された画像が用紙上で転写される位置の許容範囲を設定するための設定画面の一例を示す図である。後述するように、本実施形態では、図８で設定した設定値が各画像形成プロセスの正当性を判断する基準として用いられる。具体的には、用紙の搬送方向に対する形成された画像の先端及び後端の位置が、図８に示すように、用紙の先端及び後端から所定の範囲（以下では、「基準画像領域」と称する。）にある場合、最終的に、シミュレーション結果が正当であることを示す情報が出力される。なお、当該基準は、用紙上（記録材上）で画像が形成される位置が正当であるか否かを判定するための第２の基準に相当する。

以上のように、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、設定情報格納部２１２へ格納される。また、シミュレーション部２００から出力され、検証部２１０へ入力されたタイミングログは、入力情報格納部２１３へ格納される。解析部２１４は、入力情報格納部２１３へ格納されたタイミングログと、設定情報格納部２１２へ格納された設定データとを用いて、シミュレーション結果を解析する。

解析部２１４の単一プロセス解析部２１５は、各画像形成プロセスの出力値の時系列について解析する。単一プロセス解析部２１５は、まず、タイミングログにおける各画像形成プロセスの出力値の時系列を参照し、各出力値が図７で設定した条件を判定の基準として、当該基準を満たすか否かを判定する。これにより、各画像形成プロセスにおいて、プロセスが実行された期間を特定する。なお、単一プロセス解析部２１５における当該処理は、第１の特定手段による処理に相当する。

ここで、図９は、第１の実施形態に係る、単一の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。図９において、画像形成プロセスＡは、ＴＡ１からＴＡ２の間で、設定した判定条件を満たし、許容される期間で実行されていることがわかる。当該期間におけるプロセスの実行に基づいて形成された画像は、所定の搬送時間ΔＴＡ後の、ＴＡ１’からＴＡ２’の間で転写部へ到達する。なお、搬送時間ΔＴＡは、画像形成プロセスＡの処理部の位置と二次転写部との間の距離ＬＡ、及びプロセス搬送速度ＶＡに基づき、ΔＴＡ＝（ＬＡ／ＶＡ）によって求められる。さらに、図９において、用紙検出信号による信号検出の結果、Ｔ１からＴ２の間で、二次転写部に用紙が存在している。従って、図９に示すように、ＴＡ１からＴＡ２の間のプロセスの実行に基づいて形成された画像は、用紙上に転写されることになる。このように、画像形成装置は、形成した画像を用紙に対して転写するタイミングに合わせて各画像形成プロセスを各々実行する。

次に、解析部２１４の複合プロセス解析部２１６は、単一プロセス解析部２１５の解析結果を用いて、各画像形成プロセスの実行に基づく画像形成処理について解析する。具体的には、複合プロセス解析部２１６は、各画像形成プロセスの実行を経て形成される画像が、用紙上で転写される位置（以下では、「画像形成領域」と称する。）を特定する。

ここで、図１０は、第１の実施形態に係る、複数の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。図１０に示すように、単一プロセス解析部２１５により特定された各画像形成プロセスの実行タイミングは各々異なる。これは、各色の画像形成部における帯電部、露光部、現像部、及び中間転写体への転写部（一次転写部）といった各画像形成プロセスの処理部から、用紙への転写部（二次転写部）までの物理的な距離が互いに異なることに起因している。すなわち、形成された画像が用紙上の適切な位置へ重畳的に転写されるように、各画像形成プロセスは各々、適切なタイミングにおいて実行される必要がある。複合プロセス解析部２１６は、まず、単一プロセス解析部２１５の解析結果を用いて、各画像形成プロセスの実行に基づいて形成された画像が、二次転写部へ到達し、用紙へ転写される期間を算出する。当該期間は、単一プロセス解析部２１５において得られたプロセスの実行時間に対して、図９のΔＴＡに相当する画像の搬送時間を加算する処理により算出できる。算出した情報に基づいて、複合プロセス解析部２１６は、画像形成領域を特定する。

図１１は、第１の実施形態に係る、複数の画像形成プロセスと画像形成領域との関係を示す図である。なお、図１１では画像形成プロセスＡ〜Ｅにおける画像の搬送時間をΔＴＡ〜ΔＴＥとしている。各画像形成プロセスにおける画像の搬送時間を考慮すると、各プロセスの実行に基づいて形成される画像は、用紙上において図１１に示す位置に転写されることになる。このとき、各画像形成プロセスが実行された期間の重複部分、すなわち、全ての画像形成プロセスが実行された期間が、画像形成領域として特定される。複合プロセス解析部２１６は、特定した画像形成領域に関するデータを、判定部２１７に対して出力する。なお、複合プロセス解析部２１６における当該処理は、第２の特定手段による処理に相当する。

判定部２１７は、複合プロセス解析部２１６から入力される画像形成領域に関するデータと、設定情報格納部２１２に格納された基準画像領域に関する設定データとを比較して、用紙上で正当な位置に画像が形成されるか否かを判定する。さらに、当該判定結果を、検証部２１０による検証結果として出力する。以下では、判定部２１７における比較及び判定の方法について説明する。

図１２は、第１の実施形態に係る、用紙の位置と画像形成領域との関係を示す図である。ここで、判定部２１７は、図１２（ａ）に示すように、画像形成領域が用紙上のほぼ全面に位置し、当該領域に画像形成が行われる場合に、画像形成処理が正当であると判定するものとする。一方で、判定部２１７は、図１２（ｂ）、（ｄ）のように用紙に対して画像形成領域がはみ出している場合、図１２（ｃ）、（ｅ）のように用紙に対して画像形成領域が少ない場合、又は、図１２（ｆ）のように画像形成領域が用紙上で途切れている場合には、当該画像形成処理は正当ではないと判定する。

画像形成領域が用紙上で正当に位置しているか否かを判定するために、例えば、判定部２１７は以下の処理を実行する。図１３は、第１の実施形態に係る、画像形成領域の正当性に関する判定方法の一例を示す図である。まず、判定部２１７は、画像形成領域の先端及び後端の位置を特定し、各々の位置が図８に示す基準画像領域にあるか否かを判定する。具体的には、画像形成領域の先端及び後端の位置が、図８の設定画面で設定した領域１３０１と領域１３０２との範囲内にあるか否かを判定する。さらに、領域１３０１と領域１３０２との間の領域１３０３において、画像形成領域が途切れているか否かを判定する。以上の判定処理に基づき、判定部２１７は画像形成処理の正当性を判定し、その結果を検証部２１０の検証結果として出力する。検証部２１０は、必要に応じて検証結果をエクスポートファイルへ保存する。また、当該エクスポートファイルを検証部２１０に対して入力として与えることにより、図示しない表示部に検証結果を表示することが可能である。

なお、本実施形態において、シミュレーション部２００及び検証部２１０の各機能モジュールは、ソフトウェア・モジュールとして実現されてもよい。ソフトウェア・モジュールの場合、当該モジュールは、シミュレーション及び検証処理の実行前には外部記憶装置１１０に保管され、実行時にはＲＡＭ１０３に展開され、ＣＰＵ１０１によって実行される。また、各機能モジュールは、別々の装置に搭載されることで、情報処理システムを構成し、装置間でデータを送受信することにより実現されてもよい。

＜情報処理装置における検証処理の手順＞
図２６は、第１の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。上述したように、情報処理装置１００は、まず、ユーザによって設定されたシミュレーション条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。

ステップＳ１０１で、ユーザは、上述したように、ユーザ設定部２１１において、検証処理に必要な設定を行う。次に、ステップＳ１０２で、検証部２１０は、シミュレーションの結果であって、検証処理の対象となるタイミングログを読込み、入力情報格納部２１３へ格納する。さらに、ステップＳ１０３で、検証部２１０は、形成された画像が転写される用紙の頁数をカウントするためのカウンタｘを０に初期化し、ステップＳ１０４へ移行する。なお、当該カウンタは、検証部２１０の内部で管理されてもよい。

ステップＳ１０４で、検証部２１０は、１頁目の用紙に対する画像形成処理の制御動作を検証すべく、カウンタｘに１を加算する。さらに、ステップＳ１０５で、検証部２１０は、タイミングログにおける用紙検出信号の出力値の時系列を参照し、１頁目の用紙が二次転写部に到達するタイミングの算出基準となる信号をサーチする。ここで、検証部２１０は、用紙検出信号の出力値の時系列において、所定の変化（例えば、信号の立上がり、立下り、又は所定の値への変化等）を検出する。検証部２１０は、ステップＳ１０６で、当該信号において所定の変化を検出したか否かを判定する。所定の変化を検出しない場合には、検証部２１０は、シミュレーションが終了したものと判定し、検証処理を終了する。一方、所定の変化を検出した場合には、検証部２１０は、用紙検出信号を検出したと判定し、ステップＳ１０７へ移行する。ステップＳ１０７以降で、検証部２１０は、検出された信号に基づいて、用紙が二次転写部に到達するタイミングを算出するとともに、当該タイミングを基準として、画像形成処理のシミュレーション結果を検証する。なお、ステップＳ１０６における処理は、信号検出手段による処理に相当する。

ステップＳ１０７で、検証部２１０は、単一プロセス解析部２１５を用いて、タイミングログにおける各画像形成プロセスの出力値を参照する。さらに、ステップＳ１０８で、検証部２１０は、各画像形成プロセスにおいて、各出力値が図７で設定した判定条件を満たすか否かを判定し、出力値の時系列の中で、プロセスが実行された期間を特定する。その後、ステップＳ１０９へ移行する。

ステップＳ１０９で、検証部２１０は、全ての画像形成プロセスが実行されたか否かを判定する。全ての画像形成プロセスが実行されている場合には、ステップＳ１１０へ移行する。一方、いずれかの画像形成プロセスが実行されていない場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。

ステップＳ１１０で、検証部２１０は、複合プロセス解析部２１６を用いて、画像形成領域を特定する。その後、ステップＳ１１１へ移行する。

ステップＳ１１１で、検証部２１０は、特定した画像形成領域の先端及び後端が、基準画像領域にあるか否かを判定する。画像形成領域の先端及び後端が基準画像領域にある場合には、ステップＳ１１２へ移行する。一方、画像形成領域の先端及び後端が基準画像領域にない場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。

ステップＳ１１２で、検証部２１０は、特定した画像形成領域において、先端と後端との間で、途切れがないか否か判定する。画像形成領域に途切れがない場合には、ステップＳ１１３へ移行する。一方、画像形成領域に途切れがある場合には、ステップＳ１１４へ移行し、当該画像形成処理は正当ではないことを示す情報を出力する。

ステップＳ１１３で、検証部２１０は、検証の結果、現在検証対象の用紙に対する画像形成処理が正当であることを示す情報を出力する。その後、ステップＳ１０４へと戻り、カウンタｘに１を加算して、次の用紙に対する画像形成処理の検証へと移行する。

以上説明したように、第１の実施形態に係る情報処理装置は、画像形成装置の制御動作をシミュレーションし、シミュレーション結果に対して検証処理を実行する。具体的には、各画像形成プロセスの実行によって形成される画像が、用紙上で転写される領域を特定し、当該領域が所定の基準を満たしているか否かを検証する。これにより、画像形成装置が用紙の搬送タイミングに合わせて、各プロセスを適切に制御しているか否かを判定することができる。また、当該判定結果に基づき、画像形成処理の正当性を判定することができる。

＜第２の実施形態＞
次に、図１５及び図２７を参照して、本発明における第２の実施形態について説明する。第１の実施形態では、シミュレーション部２００におけるシミュレーションの条件として、同一の印刷条件において連続的に印刷を行う場合を想定している。ユーザは、当該シミュレーション条件に応じて、検証部２１０のユーザ設定部２１１において検証処理に必要な設定を行う。これに対して、第２の実施形態では、複数頁の用紙に対して連続的に印刷している間に、印刷条件が変更される場合を想定してシミュレーション条件を設定する。検証部２１０は、当該シミュレーション条件の変更に応じて、各画像形成プロセスの実行を判定する条件を設定することを特徴とする。以下では、第１の実施形態と異なる技術についてのみ、詳しく説明する。

ここで、印刷条件が異なる場合として、以下のようなものがある。例えば、画像形成装置において、カラー画像の印刷中に、モノクロ画像の印刷命令が与えられた場合には、実行する画像形成プロセスが変化する。具体的には、カラー画像の印刷には、シアン、マゼンタ、イエロー、及びブラックの４色に係る画像形成プロセスが実行されるのに対して、モノクロ画像の印刷には、ブラックに係る画像形成プロセスのみが実行される。また、画像形成装置が設置されている環境の外気温が変化した場合には、各画像形成プロセスの出力値が変化する。このようなシミュレーション条件に対して、検証部２１０は、検証対象とすべき画像形成プロセスを変化させたり、画像形成プロセスの実行を判定する条件を変化させたりする必要が生じる。

本実施形態に係る情報処理装置は、シミュレーション部２００から検証部２１０へ入力されるタイミングログから、シミュレーション部２００において設定されたシミュレーションの条件を読み込む。さらに、読み込んだシミュレーション条件に基づいて、検証処理に必要な設定データを自動的に変化させる。

図１５は、第２の実施形態に係る、画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。例えば、ユーザは、シミュレーション部２００で変化する印刷条件ごとに、ユーザ設定部２１１で判定条件を設定する。図１５に示すように、ユーザは、シミュレーション部２００の印刷条件ごとに、当該印刷条件を識別するためのＩＤを付与する。また、ユーザは、印刷条件のＩＤに対応して、シミュレーション部２００から検証部２１０へ印刷条件を通知するための信号線と、信号線に入力する値とを設定する。ここで、信号線とは、シミュレーション部２００において用いられる内部変数に相当し、シミュレーションの結果、タイミングログに出力される。なお、検証部２１０が複数の信号線に基づいて印刷条件を判断する場合には、同一の印刷条件ＩＤに対して複数の信号線が設定される。

本実施形態において、検証部２１０は、入力されたタイミングログから、印刷条件を示す値が含まれる信号線の情報を読み込む。さらに、検証部２１０は、読み込んだ値から、当該シミュレーションの実行に際してシミュレーション部２００で設定された条件を用紙ごとに識別し、検証処理に必要な設定データを解析部２１４へ入力する。解析部２１４は、当該設定データに基づいて、各画像形成プロセスの実行を判定し、画像形成領域を特定する。

＜情報処理装置における検証処理の手順＞
次に、図２７は、第２の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。上述したように、本実施形態に係る情報処理装置では、シミュレーション部２００に対して、複数の印刷条件に基づくシミュレーション条件が設定される。シミュレーション部２００は、設定されたシミュレーション条件に基づいて、画像形成装置における制御動作のシミュレーションを実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。

ステップＳ２０１〜Ｓ２０６は、第１の実施形態の図２６におけるステップＳ１０１〜Ｓ１０６と同一の処理であるため、説明を省略する。

ステップＳ２０７で、検証部２１０は、単一プロセス解析部２１５を用いて、タイミングログにおける各画像形成プロセスの出力値を参照する。その後、ステップＳ２０８で、検証部２１０は、各画像形成プロセスの出力値から、シミュレーション部２００における印刷条件を識別し、これに基づきプロセスの実行を判定するための条件を設定する。ここで、例えば、検証部２１０は、ステップＳ２０６において用紙の先端を検出したタイミングにおいて、タイミングログから印刷条件を示す値を読み込む。検証部２１０は、識別した印刷条件に基づいて、各画像形成プロセスの実行を判定するための条件を、設定情報格納部２１２から解析部２１４へ読み込む。その後、ステップＳ２０９へ移行する。

ステップＳ２０９で、検証部２１０は、ステップＳ２０８で設定した判定条件に基づいて、各画像形成プロセスが実行された期間を特定する。これに基づき、ステップＳ２１０以降において、検証部２１０は、シミュレーションの検証処理を実行する。なお、ステップＳ２１０〜Ｓ２１５は、第１の実施形態の図２６におけるステップＳ１０９〜Ｓ１１４と同一の処理であるため、説明を省略する。

以上説明したように、第２の実施形態に係る情報処理装置は、シミュレーション条件の変更に応じて、各画像形成プロセスの実行を判定する条件を自動的に変化させる。また、情報処理装置は、検証部においてシミュレーション条件を識別することによって、判定条件を設定する。これにより、複数の用紙に対して連続して印刷するシミュレーションにおいて、その途中で印刷条件が変更された場合においても、当該シミュレーションに基づく画像形成処理の正当性を判定することができる。

＜第３の実施形態＞
次に、図２及び図２８を参照して、本発明における第３の実施形態について説明する。第３の実施形態に係る情報処理装置では、シミュレーション部２００でシミュレーションを実行するのと同時に、検証部２１０で当該シミュレーションの検証処理を実行することを特徴とする。以下では、第１の実施形態と異なる技術についてのみ、詳しく説明する。

本実施形態に係る情報処理装置の機能構成は、第１の実施形態と同様の構成により実現される。図２において、本実施形態に係るシミュレーション部２００は、シミュレーション結果である各画像形成プロセスの出力値をリアルタイムに出力する。検証部２１０はこれをタイミングログとしてリアルタイムに入力し、入力情報格納部２１３へ格納する。

次に、図２８は、第３の実施形態に係る情報処理装置１００のシミュレーション部２００におけるシミュレーションと検証部２１０における検証処理との手順を示すフローチャートである。

ステップＳ３０１で、ユーザは、シミュレーションの条件の設定と、これを検証するために必要な設定とを情報処理装置１００に対して行う。なお、第２の実施形態と組み合わせることで、複数の印刷条件を設定し、シミュレーション及び検証処理を実行することも可能である。

ステップＳ３０２で、ユーザの操作に基づいて、情報処理装置１００のシミュレーション部は、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。また、シミュレーション部は、シミュレーションにより得られた出力結果をリアルタイムに出力する。一方、検証部２１０は、当該出力結果をタイミングログとしてリアルタイムに読込み、入力情報格納部２１３へ格納する。

ステップＳ３０３で、検証部２１０は、検証対象となる用紙の頁数をカウントするためのカウンタｘを０に初期化する。当該カウンタは、検証部２１０の内部で管理される。その後、ステップＳ３０４で、検証部２１０は、１頁目の用紙に対する画像形成処理の制御動作を検証すべく、カウンタｘに１を加算し、ステップＳ３０５へ移行する。

ステップＳ３０５で、検証部２１０は、リアルタイムに入力するタイミングログにおいて用紙検出信号の出力値を参照し、解析対象となる用紙が検出されたことを示す信号を監視する。検証部２１０は、用紙を検出しない場合、シミュレーションが終了したものと判定し、検証処理を終了する。一方、用紙を検出した場合、ステップＳ３０６へ移行し、当該用紙に対する画像形成に関するシミュレーションの検証処理を行う。

ステップＳ３０６で、検証部２１０は、用紙が検出されたタイミングにおいて、当該用紙への画像形成の所要時間ΔＴＰを算出する。ΔＴＰは、例えば、用紙長をＬＰ、用紙搬送速度をＶＰとすると、ΔＴＰ＝（ＬＰ／ＶＰ）によって求められる。その後、ステップＳ３０７へ移行する。なお、ＬＰ及びＶＰは、当該用紙が検出されたタイミングにおけるタイミングログを参照することによって、又は、予めユーザ設定部２１１で設定した値を参照することによって、求められる。

ステップＳ３０７で、検証部２１０は、ΔＴＰが経過し、解析対象の用紙のシミュレーションが終了するまで待機する。ΔＴＰが経過すると、検証部２１０は、当該用紙に関するシミュレーションの検証処理を実行すべく、ステップＳ３０８へ移行する。なお、ステップＳ３０８〜Ｓ３１５は、第１の実施形態の図２６におけるステップＳ１０７〜Ｓ１１４と同一の処理であるため、説明を省略する。

以上説明したように、第３の実施形態に係る情報処理装置は、シミュレーション部におけるシミュレーション結果を、検証部へリアルタイムに入力する。これにより、画像形成処理に関するシミュレーションを実行するのと同時に、当該シミュレーションの結果に対する検証処理を実行することができる。

＜第４の実施形態＞
次に、図２、図１６乃至図１９、及び図２９を参照して、本発明における第４の実施形態について説明する。第１乃至第３の実施形態では、各画像形成プロセスの実行によって形成される画像が用紙上で転写される領域を特定し、当該領域が所定の基準を満たしているか否かを検証している。これに対して、第４の実施形態では、最終的に用紙へ転写される領域に基づいて正当性を検証するのではなく、転写処理に至るまでの各画像形成プロセスの出力値に関して、その正当性を検証する。具体的には、検証部２１０は、シミュレーション部２００から出力されるタイミングログに含まれる出力値の時系列を参照し、その出力値の変化が検出された際に、当該検出タイミング及び出力値の正当性について判定することを特徴とする。以下では、第１の実施形態と異なる技術について説明する。

＜情報処理装置の機能構成＞
第４の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により実現できる。また、情報処理装置１００のシミュレーション部２００は、第１の実施形態と同様であるので、説明を省略する。

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。ただし、第４の実施形態では、解析部２１４において複合プロセス解析部２１６を使用せず、単一プロセス解析部２１５のみを使用する。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。

ユーザ設定部２１１は、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１の実施形態と同様である。なお、本実施形態では、図３の設定画面において、搬送される用紙の先端をタイミングログから検出するための基準信号として、／ＴＯＰ信号を選択する。／ＴＯＰ信号は、画像形成装置において、各画像形成プロセスの実行を開始するタイミングの基準となる信号である。従って、本実施形態で、検証部２１０は、タイミングログにおいて／ＴＯＰ信号を検出したタイミングを基準として、シミュレーション結果の検証処理を実行する。

図１６は、第４の実施形態に係る、単一プロセス解析部２１５における単一プロセス判定条件を設定するための設定画面の一例を示す図である。ここで設定される単一プロセス判定条件は、単一プロセス解析部２１５において、解析結果が正当か否かを判定するために用いられる第１の基準に相当する。ユーザは、設定画面で、タイミングログに含まれる各画像形成プロセスに対応する入力信号と、／ＴＯＰ信号を基準として、各入力信号に含まれる各プロセスの出力値に変化が検出されるまでの相対時間と、当該変化の検出タイミングにおいて出力値が取るべき正当値とを設定する。なお、一つの画像形成プロセスにおいて、複数のタイミングで出力値に変化が生じる場合には、図１６に示すように、各々を時系列に設定すればよい。また、出力値に変化が生じないプロセスや、プロセスの正当性に関する判定を行わないプロセスについては、入力欄を空欄にすればよい（図１８における信号Ｂ、Ｆ、Ｊ、Ｎ）。

また、図１６に示す設定画面では、許容誤差を設定することができる。ここで、許容誤差とは、設定した各相対時間に対する画像形成装置自体の制御誤差や、シミュレータの性能に起因した誤差として許容される範囲を表す。単一プロセス解析部２１５において検出された変化のタイミングが設定した相対時間に対して許容誤差の範囲内であれば、当該変化のタイミングは正当であると判定される。なお、許容誤差として、図１６に示すように全プロセスで共通の値に設定してもよいし、各プロセスに対して異なる値を設定してもよい。

以上のように、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、第１の実施形態と同様、設定情報格納部２１２へ格納される。解析部２１４の単一プロセス解析部２１５は、シミュレーション部２００から検証部２１０の入力情報格納部２１３へ入力されたタイミングログを、設定情報格納部２１２へ格納された設定データに基づいて解析する。

単一プロセス解析部２１５は、タイミングログにおける検証対象の画像形成プロセスの出力値の時系列を参照し、その変化を検出する。その際、単一プロセス解析部２１５は、／ＴＯＰ信号から当該検出タイミングまでの相対時間を求める。ここで、図１７は、第４の実施形態に係る、各画像形成プロセスにおける入力信号に対する単一プロセス判定条件の一例を示す図である。単一プロセス解析部２１５は、各画像形成プロセス（Ａ〜Ｅ）ごとに、時系列に設定された設定データに基づいて、出力値を解析する。例えば、画像形成プロセスＡにおいて、／ＴＯＰ信号の出力タイミングからの相対時間ａ１、ａ２、ａ３、及びａ４のタイミングにおいて、順に、ａ’１、ａ’２、ａ’３、及びａ’４の値へ出力が変化した場合、当該プロセスは正当であると判定される。逆に、何れかのタイミングにおいて設定した出力値へ変化しない場合には、当該プロセスは正当ではないと判定される。当該判定結果は、判定部２１７へ送られ、判定部２１７における最終的な判定処理に使用される。

判定部２１７は、単一プロセス解析部２１５の判定結果に基づき、各用紙に対する画像形成処理の正当性について最終的な判定処理を実行する。すなわち、各々の／ＴＯＰ信号の出力を基準として実行される全ての画像形成プロセスにおける処理が正当である場合には、当該用紙に対する画像形成は正当であることを示す情報を検証部２１０における検証結果として出力する。一方、何れかの画像形成プロセスにおける処理が正当ではない場合には、当該用紙に対する画像形成は正当ではないことを示す情報を出力する。

ここで、図１８は、第４の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。なお、図１８では、画像形成装置が短い時間間隔で連続的に／ＴＯＰ信号を出力することにより、各用紙に対して連続的に画像形成を行う場合を示している。図１８に示すように、各画像形成プロセスは、各用紙に対応した／ＴＯＰ信号の出力タイミングから、実際に処理を開始するタイミングまでの時間が互いに異なる。これは、上述のように、画像形成装置の構造に依存して、各画像形成プロセスが実行される位置が各々異なるためである。これにより、先の／ＴＯＰ信号に基づく全ての画像形成プロセスの処理が完了する前に、次の／ＴＯＰ信号が出力されることがある。例えば、図１８において、１回目の／ＴＯＰ信号の出力に対する画像形成において、画像形成プロセスＥのｅ１及びｅ２のタイミングは、２回目の／ＴＯＰ信号の出力タイミングより後になっている。この場合、先の／ＴＯＰ信号に対する画像形成プロセスの実行中に、他の画像形成プロセスにおいて、次の／ＴＯＰ信号に対する処理が開始されることになる。従って、単一プロセス解析部２１５は、このような場合においても、画像形成プロセスの出力値の正当性に関する判定を正常に実行できる必要がある。これに関しては、例えば、以下のような処理により対処することができる。

図１９は、第４の実施形態に係る、単一プロセス解析部２１５における画像形成プロセスごとの判定用データの参照位置を示す図である。図１９に示すように、単一プロセス解析部２１５は、／ＴＯＰ信号の出力をタイミングログから検出するごとに、図１７に示した判定用データの参照位置を画像形成プロセスごとに管理する。単一プロセス解析部２１５は、各画像形成プロセスにおいて、時系列の出力値における値の変化を検出するごとに、次の判定用データを参照すべく、当該参照位置を更新する。また、当該／ＴＯＰ信号を基準とした画像形成において、全ての判定用データを参照した場合、当該画像形成プロセスの参照位置の管理情報として終了を示す値（ＥＮＤ）を設定する。さらに、当該画像形成プロセスにおいて、次の／ＴＯＰ信号を基準とした画像形成へと移行する。

また、単一プロセス解析部２１５では、各画像形成プロセスの解析の際に、図１７のＤに示すように出力値に変化が生じない設定の場合や、画像形成プロセスの制御ソフトウェアの不具合に起因して、出力値に変化が生じない場合についても、正常に画像形成の正当性を判定できる必要がある。そのため、本実施形態では、各画像形成プロセスの判定のためのタイムアウト時間を設定する。タイムアウト時間には、図１８におけるｅ２のように、設定された全画像形成プロセスの判定条件の中で、最も大きな相対時間が設定される。いずれかの画像形成プロセスにおいて、設定した全ての判定条件に対応した出力値の変化が生じず、当該タイムアウト時間を経過した場合、そのことを示す情報が判定部２１７へ通知される。判定部２１７は、当該通知に基づき、当該／ＴＯＰ信号を基準とした画像形成が正当ではないことを示す情報を検証処理の結果として出力する。

＜情報処理装置における検証処理の手順＞
次に、図２９は、第４の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。第１の実施形態と同様に、情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。

ステップＳ４０１で、ユーザは、上述したように、ユーザ設定部２１１において、検証処理に必要な設定を行う。なお、当該設定値に基づいて、検証部２１０は、上述のタイムアウト時間を設定する。次に、ステップＳ４０２で、検証部２１０は、シミュレーションの結果であって、検証処理の対象となるタイミングログを読込み、入力情報格納部２１３へ格納する。さらに、ステップＳ４０３で、検証部２１０は内部で管理するカウンタｘを０、カウンタｙを１に初期化し、ステップＳ４０４へ移行する。ここで、カウンタｘは、読み込んだタイミングログから／ＴＯＰ信号を検出した回数であって、画像形成の対象となる用紙の頁数をカウントする。カウンタｙは判定中の頁数を記憶するものである。

ステップＳ４０４で、検証部２１０は、タイミングログの検証を開始すべく、タイミングログに含まれる情報を、時系列に順に参照する。なお、当該タイミングログは、時系列の出力値により作成されている。その後、ステップＳ４０５で、検証部２１０は、出力値に変化が生じたか否かを判定する。出力値に変化が生じた場合、ステップＳ４０６へ移行する。一方、出力値に変化が生じていない場合、ステップＳ４２０へ移行し、当該出力値がシミュレーションの終了を示す値であるか否かを判定する。ステップＳ４２０で、当該出力値がシミュレーションの終了を示す値である場合、検証処理を終了し、終了を示す値ではない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。なおステップＳ４０５における処理は、変化検出手段による処理に相当する。

ステップＳ４０６で、検証部２１０は、当該出力値の変化が／ＴＯＰ信号の検出によるものか否かを判定する。ここで、／ＴＯＰ信号を検出した場合、ステップＳ４０７へ移行し、カウンタｘに１を加算する。さらに、ステップＳ４０８で、検証部２１０は、ｘ頁目の用紙に対する画像形成における図１９に示すような判定用データの参照位置情報を初期化する。ここで、出力値に変化が生じないため、判定用データが存在しない画像形成プロセスがある場合には、当該プロセスの参照位置として予めＥＮＤを設定する。その後、ステップＳ４０４へ戻り、タイミングログの参照を継続する。

一方、ステップＳ４０６で、検証部２１０は、／ＴＯＰ信号を検出しない場合には、ステップＳ４０９へ移行する。ステップＳ４０９で、検証部２１０は、各画像形成プロセスの出力値の変化を検出したか否かを判定する。出力値の変化を検出しない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。一方、画像形成プロセスの出力値の変化を検出した場合、ステップＳ４１０へ移行する。ステップＳ４１０で、検証部２１０は、カウンタｘが１以上であって、／ＴＯＰ信号を既に検出している場合、ステップＳ４１１へ移行する。一方、カウンタｘが０であって、／ＴＯＰ信号を未だ未検出の場合、画像形成処理の非実行時における何らかの信号の変化が検出されたと判定し、ステップＳ４０４へ戻り、タイミングログの参照を継続する。

ステップＳ４１１で、検証部２１０は、検出された当該変化のタイミング及び当該タイミングにおける出力値が正当であるか否かを判定する。ここで、タイミングの正当性に関して、検証部２１０は、上述の許容誤差も考慮して判定を行う。ここで、検証部２１０は、当該タイミング及び出力値が正当でない場合、ステップＳ４１２へ移行し、そのことを示す情報を判定部２１７へ出力する。一方、当該タイミング及び出力値が正当である場合、ステップＳ４１３へ移行する。なお、ステップＳ４１１における処理は、第１の判定手段による処理に相当する。

ステップＳ４１３で、検証部２１０は、設定した全ての単一プロセス判定条件を参照したか否かを判定する。ここで、検証部２１０は、全ての画像形成プロセスにおける判定条件の参照位置がＥＮＤに設定されているか否かにより、当該判定処理を行う。全ての判定条件を参照した場合、ステップＳ４１６へ移行する。一方、全ての判定条件を未だ参照していない場合、ステップＳ４１４へ移行する。ステップＳ４１４で、検証部２１０は、タイムアウト時間を経過したか否かを参照する。タイムアウト時間を経過していない場合、ステップＳ４０４へ戻り、タイミングログの参照を継続する。タイムアウト時間を経過した場合、ステップＳ４１５へ移行する。ステップＳ４１５で、検証部２１０は、タイムアウト時間を経過したことを示す情報を判定部２１７へ出力し、ステップＳ４１６へ移行する。

ステップＳ４１６で、判定部２１７は、ｙ頁目の画像形成処理が正当であるか否かを判定する。ここで、タイムアウト時間を経過した場合、又は何れかの画像形成プロセスにおける何れかの出力値の変化が正当ではない場合、判定部２１７は、ステップＳ４１７へ移行し、ｙ頁目の画像形成処理が正当ではないことを示す情報を検証部２１０の検証結果として出力する。一方、タイムアウト時間を経過せず、全ての画像形成プロセスにおいて、出力値の変化が全て正当である場合、ステップＳ４１８へ移行し、ｙ頁目の画像形成処理が正当であることを示す情報を出力する。その後、ステップＳ４１９でカウンタｙに１を加算し、ステップＳ４０４へ戻り、タイミングログの参照を継続する。

以上説明したように、第４の実施形態に係る情報処理装置は、シミュレーション部から出力されるタイミングログに含まれる各画像形成プロセスの出力値の時系列に変化が検出された際に、当該検出タイミング及び出力値の正当性について判定する。これにより、画像形成の開始から用紙への転写に至るまでの、各画像形成プロセスに関するシミュレーション結果の正当性を判定することができる。また、当該判定結果に基づき、画像形成処理全体のシミュレーション結果の正当性を判定できる。

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。

＜第５の実施形態＞
次に、図２、図２０乃至図２３、及び図３０を参照して、本発明における第５の実施形態について説明する。第４の実施形態では、各画像形成プロセスに関して、タイミングログに含まれる出力値の時系列において、出力値の変化が生じたタイミング及び当該出力値の正当性を個別に判定している。これに対して、第５の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、さらに、関連する他の画像形成プロセスの出力値の正当性を判定することを特徴とする。以下では、第１乃至第４の実施形態と異なる技術を中心として、本実施形態について説明する。

＜情報処理装置の機能構成＞
第５の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により、実現できる。また、情報処理装置１００のシミュレーション部２００は、第１の実施形態と同様であるので、説明を省略する。

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。

ユーザ設定部２１１は、シミュレーション結果の検証に必要なデータをユーザが設定するためのインタフェースとして機能する。ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１及び第４の実施形態と同様である。また、単一プロセス判定条件の設定については、第４の実施形態と同様である。

図２０は、第５の実施形態に係る、複合プロセス解析部２１６における複合プロセス判定条件を設定するための設定画面の一例を示す図である。ここで設定される複合プロセス判定条件は、複合プロセス解析部２１６において、解析結果が正当か否かを判定するために用いられる第２の基準に相当する。設定画面において、ユーザは、任意に選択した画像形成プロセス（主プロセス）に対して、関連する画像形成プロセス（関連プロセス）、関連条件、及び関連正当値を設定する。複合プロセス解析部２１６は、後述するように、主プロセスにおける出力値が関連条件に設定した値へ変化した際に、関連プロセスにおける出力値を参照し、関連正当値に設定した条件を満たすか否かを判定する。

以上、ユーザ設定部２１１によって各設定画面を用いて設定された設定値は、第１の実施形態と同様、設定情報格納部２１２へ格納される。解析部２１４の単一プロセス解析部２１５及び複合プロセス解析部２１６は、シミュレーション部２００から検証部２１０の入力情報格納部２１３へ入力されたタイミングログを、設定情報格納部２１２へ格納された設定データに基づいて解析する。なお、単一プロセス解析部２１５は、第４の実施形態と同様に動作するので、説明を省略する。

図２１は、第５の実施形態に係る、各画像形成プロセスにおける入力信号に対する複合プロセス判定条件の一例を示す図である。複合プロセス解析部２１６は、主プロセスにおける出力値の時系列に変化を検出した際に、関連プロセスにおける出力値を参照し、関連正当値を満たすか否かを判定する。例えば、図２１において、主プロセスとして設定された画像形成プロセスＡにおいて、その出力値がａ”１へ変化した際、関連プロセスである画像形成プロセスＢ及びＣにおける出力値を参照し、各々、ｂ”１及びｃ”１であるか否かを判定する。当該判定結果は判定部２１７へ出力され、判定部２１７における最終的な判定処理に使用される。

なお、上述したように、画像形成装置の構造に依存して各画像形成プロセスが実行される位置が異なるため、各画像形成プロセスは、用紙の適切な位置へ画像が形成され得るタイミングにおいて、各々実行される。そこで、当該判定に際し、複合プロセス解析部２１６は、各画像形成プロセスに基づいて形成された画像が二次転写部において用紙へ転写されるタイミングを基準として、判定処理を実行する。ここで、図２２は、第５の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。また、図２３は、第５の実施形態に係る、各画像形成プロセスの出力値の変化と、当該プロセスの実行に基づいて形成された画像が用紙に転写される位置との関係の一例を示す図である。なお、図２１乃至図２３は各画像形成プロセスの実行関係が互いに対応している。複合プロセス解析部２１６は、例えば、図２２で、主プロセスである画像形成プロセスＡの出力値がａ１においてａ”１へと変化すると、図２１に示す設定に基づいて、関連プロセスである画像形成プロセスＢ及びＣの出力値を参照する。ここで、図２３の時間関係によると、プロセスＡの出力値がａ”１へと変化したタイミングにおいて、関連するプロセスＢ及びプロセスＣの出力値はｂ”１及びｃ”１であり、図２１に示す判定条件を満たしている。その結果、複合プロセス解析部２１６は、当該判定の結果が正当であることを示す情報を判定部２１７へ出力する。

なお、上述のように、用紙への画像の転写タイミングを基準として、複合プロセス解析部２１６の判定処理を実行する場合、主プロセスにおける出力値の変化のタイミングと、参照すべき関連プロセスの出力値のタイミングに差異がある。そこで、本実施形態では、タイミングログにおける出力値の時系列のうち、適切なタイミングの出力値を参照することで、対処する。また、第３の実施形態のように、検証部２１０において、シミュレーション部２００のシミュレーション結果をリアルタイムに読み込む場合には、入力情報格納部２１３でタイミングログをバッファリングすることで対処する。

＜情報処理装置における検証処理の手順＞
次に、図３０は、第５の実施形態に係る情報処理装置の検証部２１０における検証処理の手順を示すフローチャートである。第１の実施形態と同様に、情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。なお、以下のステップＳ５０１〜Ｓ５１２は、第４の実施形態におけるステップＳ４０１〜Ｓ４１２と同一であるため、説明を省略する。

ステップＳ５１２までに単一プロセス解析部２１５における処理を終えると、検証部２１０は、ステップＳ５１３以降で、複合プロセス解析部２１６における処理を開始する。

ステップＳ５１３で、検証部２１０は、複合プロセス解析部２１６において、出力値の変化が生じた画像形成プロセスに対して、当該出力値が関連条件を満たすか否か判定する。当該関連条件を満たさない場合、ステップＳ５１６へ移行する。一方、当該関連条件を満たす場合、ステップＳ５１４へ移行する。

ステップＳ５１４で、複合プロセス解析部２１６は、出力値の変化が生じた画像形成プロセスに対して、関連プロセスとして設定された画像形成プロセスの出力値をタイミングログにおいて参照する。その後、ステップＳ５１５で、複合プロセス解析部２１６は、当該関連プロセスの出力値が正当であるか否か検証する。さらに、複合プロセス解析部２１６は、当該検証結果を判定部２１７へ出力し、ステップＳ５１６へ移行する。なお、ステップＳ５１３〜Ｓ５１５における処理は、第２の判定手段による処理に相当する。

ステップＳ５１６〜Ｓ５２３は、第４の実施形態におけるステップＳ４１３〜Ｓ４２０と同一であるため、説明を省略する。

以上説明したように、第５の実施形態に係る情報処理装置は、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、関連する他の画像形成プロセスの出力値の正当性を判定する。これにより、各画像形成プロセスの出力値の正当性と、当該画像形成プロセスに関連する他の画像形成プロセスの出力値の正当性の両面から、画像形成プロセスの正当性を判定することができる。

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。

＜第６の実施形態＞
次に、図２、図２４、図２５、及び図３０を参照して、本発明における第６の実施形態について説明する。第５の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じたタイミングにおいて、関連する他の画像形成プロセスの出力値の正当性を判定している。これに対して、第６の実施形態では、何れかの画像形成プロセスにおいて出力値に変化が生じた際に、出力値の変化に遅延が生じる場合に関して、当該プロセスに関連する他の画像形成プロセスの出力値の正当性を判定することを特徴とする。以下では、第１乃至第５の実施形態と異なる技術を中心として、本実施形態について説明する。

＜情報処理装置の機能構成＞
第６の実施形態は、第１の実施形態に係る図２に示した機能構成例と同様の構成により、実現できる。

シミュレーション部２００は、第１の実施形態と同様である。ただし、画像形成プロセスの出力値に変化が生じる際に、画像形成プロセスごとに、所定の遅延時間を発生させる。シミュレーション部２００は、当該遅延時間を考慮に入れたシミュレーションを実行し、その結果を検証部２１０へ出力する。

検証部２１０は、第１の実施形態と同様、ユーザ設定部２１１、設定情報格納部２１２、入力情報格納部２１３、解析部２１４、及び判定部２１７を含む。以下では、検証部２１０の各構成要素の機能のうち、本実施形態に係る部分について説明する。

ユーザ設定部２１１において設定すべきデータのうち、タイミングログ、用紙サイズ、速度、画像形成プロセス位置は第１の実施形態と同様である。また、単一プロセス判定条件及び複合プロセス判定条件については、第４及び第５の実施形態と同様である。

図２４は、第６の実施形態に係る、各画像形成プロセスにおける遅延時間を設定するための設定画面の一例を示す図である。ユーザは、各画像形成プロセスに対して、異なる遅延時間を設定することができる。ここで設定される遅延時間は、複合プロセス解析部２１６において、解析結果が正当か否かを判定するために用いられる。なお、図２４には図示していないが、各画像形成プロセスにおける出力値の変化量に応じて、異なる遅延時間を設定するようにしてもよい。

次に、複合プロセス解析部２１６において、上述の遅延時間を考慮してシミュレーション結果を検証する方法について説明する。図２５は、第６の実施形態に係る、シミュレーション部２００において設定された設定値と、遅延時間を考慮した出力値との関係の一例を示す図である。図２５では、画像形成プロセスＡにおいて、出力の設定値に対して、シミュレーション結果の出力値は、変化前の状態から変化後の状態へ移行する際に、所定の遅延時間が生じるとともに出力値が不定となることを示している。ここで、画像形成プロセスＡが、他のプロセスについての関連プロセスとなっている場合を想定する。その場合、当該他のプロセスの出力値に変化が生じた際に、関連プロセスである画像形成プロセスＡの値が不定であると、複合プロセス解析部２１６は、関連プロセスの出力値が正当ではないことを示す情報を出力する。

＜情報処理装置における検証処理の手順＞
第６の実施形態に係る情報処理装置の検証部２１０における検証処理は、第５の実施形態の図３０と同様のフローチャートにより実現される。ここでは、第５の実施形態と異なる部分についてのみ説明する。

情報処理装置１００は、まず、ユーザによって設定されたシミュレーションの条件に基づいて、画像形成装置における制御動作のシミュレーションを、シミュレーション部２００において実行する。ここで、シミュレーション部２００は、上述の遅延時間をシミュレーション条件として設定し、当該シミュレーションを実行する。シミュレーションにより得られた出力結果に関して、情報処理装置１００は、以下のフローに基づく検証処理を検証部２１０において実行する。

ステップＳ５０１で、ユーザは、第１乃至第５の実施形態と同様、ユーザ設定部２１１において、検証処理に必要な設定を行う。ここで、ユーザは、第６の実施形態に係る遅延時間に関する設定を行う。その後、ステップＳ５０２へ移行する。なお、ステップＳ５０２〜Ｓ５１４は第５の実施形態と同一であるため、説明を省略する。

ステップＳ５１５で、複合プロセス解析部２１６は、主プロセスに対する関連プロセスの出力値が正当であるか否か検証する。その際、当該関連プロセスの出力値が不定である場合には、正当ではないことを示す情報の判定を行う。複合プロセス解析部２１６は、当該検証結果を判定部２１７へ出力し、ステップＳ５１６へ移行する。

ステップＳ５１６〜Ｓ５２３は、第５の実施形態と同様であるため、説明を省略する。

以上説明したように、第６の実施形態に係る情報処理装置は、何れかの画像形成プロセスにおいて出力値に変化が生じた際に、出力値の変化に遅延が生じる場合を想定し、当該プロセスに関連する他の画像形成プロセスの出力値の正当性を判定する。これにより、第５の実施形態に係る情報処理装置と比較して、より現実的な条件をシミュレーション条件として設定した場合において、当該シミュレーション結果の正当性について判定することができる。

なお、本実施形態と第１乃至第３の実施形態とを組み合わせることも可能である。

第１の実施形態に係る情報処理装置の構成例を示す図である。 第１の実施形態に係る情報処理装置の機能構成例を示す図である。 第１の実施形態に係る、検証部へ与えられるタイミングログファイルと、搬送される用紙の先端をタイミングログから検出するための基準信号とを設定するための設定画面の一例を示す図である。 第１の実施形態に係る、シミュレーションに用いられた用紙サイズを設定するための設定画面の一例を示す図である。 第１の実施形態に係る、各画像形成プロセスの実行に基づいて形成された画像が各処理部から転写部まで搬送される際の搬送速度と、用紙が転写部まで搬送される際の搬送速度とを設定するための設定画面の一例を示す図である。 第１の実施形態に係る、基準位置から各画像形成プロセスの処理が行われる位置までの距離を設定するための設定画面の一例を示す図である。 第１の実施形態に係る、各画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。 第１の実施形態に係る、各画像形成プロセスにより形成された画像が用紙上で転写される位置の許容範囲を設定するための設定画面の一例を示す図である。 第１の実施形態に係る、単一の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。 第１の実施形態に係る、複数の画像形成プロセスにおける実行タイミングと、用紙検出信号に基づく用紙検出タイミングとの関係を示す図である。 第１の実施形態に係る、複数の画像形成プロセスと画像形成領域との関係を示す図である。 第１の実施形態に係る、用紙の位置と画像形成領域との関係を示す図である。 第１の実施形態に係る、画像形成領域の正当性に関する判定方法の一例を示す図である。 シミュレーションの対象となる画像形成装置の構成例を示す図である。 第２の実施形態に係る、画像形成プロセスが実行中であるか否かの判定に用いる条件を設定するための設定画面の一例を示す図である。 第４の実施形態に係る、単一プロセス解析部における単一プロセス判定条件を設定するための設定画面の一例を示す図である。 第４の実施形態に係る、各画像形成プロセスにおける入力信号に対する単一プロセス判定条件の一例を示す図である。 第４の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。 第４の実施形態に係る、単一プロセス解析部における画像形成プロセスごとの判定用データの参照位置を示す図である。 第５の実施形態に係る、複合プロセス解析部における複合プロセス判定条件を設定するための設定画面の一例を示す図である。 第５の実施形態に係る、各画像形成プロセスにおける入力信号に対する複合プロセス判定条件の一例を示す図である。 第５の実施形態に係る、／ＴＯＰ信号と各画像形成プロセスにおける出力値の変化のタイミングとの関係の一例を示す図である。 第５の実施形態に係る、各画像形成プロセスの出力値の変化と、当該プロセスの実行に基づいて形成された画像が用紙に転写される位置との関係の一例を示す図である。 第６の実施形態に係る、各画像形成プロセスにおける遅延時間を設定するための設定画面の一例を示す図である。 第６の実施形態に係る、シミュレーション部において設定された設定値と、遅延時間を考慮した出力値との関係の一例を示す図である。 第１の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。 第２の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。 第３の実施形態に係る情報処理装置のシミュレーション部におけるシミュレーションと検証部における検証処理との手順を示すフローチャートである。 第４の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。 第５の実施形態に係る情報処理装置の検証部における検証処理の手順を示すフローチャートである。

１００：情報処理装置
１０１：中央処理装置（ＣＰＵ）
１０２：ＲＯＭ
１０３：ＲＡＭ
１０４：入力インタフェース
１０５：入力装置
１０６：出力インタフェース
１０７：出力装置
１０７ａ：表示装置
１０７ｂ：出力装置
１０８：外部記憶装置インタフェース
１０９：ハードディスク
１０９ａ：処理プログラム
１０９ｂ：設定データ
１０９ｃ：ファームウェア
１１０：外部記憶装置
１２０：バス
２００：シミュレーション部
２０１：ＣＰＵシミュレータ
２０２：外的要因シミュレータ
２１０：検証部
２１１：ユーザ設定部
２１２：設定情報格納部
２１３：入力情報格納部
２１４：解析部
２１５：単一プロセス解析部
２１６：複合プロセス解析部
２１７：判定部
２：中間転写ベルト（ＩＴＢ）
３ａ、３ｂ、３ｃ、３ｄ：感光ドラム
４ａ、４ｂ、４ｃ、４ｄ：帯電ローラ
５ａ、５ｂ、５ｃ、５ｄ：露光部
６ａ、６ｂ、６ｃ、６ｄ：プロセスカートリッジ
７：二次転写ローラ
８ａ、８ｂ、８ｃ、８ｄ：現像器
１０：定着部
１１：用紙
１２：ピックアップローラ
１３：用紙格納カセット
１４：レジストローラ
１５：レジストセンサ
２２ａ、２２ｂ、２２ｃ、２２ｄ：一次転写ローラ

Claims (17)

1. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、
   前記シミュレーション手段は、
   前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
   前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
   を備え、
   前記検証手段は、
   前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、
   前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、
   前記信号検出手段により、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、
   前記第１の特定手段により特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定手段と、
   前記第２の特定手段により特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定手段と、
   前記判定手段により、前記第２の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段と
   を備えることを特徴とする情報処理装置。
2. 前記第２の特定手段は、
   前記記録材が前記転写部へ到達するタイミングと、前記期間において形成された画像が前記転写部へ到達するタイミングとを比較することにより、前記画像形成領域を特定することを特徴とする請求項１に記載の情報処理装置。
3. 前記第２の基準は、
   前記記録材の搬送方向に対する前記画像形成領域の先端及び後端が、前記記録材の先端及び後端から予め定められた範囲に存在し、かつ、前記画像形成領域の先端と後端との間に、画像を形成しない領域が存在しない場合に、前記画像形成領域が正当であると判定する基準であることを特徴とする請求項１又は２に記載の情報処理装置。
4. 前記第１の設定手段は、
   複数の前記画像形成条件に対応して、複数の前記シミュレーション条件を設定し、
   前記第２の設定手段は、
   前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値から識別した前記画像形成条件の変化に対応して、前記第１の基準を設定することを特徴とする請求項１乃至３の何れか１項に記載の情報処理装置。
5. 前記シミュレーション実行手段は、
   シミュレーションのログとして、各負荷の制御状態を示す時系列の前記出力値をリアルタイムに出力し、
   前記検証手段は、
   前記シミュレーション実行手段が出力した前記出力値を、リアルタイムに入力し、検証することを特徴とする請求項１乃至４の何れか１項に記載の情報処理装置。
6. 前記検証手段は、
   前記シミュレーション実行手段によるシミュレーションにおいて、１頁の記録材の画像形成に要する所要時間を算出する算出手段を更に備え、
   前記信号検出手段により前記信号が検出された後、前記所要時間が経過するタイミングから、前記第１の特定手段による処理を開始することを特徴とする請求項５に記載の情報処理装置。
7. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置であって、
   前記シミュレーション手段は、
   前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
   前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
   を備え、
   前記検証手段は、
   前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、
   前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出手段と、
   前記信号検出手段により、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出手段と、
   前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定手段と、
   前記第１の判定手段による判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力手段と
   を備えることを特徴とする情報処理装置。
8. 前記第２の設定手段は、
   前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、前記各負荷の前記出力値に変化が生じた際に、当該負荷と関連する他の負荷において、当該変化が生じたタイミングにおける前記他の負荷における前記出力値が正当であるか否かを判定するための第２の基準を更に設定し、
   前記検証手段は、
   前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化が検出された負荷と関連する前記他の負荷において、当該変化が生じたタイミングにおける前記出力値が前記第２の基準を満たしているか否かを判定する第２の判定手段を更に備え、
   前記出力手段は、
   前記第２の判定手段による判定の結果、前記出力値のうち何れかが前記第２の基準を満たしていない場合に、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力することを特徴とする請求項７に記載の情報処理装置。
9. 前記第１の設定手段は、
   各負荷の制御状態に変化が生じた際に、変化前の状態から変化後の状態へ移行する際の遅延時間を、前記シミュレーション条件として更に設定し、
   前記シミュレーション実行手段は、
   前記シミュレーション条件に基づくシミュレーションの実行中に、各負荷の制御状態が変化する際の前記遅延時間において、各負荷の出力値が不定であることを示す情報を出力し、
   前記第２の判定手段は、
   前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化が検出された負荷と関連する前記他の負荷において、当該変化が生じたタイミングにおける前記出力値が不定である場合に、前記第２の基準を満たしているか否かを判定することを特徴とする請求項８に記載の情報処理装置。
10. 前記第１の設定手段は、
    複数の前記画像形成条件に対応して、複数の前記シミュレーション条件を設定し、
    前記第２の設定手段は、
    前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値から識別した前記画像形成条件の変化に対応して、前記第１の基準を設定することを特徴とする請求項７乃至９の何れか１項に記載の情報処理装置。
11. 前記シミュレーション実行手段は、
    シミュレーションのログとして、各負荷の制御状態を示す時系列の前記出力値をリアルタイムに出力し、
    前記検証手段は、
    前記シミュレーション実行手段が出力した前記出力値を、リアルタイムに入力し、検証することを特徴とする請求項７乃至１０の何れか１項に記載の情報処理装置。
12. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、
    前記シミュレーション装置は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
    を備え、
    前記検証装置は、
    前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定手段と、
    前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出手段と、
    前記信号検出手段により、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定手段と、
    前記第１の特定手段により特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定手段と、
    前記第２の特定手段により特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定手段と、
    前記判定手段により、前記第２の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当ではないことを示す情報を出力する出力手段と
    を備えることを特徴とする情報処理システム。
13. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムであって、
    前記シミュレーション装置は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定手段と、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行手段と
    を備え、
    前記検証装置は、
    前記シミュレーション実行手段による前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定手段と、
    前記シミュレーション実行手段による時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出手段と、
    前記信号検出手段により、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出手段と、
    前記変化検出手段により前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定手段と、
    前記第１の判定手段による判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当でないことを示す情報を出力する出力手段と
    を備えることを特徴とする情報処理システム。
14. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、
    前記シミュレーション手段は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
    を実行し、
    前記検証手段は、
    前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、
    前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、
    前記信号検出ステップにより、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、
    前記第１の特定ステップにより特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定ステップと、
    前記第２の特定ステップにより特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定ステップと、
    前記判定ステップにより、前記第２の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップと
    を実行することを特徴とする情報処理装置の制御方法。
15. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション手段と、前記シミュレーション手段によるシミュレーションのログを検証する検証手段とを備える情報処理装置の制御方法であって、
    前記シミュレーション手段は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
    を実行し、
    前記検証手段は、
    前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、
    前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出ステップと、
    前記信号検出ステップにより、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出ステップと、
    前記変化検出ステップにより前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定ステップと、
    前記第１の判定ステップによる判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション手段によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップと
    を実行することを特徴とする情報処理装置の制御方法。
16. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、
    前記シミュレーション装置は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
    を実行し、
    前記検証装置は、
    前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷における処理が実行されたか否かを該出力値に基づいて判定するための第１の基準と、前記記録材上で画像が形成される位置である画像形成領域が正当であるか否かを判定するための第２の基準と、を設定する第２の設定ステップと、
    前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、前記転写部に前記記録材が到達するタイミングの算出基準となる信号を検出する信号検出ステップと、
    前記信号検出ステップにより、前記信号が検出されると、前記記録材が転写部に到達するタイミングを算出し、算出されたタイミングにおいて、各負荷に対応する時系列の前記出力値を参照し、該出力値の各々が前記第１の基準を満たしているか否かを判定し、各負荷において処理が実行された期間を特定する第１の特定ステップと、
    前記第１の特定ステップにより特定された各負荷の前記期間に基づいて、前記画像形成領域を特定する第２の特定ステップと、
    前記第２の特定ステップにより特定された前記画像形成領域が、前記第２の基準を満たしているか否かを判定する判定ステップと、
    前記判定ステップにより、前記第２の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記第２の基準を満たしていないと判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当ではないことを示す情報を出力する出力ステップと
    を実行することを特徴とする情報処理システムの制御方法。
17. 記録材に対して画像形成を行う画像形成装置に含まれる複数の負荷の制御動作をシミュレーションするシミュレーション装置と、前記シミュレーション装置によるシミュレーションのログを検証する検証装置とを備える情報処理システムの制御方法であって、
    前記シミュレーション装置は、
    前記画像形成装置における画像形成条件をシミュレーション条件として設定する第１の設定ステップと、
    前記シミュレーション条件に基づいて、記録材に画像を転写する転写部への記録材の搬送タイミングに合わせて前記画像形成装置の各負荷を制御する制御動作をシミュレーションし、該シミュレーションのログとして、各負荷の制御状態を示す出力値を時系列に出力するシミュレーション実行ステップと
    を実行し、
    前記検証装置は、
    前記シミュレーション実行ステップによる前記出力値が出力されたタイミングにおいて、各負荷の前記出力値に変化が生じた際に、当該変化が生じたタイミングと該出力値とが正当であるか否かを判定するための第１の基準を設定する第２の設定ステップと、
    前記シミュレーション実行ステップによる時系列の前記出力値を参照し、該出力値のうち、垂直同期信号を検出する信号検出ステップと、
    前記信号検出ステップにより、前記垂直同期信号が検出されると、各負荷に対応する時系列の前記出力値を参照し、該出力値に変化が生じたことを検出する変化検出ステップと、
    前記変化検出ステップにより前記出力値に生じた変化が検出されるごとに、当該変化のタイミングと、該出力値とが、前記第１の基準を満たしているか否かを判定する第１の判定ステップと、
    前記第１の判定ステップによる判定の結果、前記出力値の時系列における全ての変化のタイミングと、各タイミングにおける全ての前記出力値とが、前記第１の基準を満たしていると判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当であることを示す情報を出力し、前記出力値の時系列における何れかの変化のタイミング又は当該タイミングにおける前記出力値が、前記第１の基準を満たしていないと判定された場合には、前記シミュレーション装置によるシミュレーション結果が正当でないことを示す情報を出力する出力ステップと
    を実行することを特徴とする情報処理システムの制御方法。

Images