(57)【要約】【課題】搬送機構制御ソフトウェアの検証、即ち、搬送体の搬送制御の検証を設計者の検証漏れ無く効率良く行うことを可能とした設計支援装置を提供する。【解決手段】設計支援装置は、ソフトウェアシミュレーション部１、機構シミュレーション部２、ＯＳ３、入力監視部４、表示制御部５を備える。設計支援装置は、画像形成装置の搬送機構の構成要素(ローラ、フラッパ、センサ等)の制御上の変化や物理的変化を状態変化として登録し、構成要素の位置(ローラのニップ位置、搬送路分岐点の位置等)を検証基準位置として登録する。更に設計支援装置は、反転搬送制御で状態変化が発生した時の紙の後端位置を検出し、紙の後端位置と検証基準位置との間の距離を算出し、当該距離が許容範囲外の場合に、その旨を紙搬送シミュレーション画面に表示する。【選択図】図１０
2008176419.tif 000002
【特許請求の範囲】
【請求項１】
搬送機構により搬送体が搬送路を搬送される過程をシミュレーションすることで前記搬送体の搬送制御を検証する設計支援装置であって、
前記搬送機構の構成要素の制御上の変化或いは物理的変化を状態変化として登録する第１の登録手段と、
前記搬送機構の構成要素の位置を検証基準位置として登録する第２の登録手段と、
前記第１の登録手段により登録された前記状態変化が発生した時の前記搬送体の位置を検出する検出手段と、
前記第２の登録手段により登録された前記検証基準位置と前記検出手段により検出された前記搬送体の位置との間の距離を算出する算出手段と、
前記算出手段により算出された前記距離と予め設定された許容範囲とを比較し、前記距離が前記許容範囲外か否かを検証する検証手段と、
前記検証手段の検証結果に基づいて通知を行う通知手段と、
を備えることを特徴とする設計支援装置。
【請求項２】
前記搬送制御は、前記搬送体の搬送方向を反転させる反転搬送制御を含み、
前記検出手段は、前記第１の登録手段により登録された前記状態変化が発生した時の前記搬送体の後端位置を検出し、
前記算出手段は、前記第２の登録手段により登録された前記検証基準位置と前記検出手段により検出された前記搬送体の後端位置との間の距離を算出することを特徴とする請求項１記載の設計支援装置。
【請求項３】
前記通知手段は、前記シミュレーションにおいて前記搬送機構が異常状態にある場合は前記通知を行わないことを特徴とする請求項１記載の設計支援装置。
【請求項４】
前記シミュレーションの内容を表示すると共に、前記通知手段により通知された前記検証手段の検証結果に基づいて検証対象となる前記搬送機構の箇所を通常時とは表示形態を変えて表示する表示制御手段を備えることを特徴とする請求項１乃至３のいずれかに記載の設計支援装置。
【請求項５】
前記検証手段は、前記検証を前記シミュレーションの途中で逐次行うことを特徴とする請求項１記載の設計支援装置。
【請求項６】
前記検証手段は、前記検証を前記シミュレーションの終了後に行うことを特徴とする請求項１記載の設計支援装置。
【請求項７】
前記搬送機構の構成要素は、前記搬送体を搬送するローラ、前記搬送体の搬送方向を切替えるフラッパ、前記搬送体を検知するセンサ、前記搬送路の分岐点のいずれかを含むことを特徴とする請求項１記載の設計支援装置。
【請求項８】
搬送機構により搬送体が搬送路を搬送される過程をシミュレーションすることで前記搬送体の搬送制御を検証する設計支援装置の制御方法であって、
前記搬送機構の構成要素の制御上の変化或いは物理的変化を状態変化として登録する第１の登録ステップと、
前記搬送機構の構成要素の位置を検証基準位置として登録する第２の登録ステップと、
前記第１の登録ステップにより登録された前記状態変化が発生した時の前記搬送体の位置を検出する検出ステップと、
前記第２の登録ステップにより登録された前記検証基準位置と前記検出ステップにより検出された前記搬送体の位置との間の距離を算出する算出ステップと、
前記算出ステップにより算出された前記距離と予め設定された許容範囲とを比較し、前記距離が前記許容範囲外か否かを検証する検証ステップと、
前記検証ステップの検証結果に基づいて通知を行う通知ステップと、
を備えることを特徴とする制御方法。
【請求項９】
搬送機構により搬送体が搬送路を搬送される過程をシミュレーションすることで前記搬送体の搬送制御を検証する設計支援装置の制御方法をコンピュータに実行させるプログラムであって、
前記搬送機構の構成要素の制御上の変化或いは物理的変化を状態変化として登録する第１の登録モジュールと、
前記搬送機構の構成要素の位置を検証基準位置として登録する第２の登録モジュールと、
前記第１の登録モジュールにより登録された前記状態変化が発生した時の前記搬送体の位置を検出する検出モジュールと、
前記第２の登録モジュールにより登録された前記検証基準位置と前記検出モジュールにより検出された前記搬送体の位置との間の距離を算出する算出モジュールと、
前記算出モジュールにより算出された前記距離と予め設定された許容範囲とを比較し、前記距離が前記許容範囲外か否かを検証する検証モジュールと、
前記検証モジュールの検証結果に基づいて通知を行う通知モジュールと、
を備えることを特徴とするプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、機構シミュレーションにより設計者の機構設計を支援する設計支援装置、制御方法、及びプログラムに関する。
【背景技術】
【０００２】
従来、例えば画像形成装置では、搬送体（記録材）を搬送ローラやガイド等の搬送機構により所定の位置に決められた時間で搬送するため、制御用のソフトウェアを装置内に組み込むことで搬送制御を行っている。この種の搬送制御の多くにおいては、搬送体を単純に等速で一方向にのみ搬送すればよい場合は稀である。例えばセンサにより搬送体の位置を検知し搬送体を所定位置で停止させたり、搬送ローラを逆回転させ搬送体の搬送方向を反転させたりする等の搬送制御をソフトウェアにより実行している。
【０００３】
近年の画像形成装置の高機能化に伴い、搬送制御を行うためのソフトウェア自体が複雑化し、搬送制御の不具合の発見から原因を特定し修正を行うのに必要な工数も増大している。これらの工数を削減するために、例えば搬送機構設計にシミュレーション技術を用いる機会が増えてきている。シミュレーション装置でシミュレーションを行う場合、実機との接続を解除し、被シミュレーション装置と接続を行った後、シミュレーション装置から擬似信号を与えることによりシミュレーションを行っている。
【０００４】
設計支援方法に関しては、搬送体の挙動をシミュレーションにより算出し、搬送機構動作のタイムチャートを作成して表示することで、搬送機構検証結果の見易さや分かり易さを向上させるシステムが提案されている（例えば、特許文献１参照）。このような設計支援方法により、搬送機構の動作やタイミングの設計、即ち、搬送機構制御を行うためのソフトウェア仕様設計の効率化に一定の効果を挙げている。
【０００５】
しかし、搬送機構を制御するソフトウェアの検証に関する提案は未だ少ない。その中で、キーボード等の入力装置からプリンタ制御ソフトウェアに、画像形成装置のカバーの開閉やスイッチのＯＮ／ＯＦＦ等の外部イベントを発生させる設計支援方法が提案されている（例えば、特許文献２参照）。これらの搬送機構制御ソフトウェアの設計支援方法は、総当たりで所定の現象を発生させ、偶発的に不具合を発見することに関しては一定の効果をあげている。
【０００６】
ここで、従来の画像形成装置における搬送体（紙）の搬送制御について例えば図１４、図１５を参照しながら説明する。
【０００７】
図１４は、画像形成装置の紙の反転搬送を行う搬送路を示す図である。図１５は、画像形成装置の紙搬送を説明する線図及びタイミングチャート図である。
【０００８】
図１４において、搬送路を矢印Ｄ１方向に搬送させていた紙の搬送方向を矢印Ｄ２方向に反転させる制御を行う場合がある。その時の制御は、搬送ローラ（以下ローラ）Ｒ２とセンサＳ１を通過してローラＲ３に突入した紙Ｓを一時停止させた後、フラッパ１７０１を切替えて、ローラＲ３の回転方向を反転させて紙搬送を再開させ、ローラＲ４方向に搬送する手順となる。紙Ｓの一時停止制御では、センサＳ１により紙Ｓの後端を検知してから所定時間後にローラＲ３を停止させている。
【特許文献１】特開平９−８１６００号公報
【特許文献２】特開平５−１４３２６０号公報
【発明の開示】
【発明が解決しようとする課題】
【０００９】
上記図１５に示すＰ０６のポイントで紙Ｓの搬送を一時停止させる際に、ローラＲ３の位置Ｐ１７から紙後端位置Ｐ１６までの距離βが短い場合あるいはβ＜０となった場合は、以下の現象が発生する。即ち、紙ＳをローラＲ３で反転させ搬送を開始する際にスリップが生じる、あるいはローラＲ３から紙Ｓが完全に排出されてしまい搬送そのものができなくなるという現象が発生する。
【００１０】
また、逆に、紙後端位置Ｐ１６から搬送路の分岐点１７０２までの距離γが短い場合あるいはγ＜０となった場合は、以下の現象が発生する。即ち、ローラＲ３で反転され搬送を開始された紙Ｓが、ローラＲ４側の搬送路ではなくセンサＳ１側の搬送路へ搬送されてしまうという現象が発生する。
【００１１】
上記のような現象は、紙の搬送を一時停止する際の搬送停止タイミングを決定するセンサＳ１の応答速度や、各搬送ローラの経時変化・耐久劣化等に起因するものである。
【００１２】
上記のような現象（障害）に関わる画像形成装置に対する評価は、実際の機械（実機）で紙を搬送することで確認することができる。例えば、反転及び搬送を開始した紙がセンサＳ１側の搬送路へ搬送されてセンサＳ１の位置で紙先端が詰ってジャムが発生した場合は、以下の確認を行う。搬送路上のどこかで紙と搬送ガイドが擦れていないか、あるいは分岐点１７０２の搬送ガイドの形状に不具合はないかといった物理的な状況の確認を行う。
【００１３】
物理的な状況に原因がないとなれば、紙Ｓを一時停止させた際の紙後端位置Ｐ１６から分岐点１７０２までの距離γが短いか、あるいはγ＜０であった可能性があると判断する。これに伴い、実機において、センサＳ１により紙後端を検知してからローラＲ３を停止させるまでの時間、ローラＲ３の回転速度、ローラＲ３の回転停止時の応答速度等を計測して確認する。
【００１４】
従来は、上記計測の結果、例えば「紙の反転搬送を開始してからフラッパ１７０１が切り替わるまでの時間に、紙の搬送速度に対して充分なマージンを持たせていなかったことが原因であった」等と特定していた。即ち、発生した現象からその原因を特定するまでには上述したように多くの工数がかかり、設計効率を低下させていた。
【００１５】
設計効率を向上させるためにシミュレーション技術を用いて反転搬送時の紙の停止位置を自動的に検証する手法には、以下の問題がある。上記特許文献１記載の技術では、搬送機構に潜在する不具合の原因は特定できる。しかし、紙の反転搬送を制御するソフトウェアに潜在する不具合の原因を特定することはできないという課題がある。
【００１６】
また、上記特許文献２記載の技術では、画像形成装置のカバーの開閉等の外部イベントを発生させることで、画像形成装置の例外処理のソフトウェアについて潜在する不具合は発見できる。しかし、反転搬送制御等の例外処理を伴わない搬送体の搬送制御ソフトウェア部分の検証や、画像形成装置のセンサの応答速度やローラの経時変化・耐久劣化等を考慮したソフトウェアのマージン設計値の検証までには至らないという課題がある。
【００１７】
本発明の目的は、搬送機構制御ソフトウェアの検証、即ち、搬送体の搬送制御の検証を設計者の検証漏れ無く効率良く行うことを可能とした設計支援装置、制御方法、及びプログラムを提供することにある。
【課題を解決するための手段】
【００１８】
上述の目的を達成するために、本発明の設計支援装置は、搬送機構により搬送体が搬送路を搬送される過程をシミュレーションすることで前記搬送体の搬送制御を検証する設計支援装置であって、前記搬送機構の構成要素の制御上の変化或いは物理的変化を状態変化として登録する第１の登録手段と、前記搬送機構の構成要素の位置を検証基準位置として登録する第２の登録手段と、前記第１の登録手段により登録された前記状態変化が発生した時の前記搬送体の位置を検出する検出手段と、前記第２の登録手段により登録された前記検証基準位置と前記検出手段により検出された前記搬送体の位置との間の距離を算出する算出手段と、前記算出手段により算出された前記距離と予め設定された許容範囲とを比較し、前記距離が前記許容範囲外か否かを検証する検証手段と、前記検証手段の検証結果に基づいて通知を行う通知手段と、を備えることを特徴とする。
【発明の効果】
【００１９】
本発明によれば、検証基準位置と搬送体の位置との間の距離が許容範囲外か否かの検証結果を基に通知を行うため、搬送機構を制御するソフトウェアの検証、即ち、搬送体の搬送制御の検証を設計者の検証漏れ無く効率良く行うことが可能となる。
【発明を実施するための最良の形態】
【００２０】
以下、本発明の実施の形態を図面に基づいて説明する。
【００２１】
本発明の実施の形態に係る設計支援装置は、画像形成装置の紙搬送シミュレーション及び各種デバイス（ローラ、フラッパ、センサ等）に関する信号の擬似出力をパーソナルコンピュータ（以下ＰＣ）上で実行可能な画像形成装置シミュレータである。即ち、設計支援装置は、実機としての画像形成装置を制御するファームソフトウェアの制御タイミング設計を支援するためのものである。設計支援装置について説明する前に、まず、実機としての画像形成装置の制御系及び内部機構について簡単に説明する。
【００２２】
図８は、画像形成装置の制御部の要部構成を示すブロック図である。
【００２３】
図８において、画像形成装置は、後述の図９に示すように制御部９０９を備えている。制御部９０９は、ＣＰＵ８０１と、メモリ８０２と、操作部８０３から構成されている。ＣＰＵ８０１は、プリンタ制御インタフェース（以下Ｉ／Ｆ）９３０と外部Ｉ／Ｆ９２６に対して、それぞれ制御を行うための情報をやり取りするＩ／Ｆを有する。メモリ８０２は、ＣＰＵ８０１の制御プログラムを格納しているＲＯＭ８０４、ＣＰＵ８０１に作業領域を提供するＲＡＭ８０５を有する。
【００２４】
操作部８０３は、操作者による処理実行内容の入力、操作者に対する処理に関する情報及び警告等の通知を行うためのタッチパネル付き液晶により構成される。デジタル画像処理部９２３は、ＣＣＤ９２１の出力信号に画像処理を施す。外部Ｉ／Ｆ９２６は、画像形成装置外部との通信のＩ／Ｆを司る。プリンタ制御Ｉ／Ｆ９３０は、プリンタ部９０２とのＩ／Ｆを司る。
【００２５】
図９は、画像形成装置の概略構成を示す構成図である。
【００２６】
図９において、画像形成装置９００は、カラー画像リーダ部（以下リーダ部）９０１とカラー画像プリンタ部（以下プリンタ部）９０２を備えるカラー複写機として構成されている。リーダ部９０１は、制御部９１０、自動原稿給紙機構（ＡＤＦ：Auto Document Feeder）９１２、ＣＣＤ９２１、デジタル画像処理部９２３、外部Ｉ／Ｆ９２６、プリンタ制御Ｉ／Ｆ９３０等を備える。プリンタ部９０２は、制御部９０９、レーザスキャナ９３１、感光ドラム９３２、回転カラー現像器９３３、各種ローラ、各種センサ等を備える。
【００２７】
まず、リーダ部９０１の構成を説明する。制御部９１０は、画像形成装置全体の制御を司る。ＡＤＦ９１２は、原稿台ガラス（プラテン）９１１上に原稿を給紙する。尚、ＡＤＦ９１２の代わりに、鏡面圧板もしくは白色圧板を装着する構成でもよい。キャリッジ９２４は、原稿を照明する光源９１３、９１４、反射傘９１５、９１６、ミラー９１７を収容する。キャリッジ９２５は、ミラー９１８、９１９を収容する。
【００２８】
キャリッジ９２４は速度Ｖで、キャリッジ９２５は速度Ｖ／２で、ＣＣＤ９２１の電気的走査方向（主走査方向）に対して直交する副走査方向に機械的に移動され、原稿の全面を走査する。光源９１３、９１４は、ハロゲンランプ、蛍光灯、キセノン管ランプ等を使用し、その光は反射傘９１５、９１６により原稿に集光される。原稿からの反射光または投影光は、ミラー９１７〜９１９、レンズ９２０を介してＣＣＤ９２１に集光される。ＣＣＤ９２１は、反射光または投影光を電気信号に光電変換する。
【００２９】
次に、プリンタ部９０２の構成を説明する。プリンタ部９０２は、制御部９０９のＣＰＵ８０１からプリンタ制御Ｉ／Ｆ９３０を介して送出される制御信号に基づき動作する。感光ドラム９３２は、予め帯電器９８０によりその表面が例えば−300Ｖ〜−900Ｖに均一に帯電される。感光ドラム９３２の表面電位は電位センサ９８２により計測され、ＣＰＵ８０１により適正な表面電位が計算される。感光ドラム９３２は、例えば130ｍｍの直径を有し、矢印方向へ例えば135ｍｍ／秒で回転駆動され、レーザスキャナ９３１から出力されるレーザ光により、画像露光パターンに対応して色分解された静電潜像がドラム表面に形成される。
【００３０】
回転カラー現像器９３３は、回転軸９３３ａの周りに時計方向にブラック、イエロー、マゼンタ、シアンの各色に対応する現像器９４７、９４８、９４９、９５０を配置した構成を有する。尚、現像器９４７〜９５０は、回転カラー現像器９３３に対して容易に着脱可能な構成となっており、各色の現像器９４７〜９５０は指定された色の位置に装着される。
【００３１】
感光ドラム９３２上に黒単色画像を現像する場合は、現像器９４７のみを使用し、現像器９４７の現像スリーブが感光ドラム９３２と対向する位置まで回転カラー現像器９３３をステッピングモータ（不図示）により回転させる。現像器９４７からは、静電潜像が形成された感光ドラム９３２表面と現像バイアスが印加された現像スリーブ面との間に形成される電位量に応じたトナーが感光ドラム９３２に供給され、感光ドラム９３２表面の静電潜像が現像される。
【００３２】
また、感光ドラム９３２上にカラー画像を現像する場合は、回転カラー現像器９３３を上記ステッピングモータにより回転させる。即ち、現像を行う各分解色に応じて所定の現像器９４７〜９５０を択一的に感光ドラム９３２に近接（または接触）させた現像位置に、回転軸９３３ａを中心に回転動作させて現像を行う。現像器９４７〜９５０からは、感光ドラム９３２上の電荷に応じた量のトナーが感光ドラム９３２に供給され、感光ドラム９３２表面の静電潜像が現像される。
【００３３】
感光ドラム９３２に対する上記現像動作により形成されたトナー像は、感光ドラム９３２の時計方向への回転により、反時計方向に回転する中間転写体９３５に１次転写ローラ９３４により１次転写される。中間転写体９３５への１次転写は、黒単色画像の場合には中間転写体９３５の１回転で、フルカラー画像の場合は４回転で完了する。中間転写体９３５は、特定の紙サイズ（例えばＡ４サイズ以下）の画像を形成するときには、中間転写体９３５に２面の画像が形成可能である。
【００３４】
自動給紙の場合は、各カセット（上段カセット９３８、下段カセット９３９、３段目カセット９４０、４段目カセット９４１）から、紙がそれぞれピックアップローラ９４２〜９４５によりピックアップされる。各カセットの各給紙ローラ９６２〜９６５により搬送される紙は、縦パス搬送ローラ９６６〜９６９によりレジストローラ９７０まで搬送される。手差し給紙の場合は、手差紙トレイ９６１に積載された紙は、手差し給紙ローラ９４６によりレジストローラ９７０まで搬送される。
【００３５】
レジストローラ９７０まで搬送された紙は、中間転写体９３５への転写が終了するタイミングで、中間転写体９３５と２次転写ローラ９３６の間に搬送される。その後、紙は、２次転写ローラ９３６と中間転写体９３５とに挟まれる形で定着器方向へ搬送されると共に中間転写体９３５に圧着される。これにより、中間転写体９３５上のトナー像が紙に２次転写される。紙に転写されたトナー像は、定着ローラ及び加圧ローラ９３７により加熱及び加圧され紙に定着される。
【００３６】
尚、中間転写体９３５上の転写残留トナーは、以下のように除去する。クリーニングブレード９５１を中間転写体９３５にこすり当て、中間転写体表面から転写残留トナーを掻き取る。画像形成シーケンス後半の後処理制御でトナー除去を行う。感光ドラム９３２上の残留トナーは、以下のように除去する。ブレード９５２により感光ドラム表面から残留トナーを掻き取り、感光ドラムユニットに一体化されている廃トナーボックス９５３まで搬送する。
【００３７】
更に、予期せぬことで吸着している可能性のある２次転写ローラ９３６の表面の正負各極性の残留トナーは、以下のように除去する。２次転写正バイアス及び２次転写逆バイアスを交互に印加して中間転写体９３５上に各極性の残留トナーを吸着させ、クリーニングブレード９５１で残留トナーを掻き取る。これにより、残留トナーを完全にクリーニングすることで後処理制御が終了する。
【００３８】
画像が定着された紙は、以下のように排紙する。第１排紙の場合には、第１排紙フラッパ９５８を第１排紙ローラ９５４方向に切替えて、第１排紙ローラ９５４を目指して排紙する。第２排紙の場合には、第１排紙フラッパ９５８及び第２排紙フラッパ９５９を第２排紙ローラ９５５への方向に切替えて、第２排紙ローラ９５５を目指して排紙する。
【００３９】
第３排紙の場合には、一旦反転ローラ９５６で反転動作を行うために、第１排紙フラッパ９５８及び第２排紙フラッパ９５９を反転ローラ９５６方向に切替えて反転ローラ９５６で反転させる。反転ローラ９５６で反転後、第３排紙フラッパ９６０を第３排紙ローラ９５７方向に切替えて、第３排紙ローラ９５７を目指して排紙する。
【００４０】
両面排紙の場合には、第３排紙の場合と同様に一旦反転ローラ９５６で反転動作を行い、第３排紙フラッパ９６０を両面ユニット方向に切替えて、両面ユニットに搬送する。両面センサで紙が検出されてから所定時間後に一旦停止し、再度画像形成準備が整い次第再給紙され、紙の２面目に画像形成される。
【００４１】
以上が実機としての画像形成装置のリーダ部９０１及びプリンタ部９０２に関する説明である。次に、画像形成装置の紙搬送シミュレーション及び各種デバイス信号の擬似出力をＰＣ上で行う設計支援装置（画像形成装置シミュレータ）について説明する。
【００４２】
図１は、本実施の形態に係る設計支援装置の制御系の概略構成を示すブロック図である。
【００４３】
図１において、設計支援装置は、ソフトウェアシミュレーション部１、機構シミュレーション部２、オペレーティングシステム（以下ＯＳ）３、入力監視部４、表示制御部５を備えている。ソフトウェアシミュレーション部１は、画像形成装置のプリンタ部９０２における紙搬送制御等に関するファームソフトウェアをＰＣ上で仮想的に実行するためのものである。本実施の形態では、リーダ部９０１は実機を使用しプリンタ部９０２は設計支援装置を使用してファームソフトウェアの検証を行う系について説明する。
【００４４】
入力監視部４は、キーボードデバイスやマウス等のマンマシンＩ／Ｆ６からの入力を監視しており、ソフトウェアシミュレーション部１のソフトウェアシミュレーションの実行開始をＯＳ３に指示する。尚、画像形成装置のリーダ部９０１とプリンタ部９０２を接続するプリンタ制御Ｉ／Ｆ９３０は、ＯＳ３を介してＰＣに装備されているＲＳ−２３２ＣやＵＳＢ接続経由でリーダ部９０１と接続するもので問題無い。
【００４５】
ソフトウェアシミュレーション部１は、実行結果をＯＳ３を介して機構シミュレーション部２に渡す。機構シミュレーション部２は、例えば紙搬送制御に関わるローラの速度等から紙が搬送機構の搬送路（紙搬送パス）のどの箇所に存在するかを計算により求め、計算結果をＯＳ３を介して表示制御部５に渡す。表示制御部５は、ＰＣに付設されたディスプレイ７に紙搬送シミュレーション画面２０１（図２）を表示する。紙搬送シミュレーション画面２０１では、紙搬送パスは点線２０２、ローラは丸、センサは黒三角、フラッパは白三角、紙は実線２０３で表現される。
【００４６】
本実施の形態の設計支援装置は以下の特徴を有する。設計支援装置は、画像形成装置の搬送機構の構成要素（ローラ、フラッパ、センサ等）の状態変化（制御上の変化、物理的変化）を登録すると共に、構成要素の位置（ローラのニップ位置、搬送路分岐点の位置等）を検証基準位置として登録する。更に、設計支援装置は、紙反転搬送制御で状態変化が発生した時の紙の後端位置を検出し、後端位置と検証基準位置との間の距離を算出し、当該距離が許容範囲外である場合に、その旨を紙搬送シミュレーション画面に表示する。本制御の詳細は図１０で後述する。
【００４７】
図３は、設計支援装置の制御系の詳細構成を示すブロック図である。
【００４８】
図３において、ソフトウェアシミュレーション部１は、ファームソフトウェア部３１０、ラッパー部３１１、入力Ｉ／Ｆ部３１２、出力Ｉ／Ｆ部３１３を備える。機構シミュレーション部２は、紙位置計算部３２０、デバイス駆動計算部３２１、紙位置表示部３３０、入力Ｉ／Ｆ部３２４、出力Ｉ／Ｆ部３２５を備える。尚、ソフトウェアシミュレーション部１と機構シミュレーション部２の間に関与するＯＳ３に関しては、本発明の主旨とは直接関係無いため説明を省略する。
【００４９】
ソフトウェアシミュレーション部１において、ファームソフトウェア部３１０は、実機としての画像形成装置の紙搬送制御や各種デバイス制御を行うためのソフトウェアである。ラッパー部３１１は、実機としての画像形成装置のファームソフトウェアをＰＣ上で動作させる。入力Ｉ／Ｆ部３１２は、機構シミュレーション部２からの情報を入力する。出力Ｉ／Ｆ部３１３は、機構シミュレーション部２に情報を出力する。
【００５０】
機構シミュレーション部２において、入力Ｉ／Ｆ部３２４は、ソフトウェアシミュレーション部１の出力Ｉ／Ｆ部３１３からの出力結果を受け付ける。入力Ｉ／Ｆ部３２４は、画像形成装置の紙搬送制御や各種デバイス制御に関わるモータ、クラッチ、フラッパ等の各種単体デバイスの制御情報を後段に渡す。
【００５１】
デバイス駆動計算部３２１は、ソフトウェアシミュレーション部１からの紙搬送制御情報や各種デバイス制御情報に従い、仮想のローラやファン等のデバイスを駆動させる。また、デバイス駆動計算部３２１は、例えばファンの場合にはファンモータのロック信号等の出力値も計算し、出力値を出力Ｉ／Ｆ部３２５に通知する。紙位置計算部３２０は、ローラの位置を記憶し、デバイス駆動計算部３２１で計算したローラの回転速度や回転方向等の情報に応じて搬送路における紙の位置を計算し記憶する。
【００５２】
紙位置表示部３３０は、紙位置計算部３２０により計算された紙の先端位置及び後端位置に基づき、表示制御部５に対して紙搬送シミュレーション画面２０１をディスプレイ７に表示するよう指示する。出力Ｉ／Ｆ部３２５は、デバイス駆動計算部３２１や紙位置計算部３２０により計算された各種センサ情報やロック信号等の出力値をソフトウェアシミュレーション部１の入力Ｉ／Ｆ部３１２に供給する。
【００５３】
次に、設計支援装置による画像形成装置の紙搬送シミュレーション動作を説明する。
【００５４】
図４は、設計支援装置による画像形成装置の紙搬送シミュレーションを説明する図である。
【００５５】
図４において、画像形成装置の紙搬送制御に関する各種デバイス配置の一例を示すものであり、以下のシミュレーションを前提としている。モータＭ４３１からクラッチＣＬ４４１を介して駆動を受けているローラＲ４１１により、パスＰ４０１−Ｐ４０２上の実線矢印方向に紙４００を搬送する。更に、紙４００の先端がセンサＳ４２１を通過したタイミングでフラッパＦＬ４５１を切替え、パスＰ４０２−Ｐ４０３またはパスＰ４０２−Ｐ４０４に紙４００を搬送する。点線矢印はモータＭ４３１、クラッチＣＬ４４１、フラッパＦＬ４５１の駆動関係を示している。
【００５６】
設計者がマンマシンＩ／Ｆ６から紙搬送シミュレーションの開始を指示すると、入力監視部４を介してＯＳ３によりソフトウェアシミュレーション部１及び機構シミュレーション部２のシミュレーションが実行される。ソフトウェアシミュレーション部１のシミュレーションが開始されると、ファームソフトウェア部３１０は、ラッパー部３１１及びＯＳ３と協調して、実機としての画像形成装置の紙搬送制御を行うためのソフトウェアを逐次実行していく。
【００５７】
ファームソフトウェア部３１０においてモータＭ４３１の回転開始の処理が始まると、モータＭ４３１を特定するＩＤ番号、回転速度、回転方向を示す情報がコマンドとして以下のように伝達される。即ち、ファームソフトウェア部３１０からコマンドが出力Ｉ／Ｆ部３１３を介して機構シミュレーション部２の入力Ｉ／Ｆ部３２４に与えられ、デバイス駆動計算部３２１に渡される。
【００５８】
デバイス駆動計算部３２１は、コマンドを解釈してモータＭ４３１の駆動命令であると判断し、モータＭ４３１の回転を開始する。そして、デバイス駆動計算部３２１は、ローラＲ４１１に接続するモータＭ４３１とクラッチＣＬ４４１の情報を基に、ローラＲ４１１を回転させるか否かを判断する。この時点では、モータＭ４３１は回転状態でクラッチＣＬ４４１はＯＦＦ状態であるので、デバイス駆動計算部３２１は、ローラＲ４１１は回転させないと判断する。
【００５９】
その後、ファームソフトウェア部３１０においてクラッチＣＬ４４１のＯＮ開始の処理が始まると、以下のようにコマンドが伝達される。即ち、クラッチＣＬ４４１を特定するＩＤ番号とクラッチＣＬ４４１のＯＮ／ＯＦＦ状態を示す情報がコマンドとして出力Ｉ／Ｆ部３１３を介して機構シミュレーション部２の入力Ｉ／Ｆ部３２４に与えられ、デバイス駆動計算部３２１に渡される。
【００６０】
デバイス駆動計算部３２１は、コマンドを解釈してクラッチＣＬ４４１に対する命令であると判断し、クラッチＣＬ４４１をＯＮする。そして、デバイス駆動計算部３２１は、モータＭ４３１が回転状態でありクラッチＣＬ４４１がＯＮ状態であるので、上記のモータＭ４３１の情報に基づいた回転速度、回転方向でローラＲ４１１を回転させる。
【００６１】
紙位置計算部３２０は、予め設定された時間間隔ｔで紙４００の先端位置と後端位置を演算している。まず、紙位置計算部３２０は、紙４００の先端から後端までが含まれているパスＰ４０１−Ｐ４０２の情報を、保持しているパス情報から読み出す。
【００６２】
紙位置計算部３２０が保持する上記パス情報には、各パス内のローラのＩＤ番号とその位置情報も含まれている。紙位置計算部３２０は、紙４００の先端位置から後端方向に向かってローラを検索し、始めに見つかったローラＲ４１１のＩＤ番号を用いてデバイス駆動計算部３２１にローラＲ４１１の速度ｖを問い合わせる。紙位置計算部３２０は、速度ｖと時間間隔ｔから紙４００がその間に進んだ距離Ｓ＝ｖ×ｔを求めることにより、紙４００の位置を更新する。紙位置計算部３２０は、更新した紙位置情報を紙位置表示部３３０に渡す。紙位置表示部３３０は、紙搬送シミュレーション画面２０１をディスプレイ７に表示する。
【００６３】
紙位置計算部３２０が保持する上記パス情報には、各パス内のセンサのＩＤ番号とその位置情報も含まれている。紙位置計算部３２０は、紙４００の先端位置から後端方向に向かってセンサを検索し、見つかったセンサＳ４２１のＯＮ情報を出力Ｉ／Ｆ部３２５に渡す。また、紙位置計算部３２０は、紙４００の後端がセンサＳ４２１を通過した状態では、センサＳ４２１のＯＦＦ情報を出力Ｉ／Ｆ部３２５に渡す。
【００６４】
出力Ｉ／Ｆ部３２５は、センサＳ４２１のＯＮ情報をコマンド化し、ソフトウェアシミュレーション部１の入力Ｉ／Ｆ部３１２に出力する。ファームソフトウェア部３１０は、入力Ｉ／Ｆ部３１２からセンサＳ４２１のＯＮ情報を受け、フラッパＦＬ４５１の制御を開始する。ソフトウェアシミュレーション部１から機構シミュレーション部２へのコマンド送出は、モータＭ４３１、クラッチＣＬ４４１の場合とほぼ同様である。
【００６５】
機構シミュレーション部２のデバイス駆動計算部３２１は、フラッパＦＬ４５１の制御コマンドを受け、該当するＩＤ番号のフラッパの切替え情報を紙位置計算部３２０に渡す。紙位置計算部３２０は、紙４００の先端が分岐点Ｐ４０２に到達すると、紙４００が次に進むべきパスを読み出す。その際、紙位置計算部３２０は、フラッパＦＬ４５１の切替え状態に応じて、紙４００の進行方向をパスＰ４０２−Ｐ４０３にするのかパスＰ４０２−Ｐ４０４にするのかを判断し、パス情報を変更する。
【００６６】
次に、本実施形態の特徴である制御ソフトウェアの検証方法について説明する。
【００６７】
本実施の形態では、紙の反転搬送制御タイミングの検証を例に挙げて説明する。紙の反転搬送制御タイミングの検証とは以下の通りである。図１４のＤ１方向に搬送している紙をローラＲ３で搬送方向を反転させＤ２方向に搬送する制御において、ローラＲ３の停止やフラッパ１７０１の切替え制御が適切なタイミングで行われているかを検証するものである。
【００６８】
図１０は、設計支援装置の検証の流れを示すフローチャートである。
【００６９】
図１０において、まず、設計支援装置は、設計者によるマンマシンＩ／Ｆ６からの入力に基づき、図５に示すように画像形成装置の各負荷（ローラ、センサ、フラッパ）の制御プロファイルを作成する（ステップＳ１００１）。図５は、画像形成装置の各負荷（ローラ、センサ、フラッパ）の制御プロファイル表である。制御プロファイルは、各負荷別の制御（ローラの駆動制御、センサやフラッパのＯＮ／ＯＦＦ制御）を指定し、各制御を実行したときの設定値を登録する。
【００７０】
例えば、ローラＲ１の駆動制御が２種類の加速度を持つ場合には、制御項目で“加速度１”、“加速度２”のように個別に登録する。また、ローラＲ３の駆動制御が回転方向で正転・逆転の２種類の加速度を持つ場合にも、制御項目で“加速度１”、“加速度２”のように個別に登録する。
【００７１】
センサの応答速度やローラの経時変化・耐久劣化等を実機としての画像形成装置の耐久度に合わせてシミュレートする場合には、上記設定値を変更する。ステップＳ１００１で登録したプロファイル情報は、以下のように使用する。即ち、設計支援装置のソフトウェアシミュレーション部１で例えばローラの停止指示を行った後に、実際にローラが減速して完全に停止するまでの物理的な現象のシミュレーションを機構シミュレーション部２で行う際に使用する。
【００７２】
次に、設計支援装置は、設計者によるマンマシンＩ／Ｆ６からの入力に基づき、図６に示すように状態変化の登録を行う（ステップＳ１００２）。図６は、画像形成装置の搬送機構で発生する状態の中から今回の検証に関係のある状態を登録した状態変化登録一覧表である。状態変化とは、画像形成装置の搬送機構を構成する部品（ローラ、フラッパ等）の制御上の変化や物理的変化である。
【００７３】
例えば、登録番号Ｔ２は、「ローラＲ３を減速度１のスピードで停止制御開始したタイミング」を意味し、登録番号Ｔ３は、「ローラＲ３が物理的に停止したタイミング」を意味する。同様に、登録番号Ｔ７は、「フラッパＦＬ１をＯＮ１制御開始したタイミング」を意味し、登録番号Ｔ８は、「フラッパＦＬ１が物理的にＯＮ１の状態になったタイミング」を意味する。
【００７４】
登録番号Ｔ２のタイミング検知は、以下のようになる。即ち、ソフトウェアシミュレーション部１のファームソフトウェア部３１０がローラＲ３の減速開始制御を開始する。これに伴い、ファームソフトウェア部３１０から出力Ｉ／Ｆ部３１３、機構シミュレーション部２の入力Ｉ／Ｆ部３２４経由でデバイス駆動計算部３２１に減速開始制御信号が入力されたタイミングとして、デバイス駆動計算部３２１が検知する。
【００７５】
登録番号Ｔ３のタイミング検知は、以下のようになる。即ち、ソフトウェアシミュレーション部１のファームソフトウェア部３１０がＲ３の停止開始制御を開始する。これに伴い、ファームソフトウェア部３１０から出力Ｉ／Ｆ部３１３、機構シミュレーション部２の入力Ｉ／Ｆ部３２４経由でデバイス駆動計算部３２１に停止開始制御信号が入力される。この後、デバイス駆動計算部３２１が図５のプロファイル情報に基づきローラＲ３の回転駆動をシミュレートし、ローラＲ３の回転速度が減速状態から停止状態に遷移したタイミングとして、デバイス駆動計算部３２１が検知する。
【００７６】
尚、図６の状態変化登録一覧表に対する状態変化の登録作業は、各項目を容易に設定するためのＧＵＩ（Graphical User Interface）等を用いてもよい。その場合、“負荷”項目は、図５の制御プロファイル表に登録されている各負荷名を選択設定可能なプルダウン形式として設定できるように表示することで、効率的に登録作業を行うことができる。同様に“種別”項目についても、プルダウン形式とすることで登録作業を効率化することが可能である。
【００７７】
次に、設計支援装置は、設計者によるマンマシンＩ／Ｆ６からの入力に基づき、図７に示すように検証基準位置の登録を行う（ステップＳ１００３）。ここでは、図１４のローラＲ３のニップ位置や搬送路の分岐点１７０２の位置を示す位置情報を登録する。位置情報としては、検証対象の画像形成装置の断面図の横と縦をそれぞれＸ、Ｙ座標として表現してもよい。
【００７８】
また、画像形成装置の搬送路上の距離として、例えば図９のレジストローラ９７０を基準位置０として、レジストローラ９７０からの搬送距離として表現してもよい。図７は、レジストローラ９７０からの各検証基準位置の情報を登録した検証基準位置登録一覧表である。登録番号Ｐ１は、レジストローラ９７０からローラＲ３のニップ位置までの距離が270ｍｍであることを意味する。
【００７９】
次に、設計支援装置は、図１１に示すように許容値の設定を行う（ステップＳ１００４）。図１１は、制御ソフトウェアの検証を行いたいポイントに関する許容値一覧表である。例えば、図１５のＰ０６のタイミングで搬送を一時停止させた紙Ｓを、Ｐ０８のタイミングで反転搬送開始する制御を想定する。
【００８０】
紙Ｓの後端Ｐ１６がローラＲ３のニップ位置Ｐ１７に対して充分なマージンを持って停止できているか否かを検証する場合は、図６の登録番号Ｔ３と図７の登録番号Ｐ１を図１１の＃１のように登録する。（タイミングＴ３の時の紙Ｓの後端位置）−（Ｐ１）の距離がどの範囲であればよいかを、“Ｍｉｎ”、“Ｍａｘ”項目に登録する。図１１の＃１の“Ｍｉｎ”、“Ｍａｘ”項目は、ローラＲ３のニップ位置から分岐点のフラッパＦＬ１までの距離を加味した設定値となっている。
【００８１】
図１１の＃３は、紙Ｓを反転搬送開始する前にフラッパ切替えが完了して搬送路の確保ができているか否かを検証するための設定である。この場合の登録内容は、図６のＴ８と図７のＰ３であり、（タイミングＴ８の時の紙Ｓの後端位置）−（Ｐ３）の距離の許容範囲を設定している。ここで、許容範囲の値がマイナスであるのは、フラッパの位置の方が紙Ｓの後端位置よりもレジストローラ９７０に近いためである。
【００８２】
設計支援装置は、以上の制御プロファイル作成（ステップＳ１００１）、状態変化登録（ステップＳ１００２）、検証基準位置登録（ステップＳ１００３）、許容値設定（ステップＳ１００４）が終了した後に、実際に検証を開始する（ステップＳ１００５）。
【００８３】
設計支援装置は、設計者がマンマシンＩ／Ｆ６から紙搬送シミュレーションの開始を指示したことを入力監視部４で検知すると、ＯＳ３によりソフトウェアシミュレーション部１及び機構シミュレーション部２でシミュレーションを実行する。ソフトウェアシミュレーション部１のファームソフトウェア部３１０は、実機としての画像形成装置の紙搬送制御を行うためのソフトウェアを逐次実行していく。
【００８４】
上記ソフトウェアの実行と平行して、機構シミュレーション部２のデバイス駆動計算部３２１は、図６の状態変化登録一覧表に登録されたデバイスの状態変化を上記検知方法でリアルタイムに検知する。更に、デバイス駆動計算部３２１は、状態変化に対して、図１１の許容値一覧表から検証内容に合致するか検索し、検証対象である場合には上記検証方法でリアルタイムに検証する。
【００８５】
デバイス駆動計算部３２１は、検証した結果、発生した現象が許容範囲外であると判断した場合は、紙位置計算部３２０を介して紙位置表示部３３０にその旨を通知する。但し、その時点で画像形成装置がシミュレーションにおいて紙詰まり等の異常状態に陥っている場合には、状態変化タイミングが設計値とは異なる場合もあるため、通知しないようにしてもよい。
【００８６】
紙位置表示部３３０は、表示制御部５に対してディスプレイ７の紙搬送シミュレーション画面２０１における搬送機構の該当箇所（負荷）の表示形態（表示色または表示形状等）を変更するよう指示する。これと共に、紙位置表示部３３０は、表示制御部５に対して発生した現象の内容を別画面（不図示）を開いて表示するよう指示する。発生した現象の内容については、図１１の許容値一覧表に設定されている比較対象に基づき図６の状態変化登録一覧表に登録されている各種項目を検索し、登録番号の全設定項目を表示する。更に、許容値“Ｍｉｎ”、“Ｍａｘ”と、実際に検知した距離も表示する。
【００８７】
その後、設計者は表示制御部５によってディスプレイ７に表示された内容に基づいて、設計上問題がないか否かを検討する。設計支援装置は、設計者がマンマシンＩ／Ｆ６から検証対象を変更して検証を継続することを指示した場合（ステップＳ１００６でＹＥＳ）、図６の状態変化登録一覧表や図１１の許容値一覧表を更新し、繰り返し検証を行う。
【００８８】
上述した検証方法により、図１５に示す紙搬送の線図及びタイミングチャートを設計者が目視で検証する検証方法に比べて、見落としを無くすことができ且つ効率良く検証を行うことが可能となる。
【００８９】
以上説明したように、本実施の形態によれば以下の効果を奏する。設計支援装置によるシミュレーション対象の画像形成装置で発生する状態変化を予め登録可能とする。状態変化は、例えば、図１４及び図１５で紙Ｓの後端がセンサＳ１を離脱したという状態変化や、ローラＲ３が停止した等の状態変化を含む。また、画像形成装置の搬送機構の構成要素（ローラ、フラッパ、センサ等）の位置を検証基準位置として予め登録可能とする。
【００９０】
設計支援装置による検証対象の画像形成装置の制御ソフトウェアによる制御過程において、画像形成装置で発生する各種の状態変化について予め登録した状態変化である場合は、状態変化の発生タイミングを記憶する。更に、各状態変化の発生タイミングにおける紙後端位置から検証基準位置までの距離が予め設定した許容範囲外の場合は、その旨を警告通知する。具体的には、例えばローラＲ３の停止時の紙後端位置からローラＲ３のニップ位置までの距離が許容値２０ｍｍ〜３０ｍｍに対して１０ｍｍしかなかった場合は、その旨を警告通知する。
【００９１】
上記警告により、例えば紙反転搬送制御時に見かけ上は正常に反転搬送制御される過程で、センサＳ１のＯＦＦ制御からローラＲ３の停止制御までが設計通りにタイミング良く行われていない不具合等を容易に発見することが可能となる。これにより、設計者は検証対象の画像形成装置の搬送機構制御ソフトウェアの動作検証を効率良く行うことが可能となる。
【００９２】
上記基本構成に基づいて、以下のような具体的な形態が可能である。例えば、制御ソフトウェアで検証対象の画像形成装置の異常を検知して異常状態に設定、あるいは設計支援装置側から画像形成装置の状態を異常状態に設定する。その際に画像形成装置が異常状態である場合は、紙後端位置から検証基準位置までの距離が許容外であると判断しても、上述したように、その旨を通知する処理は行わないという形態も取り得る。これにより、不必要な通知が行われないため、設計者が効率的に検証を行うことが可能となる。
【００９３】
また、上記通知を警告通知にする、あるいはシミュレート内容に対して表示色あるいは表示形状を変えて画面表示する形態も取り得る。これにより、設計者が通常の通知とは異なる通知に基づき制御ソフトウェアの異常を識別し易くなり、設計者が効率的に検証を行うことが可能となる。
【００９４】
また、紙後端位置から検証基準位置までの距離が許容範囲外であるか否かの判断を、シミュレートの処理途中で逐次行う形態も取り得る。これにより、設計者が搬送機構制御ソフトウェアの異常をリアルタイムに認識することが可能となる。
【００９５】
また、紙後端位置から検証基準位置までの距離が許容範囲外であるか否かの判断を、シミュレートの処理が終了した後で行う形態も取り得る。これにより、制御ソフトウェアの処理が長時間に及ぶ場合や異常部分をリスト化して一括管理する場合等の検証方法に対して有効な設計支援を行うことが可能となる。この形態の詳細については他の実施の形態で後述する。
【００９６】
以上をまとめると、搬送機構制御ソフトウェアの検証、特に紙の反転搬送制御の検証を自動的に設計者の検証漏れが無く且つ効率良く行うことが可能となる。
【００９７】
［他の実施の形態］
上記実施の形態では、設計支援装置（画像形成装置シミュレータ）を使用して画像形成装置の検証を行うを例に挙げたが、これに限定されるものではない。実機としての画像形成装置を使用して検証を行ってもよい。
【００９８】
また、上記実施の形態では、状態変化登録一覧表に登録する際の画像形成装置の負荷の種別としてローラ、センサ、フラッパを例に挙げたが、これに限定されるものではない。画像形成装置に装備される他の負荷（転写ベルト、レーザ露光機構等）にも適用可能である。
【００９９】
また、上記実施の形態では、許容値一覧表との比較により発生した現象が許容範囲外であると判断した際にその旨を画面に表示する場合を例に挙げたが、これに限定されるものではない。設計者の注意を惹くために例えば音声による警告等の通知としてもよい。
【０１００】
また、上記実施の形態では、画像形成装置の検証をリアルタイムに行う（シミュレートの処理途中で逐次行う）系を例に挙げたが、これに限定されるものではない。制御ソフトウェアの実行経過をログ情報や計測器等により記録しておき、制御ソフトウェアの実行終了後（シミュレートの処理の終了後）に記録情報に基づいて検証を行ってもよい。
【０１０１】
この場合は、画像形成装置の画像形成中に制御部９０９のＣＰＵ８０１が、モータやフラッパ等の各種負荷のＯＮ／ＯＦＦ制御及びセンサ等の入力情報をＲＡＭ８０５にログ情報として逐次記憶していく。ここで記憶したログ情報は、画像形成装置に外部Ｉ／Ｆ９２６を介して接続されるＰＣ等に送信される。ログ情報には、図６に示す状態変化登録一覧表の各項目に該当する情報と、状態変化が発生した時間を示す情報が含まれている。
【０１０２】
画像形成装置の画像形成処理が完了すると、図１２に示す検証装置で制御ソフトウェアの検証を行う。検証装置は、ＯＳ３、入力監視部４、表示制御部５、入力装置１８０１、検証部１８０２を備える。入力装置１８０１は、画像形成装置から入手したログ情報を検証装置に取り込むものであり、フロッピー（登録商標)ディスクドライブ等を介してデータを入力する装置、ＲＳ−２３２ＣやＵＳＢ接続でデータを入力する装置の何れでもよい。
【０１０３】
検証部１８０２は、図１３に示すように、入力Ｉ／Ｆ部１９０１、タイミング比較処理部１９０２、タイミングチャート生成部１９０３、タイミングチャート表示部１９０４を備える。入力Ｉ／Ｆ部１９０１は、入力装置１８０１から入手したログ情報を入力する。タイミング比較処理部１９０２は、図６に示す状態変化登録一覧表と、図１１に示す許容値一覧表に基づいて、入力したログ情報を比較処理する。タイミングチャート生成部１９０３は、タイミング比較処理部１９０２で比較処理した結果に基づいて、タイミングチャートを生成する。
【０１０４】
タイミングチャート表示部１９０４は、タイミングチャート生成部１９０３により生成されたタイミングチャートを、表示制御部５に対して表示させるよう指示する。タイミング比較処理部１９０２内部の実際の比較処理は、上記デバイス駆動計算部３２１で説明した処理内容と同じである。タイミング比較処理部１９０２で許容範囲外であると判断した場合、タイミングチャート生成部１９０３は、図６に示す状態変化登録一覧表中の該当する状態変化について設計者が容易に認識できるような表示データを生成する。
【０１０５】
検証装置において、図７に示す検証基準位置登録一覧表と図１１に示す許容値一覧表に対する登録は、設計者がマンマシンＩ／Ｆ６から入力を行い、ディスプレイ７の入力画面（不図示）により設定する。入力画面については、図６の状態変化登録一覧表に対する登録作業について上述した形式として問題ない。
【０１０６】
また、上記実施の形態では、許容値一覧表を状態変化別の設定として説明を行ったが、これに限定されるものではない。搬送される紙の種類やサイズ等を考慮したものとしてもよい。これにより、紙の種類やサイズ等、搬送特性の異なる場合についても紙反転搬送制御を検証することが可能となる。
【０１０７】
また、上記実施の形態では、搬送体（記録材）として紙を例に挙げたが、これに限定されるものではない。本発明は紙以外の種類の搬送体にも適用可能である。
【０１０８】
また、上記実施の形態では、画像形成装置として複写機を例に挙げたが、これに限定されるものではない。本発明はプリンタや複合機にも適用可能である。
【０１０９】
また、本発明の目的は、以下の処理を実行することによって達成される。即ち、上述した実施形態の機能を実現するソフトウェアのプログラムコードを記録した記憶媒体を、システム或いは装置に供給し、そのシステム或いは装置のコンピュータ（またはＣＰＵやＭＰＵ等）が記憶媒体に格納されたプログラムコードを読み出す処理である。
【０１１０】
この場合、記憶媒体から読み出されたプログラムコード自体が前述した実施の形態の機能を実現することになり、そのプログラムコード及び該プログラムコードを記憶した記憶媒体は本発明を構成することになる。
【０１１１】
また、プログラムコードを供給するための記憶媒体としては、次のものを用いることができる。例えば、フロッピー（登録商標）ディスク、ハードディスク、光磁気ディスク、ＣＤ−ＲＯＭ、ＣＤ−Ｒ、ＣＤ−ＲＷ、ＤＶＤ−ＲＯＭ、ＤＶＤ−ＲＡＭ、ＤＶＤ−ＲＷ、ＤＶＤ＋ＲＷ、磁気テープ、不揮発性のメモリカード、ＲＯＭ等である。または、プログラムコードをネットワークを介してダウンロードしてもよい。
【０１１２】
また、コンピュータが読み出したプログラムコードを実行することにより、上記実施の形態の機能が実現される場合も本発明に含まれる。加えて、そのプログラムコードの指示に基づき、コンピュータ上で稼動しているＯＳ（オペレーティングシステム）等が実際の処理の一部または全部を行い、その処理によって前述した実施形態の機能が実現される場合も含まれる。
【０１１３】
更に、前述した実施形態の機能が以下の処理によって実現される場合も本発明に含まれる。即ち、記憶媒体から読み出されたプログラムコードが、コンピュータに挿入された機能拡張ボードやコンピュータに接続された機能拡張ユニットに備わるメモリに書き込まれる。その後、そのプログラムコードの指示に基づき、その機能拡張ボードや機能拡張ユニットに備わるＣＰＵ等が実際の処理の一部または全部を行う場合である。
【図面の簡単な説明】
【０１１４】
【図１】本発明の実施の形態に係る設計支援装置の制御系の概略構成を示すブロック図である。
【図２】設計支援装置の紙搬送シミュレーション画面を示す図である。
【図３】設計支援装置の制御系の詳細構成を示すブロック図である。
【図４】設計支援装置による画像形成装置の紙搬送シミュレーションを説明する図である。
【図５】画像形成装置の各負荷の制御プロファイル表を示す図である。
【図６】画像形成装置の搬送機構で発生する状態の中から今回の検証に関係のある状態を登録した状態変化登録一覧表を示す図である。
【図７】画像形成装置のレジストローラからの各検証基準位置の情報を登録した検証基準位置登録一覧表を示す図である。
【図８】画像形成装置の制御部の要部構成を示すブロック図である。
【図９】画像形成装置の概略構成を示す構成図である。
【図１０】設計支援装置の検証の流れを示すフローチャートである。
【図１１】制御ソフトウェアの検証を行いたいポイントに関する許容値一覧表を示す図である。
【図１２】本発明の他の実施の形態に係る検証装置の制御系の概略構成を示すブロック図である。
【図１３】検証装置の検証部の詳細構成を示すブロック図である。
【図１４】画像形成装置の紙の反転搬送を行う搬送路を示す図である。
【図１５】画像形成装置の紙搬送の線図及びタイミングチャートである。
【符号の説明】
【０１１５】
１  ソフトウェアシミュレーション部（第１の登録手段、第２の登録手段）
２  機構シミュレーション部（検出手段、算出手段、検証手段、通知手段）
３  オペレーティングシステム
４  入力監視部
５  表示制御部（表示制御手段）
２０１  紙搬送シミュレーション画面
３１０  ファームソフトウェア部
３２０  紙位置計算部
３２１  デバイス駆動計算部
９００  画像形成装置
１７０１  フラッパ（構成要素）
１７０２  分岐点（構成要素）
Ｒ２〜Ｒ４  ローラ（構成要素）
Ｓ１  センサ（構成要素）
１８０１  入力装置
１８０２  検証部
１９０２  タイミング比較処理部
１９０３  タイミングチャート生成部
１９０４  タイミングチャート表示部
【図１】
2008176419.tif 000003
【図２】
2008176419.tif 000004
【図３】
2008176419.tif 000005
【図４】
2008176419.tif 000006
【図５】
2008176419.tif 000007
【図６】
2008176419.tif 000008
【図７】
2008176419.tif 000009
【図８】
2008176419.tif 000010
【図９】
2008176419.tif 000011
【図１０】
2008176419.tif 000012
【図１１】
2008176419.tif 000013
【図１２】
2008176419.tif 000014
【図１３】
2008176419.tif 000015
【図１４】
2008176419.tif 000016
【図１５】
2008176419.tif 000017