(57)【要約】【課題】用紙搬送装置のユーザが用紙を除去する状況において、制御ソフトウエアが正しく制御しているかを検証できるソフトウエアの検証装置を提供する。【解決手段】ＣＰＵシミュレータと、用用紙搬送装置シミュレータとを有し、用紙搬送装置シミュレータは、用紙搬送装置の搬送路を模擬する模擬搬送路と、用紙搬送路上を移動する用紙を模擬する模擬用紙と、用紙搬送装置を構成する部品を模擬する模擬部品と、模擬搬送路上における前記模擬用紙の位置の推移を算出する用紙位置算出手段と、シミュレーション状況に応じて前記模擬用紙を除去するか否かを判断する用紙除去判断手段と、模擬搬送路上から前記模擬用紙の除去を要求する用紙除去要求手段と、前記用紙除去要求手段による前記模擬用紙の除去要求時に、前記用紙除去判断手段の判断結果に応じて前記模擬用紙を前記模擬搬送路上から除去する用紙除去実施手段とを備える。【選択図】図１
2019113936.tif 000002
【特許請求の範囲】
【請求項１】
用紙搬送装置を制御するソフトウエアを検証するソフトウエア検証装置であって、
前記ソフトウエアを実行するＣＰＵシミュレータと、
前記用紙搬送装置および用紙の動作をシミュレーションする用紙搬送装置シミュレータとを有し、
前記用紙搬送装置シミュレータは、
前記用紙搬送装置の搬送路を模擬する模擬搬送路と、
前記用紙搬送路上を移動する前記用紙を模擬する模擬用紙と、
前記用紙搬送装置を構成する部品を模擬する模擬部品と、
前記模擬搬送路上における前記模擬用紙の位置の推移を算出する用紙位置算出手段と、
シミュレーション状況に応じて前記模擬用紙を除去するか否かを判断する用紙除去判断手段と、
前記模擬搬送路から前記模擬用紙の除去を要求する用紙除去要求手段と、
前記用紙除去要求手段による前記模擬用紙の除去要求を受けて、前記用紙除去判断手段の判断結果に応じて前記模擬用紙を前記模擬搬送路上から除去する用紙除去実施手段とを備えることを特徴とするソフトウエア検証装置。
【請求項２】
前記用紙除去要求手段は、
前記用紙除去判断手段の判断結果に応じて、前記模擬用紙を前記模擬搬送路上から除去する第１の要求モードを含む複数の要求モードを有し、
前記用紙除去判断手段は、前記用紙除去要求手段からの前記要求モードに応じて、判断することを特徴とする請求項１に記載のソフトウエア検証装置。
【請求項３】
前記用紙除去要求手段は、
前記模擬用紙を前記模擬搬送路上から無条件に除去する第２の要求モードを有することを特徴とする請求項２に記載のソフトウエア検証装置。
【請求項４】
前記用紙除去要求手段は、
前記用紙除去判断手段に、前記第１の要求モードで要求を出し、次に、前記第２の要求モードで要求を出すことを特徴とする請求項３に記載のソフトウエア検証装置。
【請求項５】
前記用紙搬送装置シミュレータは、
前記模擬搬送路上の任意の領域を指定する領域指定手段を備え、
前記用紙除去判断手段は、前記領域指定手段で指定される領域と、前記模擬搬送路上の前記模擬用紙の位置との関係に応じて、当該模擬用紙を除去するか否かを判断する第１の関連性判断機能を有すること特徴とする請求項１乃至４のいずれか１項に記載のソフトウエア検証装置。
【請求項６】
前記第１の関連性判断機能は、前記領域指定手段で指定される領域内に、前記模擬搬送路上の前記模擬用紙の少なくとも一部が存在する場合に、前記模擬搬送路上にある全ての模擬用紙を除去しないと判断することを特徴とする請求項５に記載のソフトウエア検証装置。
【請求項７】
前記第１の関連性判断機能は、前記領域指定手段で指定される領域内に、前記模擬搬送路上の前記模擬用紙の少なくとも一部が存在する場合に、当該模擬用紙は除去しないと判断することを特徴とする請求項５に記載のソフトウエア検証装置。
【請求項８】
前記用紙搬送装置シミュレータは、
前記模擬部品に対して、該模擬部品を識別する部品識別子と、該模擬部品が前記模擬用
紙に対して作用する動作作用点の位置情報とを定義した部品モデル定義情報を有し、
前記模擬用紙の動作に影響を与える模擬部品の前記動作作用点と駆動状況を指定する駆動状況指定手段を備え、
前記用紙除去判断手段は、指定された前記模擬部品の動作作用点の位置と前記模擬搬送路上の前記模擬用紙との位置関係と、当該模擬部品の駆動状況に応じて、当該模擬用紙を除去するか否かを判断する第２の関連性判断機能を有することを特徴とする請求項１乃至７のいずれか１項に記載のソフトウエア検証装置。
【請求項９】
前記第２の関連性判断機能は、指定された前記模擬部品の前記動作作用点が前記模擬搬送路上の前記模擬用紙上に存在し、かつ、当該動作作用点に関連付けられている前記模擬部品の駆動状況が前記駆動状況指定手段によって指定される当該模擬部品の駆動状況が一致している場合に、前記模擬搬送路上にある全ての模擬用紙を除去しないと判断することを特徴とする請求項８に記載のソフトウエア検証装置。
【請求項１０】
前記第２の関連性判断機能は、指定された前記模擬部品の動作作用点が前記模擬搬送路上の前記模擬用紙上に存在し、かつ、当該模擬部品の駆動状況が前記駆動状況指定手段によって指定される当該模擬部品の駆動状況が一致している場合に、当該模擬用紙は除去しないと判断することを特徴とする請求項８に記載のソフトウエア検証装置。
【請求項１１】
前記第２の関連性判断機能は、前記駆動状況指定手段で指定された前記模擬部品の動作作用点が前記模擬搬送路上の前記模擬用紙上に存在し、かつ、当該前記模擬部品の駆動状況が前記駆動状況指定手段によって指定される当該模擬部品の駆動状況が一致している場合に、当該模擬用紙は除去すると判断することを特徴とする請求項８に記載のソフトウエア検証装置。
【請求項１２】
前記用紙除去実施手段は、前記用紙除去判断手段が模擬用紙を除去しないと判断した場合に、模擬用紙の除去が実施不可である旨を報知することを特徴とする請求項１乃至１１のいずれか１項に記載のソフトウエア検証装置。
【請求項１３】
請求項１乃至１２のいずれか１項に記載のソフトウエア検証装置としてコンピュータを機能させることを特徴とするプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、制御ソフトウエアの検証装置に関する。
【背景技術】
【０００２】
機械装置の制御ソフトウエアのデバッグや検証に、機構制御シミュレーションを用いることがある。特許文献１は、用紙搬送装置の制御ソフトウエアの動作検証を目的とした用紙搬送シミュレータにおいて、仮想紙をシミュレーション画面上から除去する方法を開示している。また、特許文献２は、画像形成装置のデバイスを制御するソフトウエアの動作検証を目的とした画像形成装置の制御ソフトウエアシミュレータを開示している。この制御ソフトウエアシミュレータにおいては、画像形成装置の動作を模擬する仮想デバイスの状態に応じて、制御ソフトウエアの操作が適正かを判定し、仮想デバイスの動作が可能かを判定している。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特許第４１９４５５１号公報
【特許文献２】特開２００８−６５７１２号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
実際の用紙搬送装置では、用紙搬送装置ユーザの手が届かない用紙搬送場所がある。そのため、ジャム発生時には、ユーザが対処できない場所に用紙が停止しないように、用紙搬送装置の制御ソフトウエアは、用紙を制御する。用紙搬送シミュレータを用いて制御ソフトウエアの動作検証をする際、用紙除去模擬時に、ユーザの手が届かない位置にある用紙を、ユーザが対処可能な用紙と同様に除去してしまうと、用紙停止位置制御の検証を行うことができない。特許文献１では、用紙搬送シミュレータで除去対象に指定された紙全てを無条件で除去する。よって、用紙搬送シミュレータ上で、実際の用紙搬送装置でユーザの手が届かない場所に用紙が停止している状況に相当する場合、すなわち、検証対象のソフトウエアが正しく用紙停止位置制御を実施していない場合でも、用紙を除去してしまう。このため、制御ソフトウエアの不備に気付くことができない。
【０００５】
また、実際の画像形成装置では、用紙に転写されたトナー画像を熱で用紙に定着させる定着ローラ対を有しており、定着ローラ対は用紙にトナー画像を十分定着させるために、定着ローラ対を当接し、用紙に圧を加えている。しかし、ジャム発生時など、ユーザが定着ローラ位置にある用紙を除去する状況では、定着ローラ対を離間させ、定着ローラ対が把持している紙をユーザが除去しやすくする制御を行っている。特許文献２では、定着ローラ対の駆動源であるモータ等の制御デバイスの制御適正判定情報を用いて、制御デバイスの制御が正しく行われているかを判定する。しかし、この判定情報には、用紙や搬送路の情報は含まれておらず、用紙除去時に定着ローラ対を離間する制御が正しく行われているかを検証することはできない。
【０００６】
本発明は、上述の問題に鑑みて成されたものであり、用紙搬送装置のユーザが用紙を除去する状況において、用紙搬送装置の制御ソフトウエアが、正しく装置デバイスを制御しているかを検証できる制御ソフトウエアの検証装置を提供することを目的とする。
【課題を解決するための手段】
【０００７】
上記目的を達成するために本発明は、
用紙搬送装置を制御するソフトウエアを検証するソフトウエア検証装置であって、
前記ソフトウエアを実行するＣＰＵシミュレータと、
前記用紙搬送装置および用紙の動作をシミュレーションする用紙搬送装置シミュレータとを有し、
前記用紙搬送装置シミュレータは、
前記用紙搬送装置の搬送路を模擬する模擬搬送路と、
前記用紙搬送路上を移動する前記用紙を模擬する模擬用紙と、
前記用紙搬送装置を構成する部品を模擬する模擬部品と、
前記模擬搬送路における前記模擬用紙の位置の推移を算出する用紙位置算出手段と、
シミュレーション状況に応じて前記模擬用紙を除去するか否かを判断する用紙除去判断手段と、
前記模擬搬送路から前記模擬用紙の除去を要求する用紙除去要求手段と、
前記用紙除去要求手段による前記模擬用紙の除去要求を受けて、前記用紙除去判断手段の判断結果に応じて前記模擬用紙を前記模擬搬送路上から除去する用紙除去実施手段とを備えることを特徴とする。
【０００８】
また、本発明は、
上記ソフトウエア検証装置としてコンピュータを機能させることを特徴とするプログラムである。
【発明の効果】
【０００９】
以上説明したように、本発明によれば、用紙搬送のシミュレーションにおいて、用紙除去模擬の際、シミュレーション状況に応じて用紙除去模擬の処理を変更するため、実際の制御対象装置で用紙除去できない状況を考慮した用紙除去の模擬ができる。結果として、用紙搬送装置のユーザが用紙を除去する状況で、制御ソフトウエアが正しく装置デバイスを制御しているか、用紙搬送装置シミュレータを含むソフトウエア検証装置で検証できるようになる。
【図面の簡単な説明】
【００１０】
【図１】実施例１におけるソフトウエア検証装置のシステム構成図
【図２】本実施例による検証装置のハードウェア構成図
【図３】本実施例の動作検証ソフトウエアの制御対象装置である電子写真装置断面図
【図４】模擬対象の電子写真装置の装置シミュレータの描画機能による描画イメージ
【図５】領域関連性判断機能の用紙モデル除去実施の判断フロー
【図６（ａ）】実施例１でのジャム発生時の装置シミュレータの描画イメージ
【図６（ｂ）】実施例１での他のジャム発生時の装置シミュレータの描画イメージ
【図７】判断領域関連性判断機能の用紙モデル除去実施の判断フロー
【図８】実施例２におけるソフトウエア検証装置のシステム構成図
【図９】部品関連性判断機能の用紙モデル除去実施の判断フロー
【図１０（ａ）】実施例２でのジャム発生時の装置シミュレータの描画イメージ
【図１０（ｂ）】実施例２での他のジャム発生時の装置シミュレータの描画イメージ
【図１１】実施例３におけるソフトウエア検証装置のシステム構成図
【発明を実施するための形態】
【００１１】
以下、本発明の例示的な実施例について図面を参照して説明する。本発明の趣旨を逸脱しない範囲内で実施例の構成を適宜変形したり変更したりすることにより得られる構成も本発明に含まれる。以下の複数の実施例の構成を適宜組み合わせて得られる構成も、本発明に含まれる。また、各実施例における機能および処理はそれぞれ単一のコンピュータ装置で実現してもよいし、必要に応じた複数のコンピュータ装置による分散処理によって実現するようにしてもよい。複数のコンピュータ装置で構成される場合は、互いに通信可能
なようにＬｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ（ＬＡＮ）などで接続されている。あるいは、機能および処理の一部をクラウドコンピューティングによって実現してもよい。なお、以下の各図においては、実施例の説明に必要ではない構成要素については図から省略する。
【実施例１】
【００１２】
本発明の実施例１は、ソフトウエア検証装置の構成要素である用紙搬送装置シミュレータにおいて、用紙除去模擬の際、除去対象用紙の用紙搬送路上の位置に応じて、用紙除去模擬方法を変更するものである。
以下、本発明のソフトウエア検証装置の構成を、添付図面に従って説明する。
本実施例のソフトウエア検証装置は、コンピュータシステム上でプログラムを実行することで実現でき、そのハードウェア構成を図２に示す。図２の本体部２０２のハードディスク２０２ｃには、検証装置の各機能を実現するためのプログラムや、制御対象装置に関する情報を含む各種データや、検証対象の制御ソフトウエアが格納される。中央処理部２０２ａは、プログラム及び各種データを主記憶部２０２ｂにロードして実行し、これによりコンピュータシステム２０１は検証装置として動作する。なお、表示装置２０３は、本体部２０２からの指示により画面表示を行う。また、キーボード２０４は、このコンピュータシステム２０１にユーザの指示や文字情報を入力するためのものである。さらに、マウス２０５は、表示装置２０３上の任意の位置を指定することによりその位置に表示されているアイコン等に応じた指示を入力するためのものである。これらコンピュータシステム２０１の基本動作は、基本プログラムであるオペレーティングシステム（以下、ＯＳと記す）を介して実行される。
【００１３】
ここで、実施例１に係る用紙搬送装置シミュレータについて説明する。
用紙搬送装置シミュレータは、ターゲット装置のアクチュエータ、センサを含む複数の部品からなる用紙搬送装置の機構部品、当該機構部品間の干渉、連携、及びアクチュエータ、センサに接続される信号をシミュレーションする。用紙搬送装置シミュレータは、これらに加えて機構部品動作による用紙の搬送をシミュレーションする。なお、本実施例では、用紙搬送方向を含む２次元の用紙搬送をシミュレーションする用紙搬送装置シミュレータで説明する。しかし、本発明は２次元の用紙搬送装置シミュレータに限定されるものではない。
【００１４】
ここで、実施例１に係るシミュレーション対象の用紙搬送装置について説明する。
＜シミュレーション対象装置の具体例＞
図３は動作検証対象のファームウエアの制御対象装置である用紙搬送装置としての電子写真方式の画像形成装置（以降、単に画像形成装置）３０１の断面図である。
画像形成装置３０１は、図３に示すように用紙Ｓを収納するカセット３０２を有する。前記カセット３０２上には、用紙をピックアップするピックアップローラ３０３、更にピックアップされた用紙をくり出す給紙ローラ３０４が設けられている。そして、給紙ローラ３０４の下流には給紙された用紙Ｓを後述のレジストローラまで搬送する搬送ローラ３０５が配設されている。なお、用紙Ｓは、ピックアップローラ３０３によりピックされて以降、各種ローラによってカセット３０２から後述の排紙トレイ３１６までをつなぐ搬送路３１７上を搬送される。
前記搬送ローラ３０５の下流には、画像の副走査同期信号に用紙Ｓを同期させて搬送するレジストローラ３０７が配設されており、該レジストローラ３０７の直前には用紙センサであるレジ前センサ３０６が配設されている。レジストローラ３０７の下流には、レーザスキャナ部３１０からのレーザ光により画像を形成する画像形成部３０９が配設されている。画像形成部３０９は、感光ドラム３０９ａと転写ローラ３０９ｂで構成されている。さらに、画像形成部３０９の下流には定着部３１１が配設されている。定着部３１１は、ローラ内にヒータが組み込まれた定着ローラ３１１ａ、定着ローラ３１１ａの対となる
加圧ローラ３１１ｂと、定着ローラ３１１ａの温度を計測する定着サーミスタ３１１ｃから構成されている。定着サーミスタ３１１ｃは、定着ローラ３１１ａの中央部の温度を計測する中央サーミスタと、搬送用紙の端部にあたる部分の温度を計測する端部サーミスタの２つがある。定着部３１１の下流には定着排紙ローラ３１２が、その下流には定着排紙センサ３１３が配設されている。定着排紙センサ３１３の下流には排紙トレイ３１６への搬送路がある。排紙トレイ３１６への搬送路下流には、排紙搬送ローラ３１４、３１５、および排紙センサ３０８が配設されており、排紙搬送ローラ３１４、３１５により排紙トレイ３１６まで用紙Ｓを搬送する。
【００１５】
画像形成装置３０１は、前記の機能の他に下記に示す機能を有し、画像形成装置のファームウエアは下記機能を制御している。ピックアップローラ３０３、給紙ローラ３０４、搬送ローラ３０５は、不図示の給紙モータを駆動源とする。また、レジストローラ３０７から下流の用紙搬送ローラ（画像形成部３０９の感光ドラム３０９ａ、転写ローラ３０９ｂ、定着ローラ３１１ａ、加圧ローラ３１１ｂを含む）は、全て不図示のメインモータを駆動源としている。ピックアップローラ３０３は不図示のカム機構によって上下動する構成になっており、カム機構駆動のトリガを不図示のピックアップソレノイドによってコントロールする。レジストローラ３０７は不図示のレジストローラクラッチを介してメインモータからの駆動力を受けており、レジストローラクラッチの制御によって駆動、停止が制御される。画像形成部３０９の光学機構は、半導体レーザと半導体レーザからのレーザ光を反射させるポリゴンミラーを回転させ感光ドラム３０９ａ上にレーザ光を照射させるスキャナモータとを有している。また、定着部３１１には定着ローラ３１１ａを加熱するための定着ローラ内に不図示の定着ヒータへの通電接続、遮断をコントロールするトライアックを有している。ファームウエアは、定着サーミスタ３１１ｃから入力される定着ヒータ温度によって定着ヒータへの通電接続、遮断をコントロールしている。なお、定着ローラ３１１ａ、加圧ローラ３１１ｂは、駆動源のメインモータの逆回転で離間する構成になっている。また、定着ローラ３１１ａと加圧ローラ３１１ｂが離間している状態で、メインモータが正回転すると定着ローラ３１１ａと加圧ローラ３１１ｂは当接する。定着ローラ３１１ａと加圧ローラ３１１ｂの当接後は、定着ローラ３１１ａ、加圧ローラ３１１ｂは、用紙を下流側に搬送する方向に回転する構成になっている。
以上に示した構成と機能を有する画像形成装置３０１は、カセット３０２から用紙Ｓをピックアップし、ピックアップに続き用紙Ｓを搬送する。次に、画像形成部３０９の感光ドラム３０９ａ上にレーザ光を照射し、レーザ照射部分に電荷を帯びたトナーを載せてトナー画像を形成し、搬送した用紙Ｓに感光ドラム上に載っているトナー画像を転写する。トナー画像が転写された用紙Ｓを定着部３１１へ搬送し、転写されたトナー画像を熱で用紙Ｓに定着させ、用紙Ｓを排紙トレイ３１６へ排紙することで、印刷物を作成する。なお、画像形成装置３０１は、ソフトウエアが動作するＣＰＵにより、画像形成装置の構成部品が制御されており、このソフトウエアが本実施例でのソフトウエア検証装置での検証対象ソフトウエアとなる。
【００１６】
図１はソフトウエア検証装置のシステム構成図である。
本発明の用紙搬送装置シミュレーションデバッグシステムはＣＰＵシミュレータ１２０、用紙搬送装置シミュレータ１０１から構成され、それぞれ独立したプロセスとして動作する。
ＣＰＵシミュレータ１２０はシミュレーション対象となるＣＰＵ（以下、ターゲットＣＰＵと呼ぶ）の動作を前記コンピュータシステム２０１上で実現する機能である。ここで、ターゲットＣＰＵとは前記コンピュータシステム２０１に搭載されているＣＰＵではなく、シミュレーションの対象となる用紙搬送装置に搭載され、該装置を制御するためのＣＰＵのことである。前記ＣＰＵシミュレータ１２０は、前記ターゲットＣＰＵの制御プログラムに従って、ターゲットＣＰＵの端子に対応して定義された仮想入力端子の情報を読み込み、仮想出力端子を制御する。前記ＣＰＵシミュレータ１２０は、ターゲットＣＰＵ
のアドレス空間に対応した仮想アドレス空間を備える。仮想アドレス空間とは、ターゲットＣＰＵの管理するアドレス空間上の個々の領域と１対１で対応する領域を前記コンピュータシステム２０１のＲＡＭ上に定義したものである。仮想アドレス空間の前記コンピュータシステム２０１上の実アドレス値はターゲットＣＰＵの扱うアドレス値と異なる。ＣＰＵシミュレータ１２０は、前記ターゲットＣＰＵの制御プログラムによるターゲットＣＰＵアドレス空間上のアドレス値へのアクセス命令に従って、仮想アドレス空間上の対応する領域にアクセスする。
ＣＰＵシミュレータ１２０は外部インターフェースとしてターゲットＣＰＵのＩ／Ｏ、メモリ、レジスタアクセスのためのメソッドを用意している。外部モジュールはこれらのメソッドにより前記仮想アドレス空間へのアクセスを行う。
【００１７】
以下、用紙搬送装置シミュレータ１０１の構成要素について説明する。
用紙搬送装置シミュレータ１０１は、シミュレーション対象となる用紙搬送装置の動作を前記コンピュータシステム２０１上で実現する機能である。用紙搬送装置シミュレータ１０１は、模擬部品１０２、模擬搬送路１０３、模擬用紙１０４、用紙除去要求手段１０５、用紙除去判断手段１０６、用紙除去実施手段１０７、領域指定手段１０８、および用紙位置算出手段１１１から構成される。
模擬部品１０２は、用紙搬送装置のユニット部品を模擬するものである。用紙搬送装置のユニット部品とは、具体的には、画像形成装置３０１を構成する各種ローラや、モータ、クラッチ及びセンサである。なお、模擬部品は、模擬対象のユニット部品のモデル（以下、部品モデル）を元に作成する。模擬部品には、模擬部品を識別する部品識別子（以下、部品ＩＤと記す）の情報をもつ。部品ＩＤは、部品モデル定義情報１１５に格納される。部品モデル定義情報１１５は、部品ＩＤの他に、模擬部品１０２の定義に必要な各種情報が関連付けられて格納される。例えば、模擬部品１０２が、用紙との干渉／非干渉を模擬するセンサの模擬部品である場合、部品モデル定義情報１１５は、用紙搬送系上でのセンサ干渉範囲、および、用紙干渉時の出力値、となる。ここで、用紙搬送系又は搬送系とは、用紙が搬送される各搬送路を含んで構成される系である。
模擬搬送路１０３は、画像形成装置３０１の搬送路３１７を模擬するものである。各模擬搬送路は、搬送路モデルを元に作成する。搬送路３１７を模擬するため、模擬搬送路同士を接続し、用紙を搬送する経路を構成している。模擬部品同様、模擬搬送路１０３には、搬送路を識別する搬送路識別子（以下、搬送路ＩＤ）の情報をもつ。模擬搬送路１０３は、始点と終点の２点を結ぶ直線で搬送系上の搬送路位置を定義し、また、当該模擬搬送路と接続する他の模擬搬送路、または後述の模擬トレイの定義により、用紙搬送経路の構成が定義される。前記定義の情報が、搬送路モデル定義情報１１３である。なお、模擬搬送路の始点と終点は用紙搬送系上での座標値、具体的にはＸ軸座標値とＹ軸座標値で定義される。
【００１８】
模擬用紙１０４は、用紙搬送路上を移動する用紙Ｓを模擬するものである。模擬用紙１０４は、模擬用紙を識別する用紙識別子（以下、用紙ＩＤと記す）の情報をもつ。模擬用紙１０４は、模擬対象用紙の用紙サイズと、シミュレーション開始時の模擬用紙位置によって定義する。前記定義の情報が用紙モデル定義情報１１４である。なお、シミュレーション開始時の模擬用紙位置とは、搬送開始前の模擬用紙を収納するために用意される給紙トレイを模擬する模擬部品のうち、いずれの模擬部品に模擬用紙を配置するかの定義である。搬送開始後に推移する模擬用紙位置は、用紙位置算出手段１１１が算出する。
用紙位置算出手段１１１は、用紙搬送装置シミュレータの用紙搬送系上での前記模擬用紙の位置を算出し、用紙搬送装置シミュレータの用紙搬送系上に存在する全ての模擬用紙の位置情報を算出する。用紙位置情報１１２は、用紙搬送系上での模擬用紙の先端位置座標値、および後端位置座標値である。なお、用紙搬送路上に存在しない模擬用紙１０４の位置情報は、用紙搬送系上での座標値ではなく、用紙搬送路上に存在しないことを示す無効な情報である。無効な情報とは、例えば、”ＮＯ  ＥＸＩＳＴＥＮＣＥ”という所定文
字列である。前記用紙位置算出手段１１１は、シミュレータ時間における単位時間ごとに模擬用紙の位置を算出し、模擬用紙の位置情報を模擬部品１０２各々に報知する。
なお、部品ＩＤ、搬送路ＩＤ、および、用紙ＩＤは、それぞれのモデル１つずつでユニークなものである。
領域指定手段１０８は、用紙搬送装置シミュレータ１０１における用紙搬送の経路上で、任意の用紙搬送路領域を指定する手段である。前記領域の指定は、用紙搬送路を構成する模擬搬送路１０３の搬送路ＩＤを選択することにより行う。領域指定手段１０８は、シミュレーション開始時に、搬送路ＩＤから当該模擬搬送路の始点と終点の座標値を、模擬搬送路１０３から取得し、搬送路ＩＤ、および模擬搬送路の始点座標値と終点座標値を１セットとし、領域情報１０９として管理する。なお、用紙搬送経路の領域指定方法として、模擬搬送路による領域指定ではなく、用紙搬送路上の任意の座標値２点による領域指定でもよい。座標値２点による領域指定の場合には、領域指定手段１０８は、用紙搬送路の指定領域端点の座標値を１セットとし、領域情報１０９として管理する。
【００１９】
用紙除去要求手段１０５は、模擬搬送路１０３上にある模擬用紙１０４の除去要求（以下、用紙除去要求と記す）を、用紙除去判断手段１０６に出す手段である。用紙除去要求を出すのは、例えば、ソフトウエア検証装置のユーザが、用紙搬送装置シミュレータ１０１のユーザインターフェース部（不図示）を介して、模擬用紙の除去を指示した場合である。あるいは、ＣＰＵシミュレータ１２０の状態が所定の状態になった場合である。前記所定の状態とは、具体的には、ターゲットＣＰＵの制御プログラムがジャム発生に応じて変化するターゲットＣＰＵ上のＲＡＭ領域があり、前記ＲＡＭ領域がジャム発生を示した状態である。より具体的には、ＣＰＵシミュレータ１２０でターゲットＣＰＵの特定アドレス空間の値が所定値になることであり、用紙除去要求手段１０５は、ＣＰＵシミュレータ１２０が、前述の所定状態になったことを検知し、用紙除去要求を出すのである。
用紙除去判断手段１０６は、用紙除去要求手段１０５から用紙除去要求を受け、模擬用紙を除去するか否かをシミュレーション状況に応じて判断する手段である。用紙除去判断手段１０６は、領域指定手段１０８にて指定される用紙搬送路上の領域に模擬用紙１０４が存在するかを判断し、模擬用紙を除去するか否かを判断する領域関連性判断機能１１０を有する。前記判断の方法は、模擬用紙の先端位置、後端位置を結ぶ用紙搬送路上に、領域情報１０９の座標値が存在するか否かである。
【００２０】
領域関連性判断機能１１０は、用紙除去要求を受け取ると、模擬用紙と指定領域関連性の判断処理を開始する。ここで領域関連性判断機能１１０は、第１の関連性判断機能に対応する。
領域関連性判断機能１１０の判断フローについて図５を用いて説明する。
既述の通り、領域関連性判断機能１１０は、用紙除去要求を受け取ると、判断処理を開始する。領域関連性判断機能１１０は、判断処理を開始すると、まず、チェック対象の搬送路上の領域情報を領域指定手段１０８から取得する（Ｓ５０１）。続いて、用紙位置と指定領域の関係性チェックをしていない模擬用紙があるかを確認する（Ｓ５０２）。Ｓ５０２で関係性チェックを実施していない模擬用紙がある場合、用紙位置算出手段１１１からチェック対象模擬用紙の先端座標と後端座標の値を用紙位置算出手段１１１から取得する（Ｓ５０３）。Ｓ５０３では、チェック対象模擬用紙の用紙ＩＤをキーとして、模擬用紙の位置情報を取得する。続いて、チェック対象模擬用紙の先端と後端が、指定領域内にあるかを判断する（Ｓ５０４）。Ｓ５０４では、Ｓ５０１で取得した用紙搬送路上の指定領域の座標値と、Ｓ５０３で取得したチェック対象の模擬用紙の先端座標値、および後端座標値の位置関係をチェックする。Ｓ５０４のチェックにより、模擬用紙の先端及び後端が領域指定内に入っていれば、用紙状態“包含”と判断する（Ｓ５０６）。先端、または後端のどちらか一方が指定領域内に入っていれば、用紙状態“重複”と判断する（Ｓ５０７）。Ｓ５０４にて、用紙先端および後端のどちらも指定領域外であると判断すると、チェック対象模擬用紙先端から後端までの間に、指定領域が存在するかチェックする（Ｓ５
０５）。Ｓ５０５の結果、模擬用紙先端から後端までの間に指定領域が存在する場合は、用紙状態“重複”と判断し（Ｓ５０８）、指定領域が存在しない場合は、用紙状態“領域外”と判断する（Ｓ５０９）。Ｓ５０６、Ｓ５０７、およびＳ５０８の場合は、関係性チェック対象の模擬用紙を除去しないと判断する（Ｓ５１０）。Ｓ５０９の場合は、関係性チェック対象の模擬用紙を除去すると判断する（Ｓ５１１）。
Ｓ５１０またはＳ５１１の処理を終え、チェック対象模擬用紙と指定領域との関係をチェックし終えると、Ｓ５０２の処理に戻る。Ｓ５０２にて、全ての模擬用紙に対する関連性チェックを終えていなければ、Ｓ５０３の処理を実施し、チェックを実施していない模擬用紙に対して関連性チェックを実施する。Ｓ５０２にて、全ての模擬用紙に対する関連性チェックを終えていれば、判断処理を終了する。
以上、領域関連性判断機能１１０は、図５に示した判断フローにより用紙除去要求手段１０５からの用紙除去要求に対して、搬送路上の各模擬用紙に対して、除去するか否かを判断する。そして、用紙除去判断手段１０６は、領域関連性判断機能１１０の判断結果が、用紙除去実施である模擬用紙に対してのみ、用紙除去実施手段１０７に用紙除去実施を指示する。なお、用紙除去実施を指示する際には、用紙除去実施手段１０７に用紙搬送路上にある模擬用紙の用紙ＩＤを伝達する。
【００２１】
用紙除去実施手段１０７は、用紙除去判断手段１０６から伝達される用紙ＩＤの模擬用紙を用紙搬送系上から消去する。具体的には、用紙位置算出手段１１１が管理する除去対象模擬用紙の用紙位置情報１１２を、用紙搬送系上に用紙先端および後端が存在しないことを示す無効な状態に変更する。なお、模擬用紙の除去方法として、模擬用紙の定義自体を消去することで実現してもよい。
以上が用紙搬送装置シミュレータ１０１の構成要素である。
【００２２】
なお、ＣＰＵシミュレータ１２０と用紙搬送装置シミュレータ１０１は接続され、シミュレーション情報のやりとりがなされる。ＣＰＵシミュレータ１２０と用紙搬送装置シミュレータ１０１の接続方法については、公知技術であるため詳述は省く。
また、用紙搬送装置シミュレータ１０１のユーザインターフェース部（不図示）が、用紙搬送装置シミュレータ１０１のユーザによる用紙搬送装置シミュレータ１０１に対する用紙搬送路定義、模擬部品定義、用紙搬送路領域指定の定義を仲介する。
【００２３】
以下、実施例１の制御ソフトウエア検証装置を用いて、用紙搬送装置の制御ソフトウエアの動作検証を行う場合を例に挙げる。
＜実施例１の用紙搬送装置シミュレータの動作例＞
用紙搬送装置シミュレータ１０１を用いて、ジャム発生後の制御ソフトウエアの動作検証を実施する。具体的には、プリント後、意図的にジャムを発生させ、ジャム発生後に制御ソフトウエア検証装置のユーザ操作でジャム用紙を除去する評価を実施し、ジャム発生後の用紙搬送制御が正しく行われているかを検証する。
ここで、検証対象の制御ソフトウエアによるジャム発生時の用紙搬送制御について、説明する。
用紙搬送装置の制御ソフトウエアは、ジャム判定後に、搬送中の用紙を停止させる。制御ソフトウエアは、用紙を停止させる際、用紙搬送路上の所定領域内に用紙が停止しないように制御している。これは、用紙搬送装置ユーザの手が届かない用紙搬送場所に用紙が停止してしまい、ユーザが対処できないジャムとならないようにするためである。以降、ユーザの手が届かないために、ユーザによる紙除去が不可能な用紙搬送路上の領域を紙除去不能領域と記載する。
制御ソフトウエアは、紙除去不能領域より用紙搬送の上流にジャム紙が存在する場合、ジャム紙より下流に位置する用紙は、紙除去不能領域以外の用紙搬送路位置に用紙を停止させる。また、紙除去不能領域より下流にジャム紙が存在する場合、ユーザによるジャム紙除去後、紙除去不能領域に停止している用紙を紙除去不能領域より下流まで搬送する。
【００２４】
図４は、制御ソフトウエアの制御装置である画像形成装置３０１の装置シミュレータの描画機能による描画イメージである。前記描画イメージは、ソフトウエア検証装置システム内では、表示装置２０３に表示される。
以下、図４を用いて、画像形成装置３０１の構成部品を模擬する用紙搬送装置シミュレータの模擬部品、模擬搬送路、および模擬用紙について説明する。
＜モータモデル＞
・画像形成装置３０１の給紙モータを模擬する模擬給紙モータ４０６
・画像形成装置３０１のメインモータを模擬する模擬メインモータ４１８
模擬給紙モータ４０６、模擬メインモータ４１８は、ローラの駆動源となるモータの模擬部品である。モータモデルの定義情報には、模擬モータの制御信号と制御信号に対するモータ回転数ｒｐｍが定義されている。
＜クラッチモデル＞
・画像形成装置３０１のレジストローラクラッチを模擬する模擬レジストローラクラッチ４１４
模擬レジストローラクラッチ４１４は、ローラの駆動源のモータ駆動力をローラに伝達するか否かを模擬するクラッチの模擬部品である。クラッチモデルの定義情報は、模擬クラッチの制御信号および、制御信号と模擬クラッチの動作対応定義である。前記動作対応定義とは、例えば、制御信号“ＨＩＧＨ”でクラッチ接続、制御信号“ＬＯＷ”でクラッチ接続解除である。
クラッチモデルの模擬部品１０２は、模擬クラッチの制御信号からモデル定義情報に従って、クラッチ接続／解除の状態を確定する。
＜ソレノイドモデル＞
・画像形成装置３０１のピックアップソレノイドを模擬する模擬ピックアップソレノイド４０７
模擬ピックアップソレノイド４０７は、ローラの駆動トリガを模擬するソレノイドの模擬部品である。ソレノイドモデルの定義情報は、模擬ソレノイドの制御信号および、制御信号と模擬ソレノイドの動作対応定義である。
【００２５】
＜ローラモデル＞
・ピックアップローラ３０３を模擬する模擬ピックアップローラ４０８
・給紙ローラ３０４を模擬する模擬給紙ローラ４０９
・搬送ローラ３０５を模擬する模擬搬送ローラ４１１
・レジストローラ３０７を模擬する模擬レジストローラ４１３
・転写ローラ３０９ｂを模擬する模擬転写ローラ４１６
・定着ローラ３１１ａを模擬する模擬定着ローラ４１９
・定着排紙ローラ３１２を模擬する模擬定着排紙ローラ４２０
・排紙搬送ローラ３１４を模擬する模擬排紙搬送ローラａ４２６
・排紙搬送ローラ３１５を模擬する模擬排紙搬送ローラｂ４２７
模擬ピックアップローラ４０８、模擬給紙ローラ４０９、模擬搬送ローラ４１１、模擬レジストローラ４１３、模擬転写ローラ４１６、模擬定着ローラ４１９、模擬定着排紙ローラ４２０は、用紙を搬送する模擬ローラ部品である。同様に、模擬排紙搬送ローラａ４２６、模擬排紙搬送ローラｂ４２７も、用紙を搬送する模擬ローラ部品である。
ローラの定義項目は、以下の６項目である。
１：半径ｒ［ｍｍ］
２：回転動作用接続模擬モータ
３：回転動作用接続模擬モータとのギア比
４：用紙搬送系上で用紙モデルに搬送力を与える動作作用点
５：接続模擬クラッチ
６：離間機能有無
模擬用紙とローラの接点は定義項目４により定義し、また、定義項目４で定義される用紙搬送系上の動作作用点に存在する模擬用紙をローラ動作により搬送する。当該模擬ローラ部品が離間機能ありの場合、以下の２項目の定義が必要となる。
６の１：当接離間動作用接続模擬モータ
６の２：当接離間動作用接続模擬モータとのギア比
なお、模擬対象装置では、ローラ対の当接と離間であるが、本実施例の用紙搬送装置シミュレータでは、定義項目４の動作作用点に対する当接と離間によって、ローラ対の当接と離間を模擬する。本例では、模擬定着ローラ４１９が、離間機能があるローラ部品である。
＜センサモデル＞
・レジ前センサ３０６を模擬する模擬レジ前センサ４１２
・定着排紙センサ３１３を模擬する模擬定着排紙センサ４２１
・排紙センサ３０８を模擬する模擬排紙センサ４２８
模擬レジ前センサ４１２、模擬定着排紙センサ４２１、模擬排紙センサ４２８は、用紙搬送路上の用紙との干渉／非干渉を模擬する模擬センサである。前記模擬センサは、用紙搬送系上の所定範囲内に模擬用紙が存在しているか否かによって、センサの出力値を切替え、センサ値をＣＰＵシミュレータ１２０に出力する。センサモデルの定義項目は、以下２項目である。
１：用紙搬送系上でのセンサ干渉範囲（干渉開始位置と干渉終了位置）
２：用紙干渉時の出力値
用紙搬送装置シミュレータの描画イメージ上で、用紙との干渉／非干渉により模擬センサの描画が変わる。用紙と干渉時は、模擬センサが所定の色で塗りつぶされて描画され、非干渉時には、塗りつぶされずに描画される。
【００２６】
＜トレイモデル＞
・カセット３０２を模擬する模擬給紙トレイ４０１
・排紙トレイ３１６を模擬する模擬排紙トレイ４２９
模擬給紙トレイ４０１、模擬排紙トレイ４２９は、用紙を収納するトレイを模擬するトレイの模擬部品である。トレイモデルの定義項目は、以下の３項目である。
１：トレイ種別
２：接続模擬搬送路
３：トレイ位置座標
定義項目１は、具体的には、搬送開始前の用紙を収納する給紙トレイか、搬送終了後の用紙を収納する排紙トレイの何れであるかの情報である。定義項目２は、トレイと接続する模擬搬送路であり、例えば、定義項目１のトレイ種別が、給紙トレイであれば、給紙トレイの先端と接続する模擬搬送路の情報となる。定義項目３は、用紙搬送系の中でのトレイ位置であり、模擬トレイの両端点の各々の座標情報である。
＜搬送路モデル＞
・カセット３０２の先端〜搬送ローラ３０５間の搬送路を模擬する模擬搬送路４３０
・搬送ローラ３０５〜レジ前センサ３０６間の搬送路を模擬する模擬搬送路４３１
・レジ前センサ３０６〜転写ローラ３０９ｂ間の搬送路を模擬する模擬搬送路４３２
・転写ローラ３０９ｂ〜定着ローラ３１１ｂ間の搬送路を模擬する模擬搬送路４３３
・定着ローラ３１１ａ〜定着排紙センサ３１３間の搬送路を模擬する模擬搬送路４３４
・定着排紙センサ３１３〜排紙搬送ローラ３１４間の搬送路を模擬する模擬搬送路４３５・排紙搬送ローラ３１４〜定着排紙ローラ３１５（排紙トレイ３１６先端）間の搬送路を模擬する模擬搬送路４３６
搬送路モデルの定義情報は、上述の通りである。本例では、模擬搬送路の搬送路ＩＤは“１”から開始し、用紙搬送路最上流から順に、搬送路ＩＤ：１、ＩＤ：２、ＩＤ：３・・・とする。なお、搬送路３１７は、前記模擬搬送路４３０〜４３５によって構成されている。
装置シミュレータの描画機能による描画イメージでは、模擬搬送路は通常実線で示される。ただし、領域指定手段１０８を用いて用紙搬送路領域指定がなされた模擬搬送路は、実線ではなく、破線で示される。
＜用紙モデル＞
・カセット３０２の給紙待ち用紙Ｓを模擬する模擬用紙４０２
・搬送路３１７上にある搬送用紙Ｓを模擬する模擬用紙４０３
用紙モデルの定義情報は、上述の通りである。
以上が、画像形成装置３０１の用紙搬送装置シミュレータの構成部品である。
【００２７】
なお、模擬対象の画像形成装置３０１において、紙除去不能領域が、転写ローラ３０９ｂから定着ローラ３１１ａ、加圧ローラ３１１ｂであるとする。
用紙搬送装置シミュレータ１０１のユーザは、制御ソフトウエアの動作検証前に、領域指定手段１０８を用いて、紙除去不能領域を指定する。本例の場合、転写ローラ３０９ｂから定着ローラ３１１ａ、加圧ローラ３１１ｂ間の搬送路を模擬する模擬搬送路４３３を指定する。ユーザによる領域指定操作実施により、領域指定手段１０８は、模擬搬送路４３３が指定領域であることを領域情報１０９として管理する。図４において、模擬搬送路４３３が破線で示されているのは、模擬搬送路４３３が領域指定手段１０８を用いて指定された用紙搬送路領域であるためである。
【００２８】
以下、制御ソフトウエアの動作検証時のシミュレーション動作を説明する。
制御ソフトウエアの動作を模擬するＣＰＵシミュレータ１０２から出力される用紙搬送装置の構成部品の駆動信号に従って、用紙搬送装置シミュレータは構成模擬部品の駆動を模擬する。なお、用紙搬送装置シミュレータ内では、１枚目の模擬用紙を用紙ＩＤ：１、２枚目の模擬用紙を用紙ＩＤ：２、とする。
まず、シミュレーション開始時に、領域指定手段１０８は、模擬搬送路１０３から領域指定の搬送路ＩＤの始点と終点の座標値を取得し、領域情報１０９に格納する。ＣＰＵシミュレータ１２０による装置の制御が開始され、制御ソフトウエア動作を模擬するＣＰＵシミュレータ１２０が、模擬給紙モータの駆動信号を出力する。そうすると、用紙搬送装置シミュレータの模擬給紙モータ４０６が駆動を開始し、模擬給紙モータ４０６を駆動源とする模擬部品のローラが回転する。すると、１枚目（用紙ＩＤ：１）の模擬用紙が、給紙カセット４０２からピックアップローラ４０８によりピックアップされる。続けて、ＣＰＵシミュレータ１２０が、模擬メインモータの駆動信号を出力すると、用紙搬送装置シミュレータの模擬メインモータ４１８が駆動を開始し、用紙搬送装置シミュレータの模擬メインモータ４１８を駆動源とする模擬部品のローラが回転する。用紙ＩＤ：１の模擬用紙は、各模擬ローラによって搬送される。１枚目の模擬用紙の給紙開始タイミングから所定時間経過後、１枚目と同様に、給紙カセット４０２から２枚目の模擬用紙（用紙ＩＤ：２）がピックアップローラ４０８によりピックアップされ、各模擬ローラによって搬送される。１枚目の模擬用紙の用紙先端が模擬排紙搬送ローラａ４２６通過後に、１枚目の模擬用紙で意図的にジャムを発生させる。この時、模擬排紙搬送ローラａ４２６による模擬用紙の搬送が行われないように、模擬排紙搬送ローラａ４２６のローラモデル定義を変更することで、ジャムを発生させる。具体的には、模擬排紙搬送ローラａ４２６の定義項目２の接続模擬モータを“なし”の設定に変更し、模擬排紙搬送ローラａ４２６の駆動源模擬モータをなくした結果、模擬排紙搬送ローラａ４２６は停止する。
【００２９】
［ジャム発生ケース１］
１枚目の模擬用紙の用紙先端が模擬排紙搬送ローラａ４２６通過時に、２枚目の模擬用紙の先端が模擬転写ローラ４１６より上流に位置している場合、ジャム発生時の各模擬用紙は図６（ａ）の模擬用紙６０１、６０２ａのようになる。なお、図６中の図４と同じ参照番号の要素は、図４の要素と同様のものである。１枚目の模擬用紙６０１は、用紙先端は模擬排紙搬送ローラａ４２６での用紙搬送停止時点の位置に留まり、用紙後端側は模擬
定着排紙ローラ４２０により搬送される。よって、用紙後端側が搬送路下流に押し込まれる。これにより、模擬定着排紙ローラ４２０と模擬排紙搬送ローラａ４２６の間で模擬用紙６０１にたわみが発生する。２枚目の模擬用紙６０２ａは、用紙先端位置は、模擬転写ローラ４１６と模擬レジストローラ４１３の間に、用紙後端位置は、模擬給紙トレイ４０１上である。
［ジャム発生ケース２］
１枚目の模擬用紙の用紙先端が模擬排紙搬送ローラａ４２６通過時に、２枚目の模擬用紙の先端が模擬転写ローラ４１６より下流に位置している場合、ジャム発生時の各模擬用紙は図６（ｂ）の模擬用紙６０１、６０２ｂのようになる。１枚目の模擬用紙６０１は、ジャム発生ケース１と同様である。２枚目の模擬用紙６０２ｂは、用紙先端位置は、模擬定着ローラ４１９と模擬転写ローラ４１６の間に、用紙後端位置は、模擬搬送ローラ４１１と模擬給紙ローラ４０９の間である。
なお、制御ソフトウエアは、模擬定着排紙センサ４２１で１枚目の模擬用紙の先端を検知後、所定時間経過しても、模擬排紙センサ４２８にて１枚目の模擬用紙の先端を検知できないことをもってジャム発生と判断し、用紙搬送を停止する。
【００３０】
模擬用紙の停止後、制御ソフトウエア検証装置のユーザは、用紙搬送装置シミュレータ１０１のユーザインターフェース部を介して、用紙搬送装置シミュレータ上の模擬用紙の除去を指示する。すると、用紙除去要求手段１０５が用紙除去要求を出す。領域関連性判断機能１１０は、用紙除去要求を受け、領域指定手段１０８から領域情報１０９を取得し、指定領域が模擬搬送路４３３であることを取得する。続いて、関連性チェックを終えていない用紙ＩＤ：１の模擬用紙の位置情報を、用紙位置算出手段１１１から取得する。模擬用紙６０１の先端および後端が模擬搬送路４３３上にないことから、用紙状態“領域外”と判断し、用紙ＩＤ：１は用紙除去実施と判断し、用紙除去判断機能１０６から用紙除去実施手段１０７に対して用紙ＩＤ：１の用紙除去を指示する。次に、関連性チェックを実施していない用紙ＩＤ：２の関連性チェックを行う。続く、用紙搬送装置シミュレータ１０１の動作は、ジャム発生ケースごとに説明をする。
［ジャム発生ケース１の場合］
領域関連性判断機能１１０は、用紙位置算出手段１１１から用紙ＩＤ：２の模擬用紙の位置情報を取得する。模擬用紙６０２ａの先端および後端が指定領域である模擬搬送路４３３上にないことから、用紙ＩＤ：２も用紙状態“領域外”と判断し、用紙ＩＤ：２も用紙除去実施と判断する。そして、用紙除去判断機能１０６から用紙除去実施手段１０７に対して用紙ＩＤ：２の用紙除去を指示する。用紙除去判断手段１０６は、除去実施と判断した模擬用紙の用紙ＩＤ：２を用紙除去実施手段１０７に伝える。用紙ＩＤ：２の情報を受け取った用紙除去実施手段１０７は、用紙ＩＤ：２の模擬用紙の除去を実施する。
［ジャム発生ケース２の場合］
領域関連性判断機能１１０は、用紙ＩＤ：２の模擬用紙の位置情報を取得する。模擬用紙６０２ｂの先端が指定領域である模擬搬送路４３３上に存在することから、用紙ＩＤ：２は用紙状態“重複”と判断し、２枚目の模擬用紙である用紙ＩＤ：２の模擬用紙は用紙除去しないと判断し、用紙除去模擬の処理を終える。
用紙搬送装置シミュレータによる用紙除去模擬の処理が終了すると、制御ソフトウエアは、模擬定着排紙センサ４２１が紙なしになったことをもって、ジャム対象であった１枚目の用紙が除去されたことを検知する。ジャム紙除去検知後、紙除去不能領域にかかる形で停止している２枚目の模擬用紙を、紙除去不能領域より下流の用紙搬送路上まで搬送する制御を開始する。
ここで、本発明の用紙搬送装置シミュレータでは、用紙除去要求後、指定領域にある模擬用紙は除去しない。しかし、従来の用紙搬送装置シミュレータでは、模擬用紙の位置によらず、用紙搬送路上にある模擬用紙を無条件に除去してしまう。よって、本例で挙げたように、実際の制御対象の用紙搬送装置で除去不能な用紙は、用紙除去模擬時に、用紙除去しないよう処理することで、従来検証できなかった制御ソフトウエアの検証ができるよ
うになる。
【００３１】
なお、本実施例では、用紙除去判断手段１０６は、指定領域内に存在する模擬用紙は除去せず、模擬搬送路上に存在するその他の模擬用紙は除去すると判断しているが、指定領域内に模擬用紙が存在する場合に、模擬用紙全てを除去しないと判断してもよい。これは、用紙搬送路上の模擬用紙を除去できない状況において、検証対象ソフトウエアの不備原因を見つける際、除去できない対象となっている模擬用紙だけでなく、用紙搬送路上の全模擬用紙の位置がわかる方が、不備原因を見つけやすい場合があるためである。その場合の領域関連性判断機能１１０の処理フローを図７に示す。
図７は、図５に示す領域関連性判断機能１１０の判断フローにおいて、Ｓ５０９以降の処理が異なる。図７中のＳ５０１〜Ｓ５０９の処理は図５と同じである。領域関連性判断機能１１０は、１つの模擬用紙の関連性チェックを終えると、用紙ＩＤと用紙状態、および用紙除去実施判断結果を記憶する（Ｓ７０１）。Ｓ７０１の後、Ｓ５０２の処理フローに戻り、用紙位置と指定領域の関連性チェックを終えていない模擬用紙があるかを確認する。Ｓ５０２にて、関連性チェックを終えていない模擬用紙なしと判断すると、Ｓ７０２の処理を実施する。Ｓ７０２では、用紙状態“領域外”でない模擬用紙があるか、すなわち、指定領域内の模擬用紙の有無をチェックする。Ｓ７０２で用紙状態“領域外”でない模擬用紙が存在する場合、模擬用紙の除去を実施しないと判断する（Ｓ７０３）。一方、Ｓ７０２で、用紙状態“領域外”でない模擬用紙が存在しない場合、模擬用紙の除去を実施すると判断する（Ｓ７０４）。
また、用紙除去判断手段１０６が、模擬用紙を除去しないと判断した場合、制御ソフトウエア検証装置のユーザに、用紙の除去が実施不可である旨を報知してもよい。具体的には、Ｓ５１０、または、Ｓ７０３の処理時に、用紙除去判断手段１０６が、用紙除去不能報知手段（不図示）に報知要求を出す。前記用紙除去不能報知手段は、報知要求を受け取ると、模擬用紙の除去が実施不可であることを制御ソフトウエア検証装置のユーザへ報知する。ユーザへの報知とは、例えば、制御ソフトウエア検証装置システムの表示装置２０３への模擬用紙除去実施不可の報知用ウィンドウ描画である。
上述のように、ジャム後など、用紙除去が必要なケースを検証する際、用紙搬送装置シミュレータが、実際の制御対象装置で用紙を除去できない状況を考慮した用紙除去模擬を実施している。このようにすることで、本実施例の用紙搬送装置の制御ソフトウエア検証装置においては、従来できなかったケースの検証が可能となっている。
【実施例２】
【００３２】
実際の用紙搬送装置では、除去対象用紙の上に動作作用点をもつ部品の状態が、用紙除去のしやすさに影響を及ぼす場合がある。そこで、制御ソフトウエアは、用紙を除去する場面で、用紙搬送装置のユーザが、用紙除去しやすくなるように、装置部品を制御している。制御ソフトウエア検証装置の用紙搬送装置シミュレータでは、用紙除去模擬時に、装置の部品状態も加味して、用紙除去の模擬をしなくては、用紙除去の場面で、制御ソフトウエアが正しく装置の制御を実施しているか検証することができない。そこで、本発明の実施例２では、除去対象の模擬用紙に動作作用点をもつ装置の構成部品の状態によって、用紙除去の模擬方法を変更する用紙搬送装置シミュレータについて説明する。
【００３３】
実施例２に係る制御ソフトウエア検証装置の機能構成図を図８に示す。なお、図１と同じ参照番号の構成要素は機能及び動作が基本的に同様であり、以下では実施例１との相違点を説明する。
実施例１と実施例２の制御ソフトウエア検証装置の違いは、用紙搬送装置シミュレータにある。具体的には、用紙除去判断手段１０６が用紙除去実施の判断に用いる情報を指定する手段と、用紙除去判断手段１０６の用紙除去実施を判断する機能が異なる。用紙除去判断に用いる情報が、実施例１では、用紙搬送路上の領域であったが、実施例２では、模擬部品と当該模擬部品の状態である。前記の用紙除去判断に用いる情報を指定する手段が
、駆動状況指定手段８０８であり、用紙除去を実施するか否かの判断を実施するのが、部品関連性判断機能８１０である。ここで、部品関連性判断機能は、第２の関連性判断機能に対応する。
【００３４】
駆動状況指定手段８０８は、用紙搬送装置シミュレータ８０１を構成する模擬部品と該模擬部品の駆動状況を指定する手段である。前記駆動状況には、模擬用紙除去指示時に模擬用紙除去を実施しない該模擬部品の駆動状況を指定する。例えば、実際の用紙搬送装置で、用紙搬送装置の構成物であるローラＡ対が当接状態であると、用紙除去できない状況である。この状況を、用紙搬送装置シミュレータでの用紙除去時に模擬する場合は、ローラＡを模擬する模擬部品を指定し、ローラＡを模擬する模擬部品の駆動状況として“当接状態”を指定する。
ここで、駆動状況指定手段８０８を介して指定対象となる模擬部品について説明する。駆動状況指定手段８０８では、用紙モデルのシミュレーション動作に直接影響を与える部品モデルの模擬部品が指定対象である。用紙モデルのシミュレーション動作に直接影響を与える部品モデルとは、用紙搬送系において模擬用紙への動作作用点を少なくとも１つは有しており、該部品モデルのシミュレーション動作が、用紙モデルのシミュレーションに影響を及ぼす部品モデルである。本実施例の用紙搬送装置シミュレータの場合、ローラモデルが駆動状況指定手段８０８にて指定対象となる部品モデルである。
なお、模擬部品の指定は、用紙搬送装置シミュレータを構成する模擬部品の部品ＩＤを選択することにより行う。駆動状況の指定は、指定模擬部品の部品モデルが取り得る駆動状況の中から、模擬用紙除去指示時に模擬用紙除去を実施しない指定模擬部品の駆動状況を選択する。本実施例の用紙搬送装置シミュレータでは、指定対象の部品モデル“ローラモデル”の取り得る駆動状態が選択肢となり、具体的には、次の通りである。
・回転状態：回転であるか、停止であるか
・当接状態：当接であるか、離間であるか
駆動状況を指定する際は、回転状態、および、または当接状態で、模擬用紙除去を実施しない駆動状況を選択する。
である。駆動状況指定手段８０８は、シミュレーション開始時に、指定された部品ＩＤから当該模擬部品の動作作用点の座標値を模擬部品１０２から取得する。そして、部品ＩＤ、模擬部品の動作作用点の座標値および、指定された駆動状況をセットとし、駆動状況情報８０９として管理する。なお、駆動状況情報８０９には、指定模擬部品数分の前記セットがある。
【００３５】
部品関連性判断機能８１０は、駆動状況情報８０９に基づいて、模擬用紙の除去を実施するか否かを判断する。部品関連性判断機能８１０は、駆動状況情報８０９を用いて除去指定対象の模擬用紙と模擬部品の関連性をチェックし、チェック結果に応じて、チェック対象の模擬用紙の除去を実施するか否かを判断する。前記判断の方法は、模擬用紙上に指定模擬部品の動作作用点が存在する場合に、当該模擬部品の駆動状況が指定状況と一致しているか否かである。
部品関連性判断機能８１０は、用紙除去要求を受け取ると、模擬用紙と指定模擬部品との関連性の判断処理を開始する。
【００３６】
部品関連性判断機能８１０の判断フローを、図９を用いて説明する。なお、図９中のＳ５０２〜Ｓ５０３の処理は図５と同じである。
部品関連性判断機能８１０は、用紙除去要求を受け取ると、関連性の判断処理を開始し、まず、チェック対象の模擬部品および当該模擬部品の指定駆動状況の情報を駆動状況指定手段８０８から取得する（Ｓ９０１）。取得する情報とは駆動状況情報８０９に相当する。続いて、Ｓ５０２、Ｓ５０３を実施する。Ｓ５０２にて模擬用紙に影響を与える模擬部品と当該模擬部品の駆動状況の関係性チェックを実施していない模擬用紙があるか確認する。ここで、関係性チェックを実施していない模擬用紙がある場合、用紙位置算出手段
１１１からチェック対象模擬用紙の先端座標と後端座標の値を用紙位置算出手段１１１から取得する（Ｓ５０３）。Ｓ５０３の後、チェック対象の模擬用紙上に、指定模擬部品の動作作用点があるかを判断する（Ｓ９０２）。Ｓ９０２では、Ｓ９０１で取得した駆動状況情報で示される指定部品の動作作用点の座標値が、用紙先端座標値から後端座標値の直線上、つまりチェック対象模擬用紙上に存在しているかをチェックする。Ｓ９０２にて、模擬用紙上に動作作用点がある場合、その動作作用点をもつ模擬部品のチェック時点での駆動状況が、指定駆動状況と同じであるかをチェックする（Ｓ９０３）。Ｓ９０３にて模擬部品の駆動状況と指定駆動状況が同じ場合、模擬用紙を除去しないと判断する（Ｓ９０４）。なお、Ｓ９０２にて、チェック対象の模擬用紙上に指定模擬部品の動作作用点がない場合、および、Ｓ９０３にて、模擬部品の駆動状況と指定駆動状況が異なる場合は、模擬用紙を除去すると判断する（Ｓ９０５）。Ｓ９０４またはＳ９０５の処理を終え、チェック対象模擬用紙と指定領域との関係をチェックし終えると、Ｓ５０２の処理に戻る。Ｓ５０２にて、全ての模擬用紙に対する関連性チェックを終えていなければ、Ｓ５０３の処理を実施し、チェックを実施していない模擬用紙に対して関連性チェックを実施する。Ｓ５０２にて、全ての模擬用紙に対する関連性チェックを終えていれば、判断処理を終了する。
以上のように、部品関連性判断機能８１０は、図９に示した判断フローにより用紙除去要求手段１０５からの用紙除去要求に対して、搬送路上の各模擬用紙を除去するか否かを判断する。用紙除去判断手段１０６は、部品関連性判断機能８１０の判断結果が、用紙除去実施である模擬用紙に対してのみ、用紙除去実施手段１０７に用紙除去実施を指示する。
以上が、用紙搬送装置シミュレータ８０１の構成要素である。
【００３７】
続いて、実施例２の制御ソフトウエア検証装置を用いて、用紙搬送装置の制御ソフトウエアの動作検証を行う場合を例に挙げる。
＜実施例２の用紙搬送装置シミュレータの動作例＞
用紙搬送装置シミュレータ８０１を用いて、ジャム発生後の制御ソフトウエアの動作検証を実施する。具体的には、プリント後、意図的にジャムを発生させ、ジャム発生後に制御ソフトウエア検証装置のユーザ操作で、用紙搬送路上にある用紙を全て除去する評価を実施し、ジャム発生後の用紙搬送装置の構成部品制御が正しく行われているかを検証する。
検証対象の制御ソフトウエアは、ジャム判定後、搬送中の用紙を停止させたのち、当接離間機能を有する搬送ローラについては、ローラ対を離間するよう制御している。これは、用紙搬送装置のユーザが、用紙を除去しやすくするための制御である。なお、検証対象の制御ソフトウエアの制御装置である画像形成装置３０１の用紙搬送装置シミュレータの構成部品については、実施例１にて既述の通りである。
模擬対象の画像形成装置３０１において、当接離間機能を有するローラ対は、定着ローラ３１１ａ、加圧ローラ３１１ｂであるため、定着ローラ３１１ａを模擬する模擬定着ローラ４１９は、ローラモデルの定義項目６で離間機能“有”の設定がなされている。用紙搬送装置シミュレータ８０１のユーザは、制御ソフトウエアの動作検証前に、駆動状況指定手段８０８を用いて、模擬用紙の除去を実施しない条件として、模擬部品の駆動状況を指定する。本例の場合、定着ローラ３１１ａを模擬する模擬定着ローラ４１９を指定し、模擬定着ローラ４１９の駆動状況として“当接”を指定する。ユーザによる駆動状況指定操作実施により、駆動状況指定手段８０８は、模擬定着ローラ４１９の当接状態が指定駆動状況であることを駆動状況情報８０９に記録する。なお、駆動状況情報８０９には、模擬定着ローラ４１９の部品ＩＤ、および、“当接”状態を示す定義語“ＡＴＴＡＣＨ”が格納される。
【００３８】
以下、制御ソフトウエアの動作検証時のシミュレーション動作を説明する。
まず、シミュレーション開始時に、駆動状況指定手段８０８は、部品ＩＤをキーとして
、模擬部品１０２から当該部品ＩＤの動作作用点の座標値を取得し、駆動状況情報８０９を更新する。そして、ＣＰＵシミュレータ１２０による装置の制御が開始され、制御ソフトウエアの動作を模擬するＣＰＵシミュレータ１２０から出力される用紙搬送装置の構成部品の駆動信号に従って、用紙搬送装置シミュレータの模擬部品が駆動する。このとき、給紙カセット４０１から模擬用紙（用紙ＩＤ：１）を１枚搬送する。模擬用紙の用紙先端が模擬排紙搬送ローラａ４２６通過後に、制御ソフトウエア検証装置のユーザが意図的にジャムを発生させると、制御ソフトウエアはジャム発生と判断し、用紙搬送を停止する。模擬用紙が停止し、用紙搬送装置の構成部品が駆動を停止した後、ソフトウエア検証装置のユーザは、用紙搬送装置シミュレータ１０１のユーザインターフェース部を介して、用紙搬送装置シミュレータ上の模擬用紙の除去を指示する。なお、用紙搬送装置シミュレータにおけるジャムの発生方法、制御ソフトウエアのジャム判断方法、ユーザから用紙搬送装置シミュレータに対する模擬用紙除去の指示方法については、実施例１で説明の通りである。
【００３９】
図１０に、本具体例におけるジャム発生時点での用紙搬送装置シミュレータの描画イメージを示す。なお、図１０中の図４と同じ参照番号の要素は、図４と同様のものであることを示す。図１０（ａ）は、搬送する模擬用紙の用紙長さが短く、ジャム発生時に模擬定着ローラ４１９の動作作用点上に模擬用紙がない場合である。図１０（ｂ）は、搬送する模擬用紙の用紙長さが長く、ジャム発生時に模擬定着ローラ４１９の動作作用点上に模擬用紙がある場合である。なお、模擬定着ローラ４１９が、破線で示されているのは、模擬定着ローラ４１９が駆動状況指定模擬部品であるためである。以降、図１０（ａ）をジャム発生ケース１、図１０（ｂ）をジャム発生ケース２と記す。
ジャム発生ケース１、２ともに、用紙搬送装置シミュレータ８０１の用紙除去要求手段１０５は、ユーザからの用紙除去指示を受け、用紙除去要求を出す。部品関連性判断機能８１０は、用紙除去要求を受け、駆動状況指定手段８０８から駆動状況情報８０９を取得する。駆動状況情報取得がＳ９０１に相当する。続いて、部品関連性判断機能８１０は、模擬用紙と指定模擬部品との関連性チェックを開始する。関連性チェックを未実施の模擬用紙（用紙ＩＤ：１）の用紙位置情報を用紙位置手段１１１から取得し、用紙ＩＤ：１の模擬用紙上に指定模擬部品である模擬定着ローラ４１９の動作作用点があるか否かをチェックする。
【００４０】
以降、ジャム発生ケースに分けて、用紙搬送装置シミュレータ８０１の動作を説明する。
［ジャム発生ケース１の場合］
部品関連性判断機能８１０は、用紙ＩＤ：１の模擬用紙１００１ａ上に模擬定着ローラ４１９の動作作用点があるかをチェックする。チェックの結果、模擬用紙１００１ａ上に模擬定着ローラの動作作用点がないことから、模擬用紙除去実施と判断する。
［ジャム発生ケース２の場合］
部品関連性判断機能８１０は、用紙ＩＤ：１の模擬用紙１００１ｂ上に模擬定着ローラ４１９の動作作用点があるかをチェックする。チェックの結果、模擬用紙１００１ｂ上に模擬定着ローラの動作作用点が存在することから、模擬定着ローラ４１９の部品状況が指定駆動状況の“当接”であるかチェックする。ここで、模擬定着ローラ４１９が当接状態である場合、模擬用紙を除去しないと判断し、模擬定着ローラ４１９が当接状態でない場合、模擬用紙除去実施と判断する。
ジャム発生ケース１、２ともに、用紙ＩＤ：１の関連性チェック後、他に関連性チェック未実施の模擬用紙がないことから、用紙除去実施判断を終了する。用紙除去判断手段１０６は、用紙除去実施手段１０７に対して、部品関連性判断機能８１０の判断結果が用紙除去実施である模擬用紙ＩＤの用紙除去実施を指示する。ジャム発生ケース１の場合、および、ジャム発生ケース２でユーザからの用紙除去指示時点で模擬定着ローラ４１９が離間状態である場合は、用紙ＩＤ：１の用紙除去実施を指示する。一方、ジャム発生ケース
２でユーザからの用紙除去指示時点で模擬定着ローラ４１９が当接状態である場合は、用紙除去実施を指示しない。
上記の具体例において、本実施形態の用紙搬送装置シミュレータでは、検証対象の制御ソフトウエアが、ジャム時の用紙搬送停止後、定着ローラを当接状態のままにする誤った制御を行っている場合には、模擬用紙除去を実施しない。このため、制御ソフトウエアの不備に気付くことができる。一方、従来の用紙搬送装置シミュレータでは、用紙除去のシミュレーション時、定着ローラの駆動状態を考慮せずに、模擬用紙除去を実施してしまため、制御ソフトウエアの不備に気付くことができない。
【００４１】
なお、本実施例では、駆動状況指定手段８０８では、当該模擬部品について用紙除去を実施しない駆動状況を指定するとして説明を行ったものの、用紙除去を実施する駆動状況を指定するものであってもよい。その場合、部品関連性判断機能８１０は、図９に示した処理内容が変わる。図９の中のＳ９０４が、模擬用紙を除去すると判断する処理に変わり、Ｓ９０５が、模擬用紙を除去しないと判断する処理に変わる。
また、本実施例では、用紙除去判断手段１０６は、指定模擬部品に関連性がある模擬用紙のみを除去しないと判断し、模擬搬送路上のその他模擬用紙は除去すると判断している。しかし、実施例１と同様に、用紙除去判断手段１０６は、指定模擬部品に関連性がある模擬用紙が１つでもある場合は、模擬搬送路上の全模擬用紙を除去しないと判断してもよい。その場合、図９に示す部品関連性判断機能８１０の判断フローにおいて、Ｓ９０４およびＳ９０５の処理の後、チェック対象模擬用紙の用紙ＩＤと模擬用紙を除去するか否かの判断結果を記憶し、Ｓ５０２に戻る。そして、Ｓ５０２にて全ての模擬用紙に対して関連性チェック実施済の後、用紙除去実施しない判断結果である模擬用紙があれば、全模擬用紙を除去しないとし、用紙除去実施しない判断結果である模擬用紙がなければ、全模擬用紙を除去すると判断する。
加えて、本実施例では、模擬用紙除去実施条件を指定する手段として、駆動状況指定手段８０８のみを有する用紙搬送装置シミュレータ構成で説明を行ったが、領域指定手段１０８と駆動状況指定手段８０８の２つを有していてもよい。その場合には、用紙除去判断手段１０６が領域関連性判断機能１１０と部品関連性判断機能８１０の２つの判断機能を有し、２つの判断機能の判断結果に従い、用紙除去実施手段１０７に模擬用紙除去実施を指示する。
以上の構成により、制御対象装置で用紙除去が必要なケースについて用紙搬送装置シミュレータを用いて検証する際、除去対象の用紙上に動作作用点をもつ模擬部品の状況により、模擬用紙除去のシミュレーション動作を変更する。結果、従来では検証不能であった用紙除去時の用紙搬送装置の構成部品を正しく制御しているか検証することができ、制御ソフトウエアの不備に気付くことができる。
【実施例３】
【００４２】
用紙搬送装置シミュレータにおいて、実施例１および実施例２では、用紙除去を模擬する際、シミュレーション開始前に予め定められた条件に一致する模擬用紙は除去しない構成であった。しかしながら、検証装置のユーザの操作なしに制御ソフトウエアの検証装置を動作させ、制御ソフトウエアの評価を実施する場合には、用紙除去実施できない状況においても、用紙除去を実施し、評価を継続させたいケースがある。そこで、本実施例では、用紙除去要求に要求モードをもち、要求モードに応じて、用紙状況により用紙除去模擬方法を変更するか、用紙状況によらず強制的に用紙を除去するかを切替え、用紙除去実施不可の状況であっても評価を継続できるようにするものである。
実施例３における用紙搬送装置シミュレータ１１０１は、実施例１および実施例２の用紙除去要求手段１０５および用紙除去判断手段１０６の機能が異なる。
【００４３】
図１１は実施例３におけるソフトウエア検証装置の構成図である。なお、図１および図８と同じ参照番号の構成要素は機能及び動作が同様であり、以下では実施例１および実施
例２との相違点を説明する。
用紙除去要求手段１１０５は、用紙除去判断手段１１０６に出す用紙除去要求に２つの要求モードをもつ。具体的には、用紙状況に応じて用紙除去の模擬方法を変更するモード（以降、通常除去モードと記す）と、用紙状況によらず強制的に用紙除去するモード（以降、強制除去モードと記す）である。ここでは、通常除去モードが第１の要求モード、強制除去モードが第２の要求モードに対応する。要求モードは、有効モード情報１１１６を参照し決定する。有効モード情報１１１６とは、要求モードを決定する際に用いる情報である。有効モード情報１１１６に格納される情報は、強制除去モードが有効であるか否かの情報である。用紙除去要求手段１１０５は、用紙除去要求を用紙除去判断手段１１０６に出す際、有効モード情報１１１６が強制除去モード有効を示すのであれば、まず“通常除去モード”での用紙除去要求を出し、続けて、“強制除去モード”での用紙除去要求を出す。これは、人による操作なしにソフトウエア検証装置を動作させる場合は、まず、実際の用紙除去条件を考慮して用紙除去を模擬し、用紙除去できない場合は、用紙を強制的に除去し、評価を継続させるためである。なお、人による操作なしにソフトウエア検証装置を動作させる場合、用紙除去要求手段１１０５は、ＣＰＵシミュレータ１２０でターゲットＣＰＵの特定アドレス空間の値が所定値になったことを検知し、用紙除去要求を出す。また、強制除去モードを有効とするか否の指定は、例えば、用紙搬送装置シミュレータ１１０１のユーザがユーザインターフェース部（不図示）を介して設定する。
【００４４】
用紙除去判断手段１１０６は、用紙除去要求手段１１０５からの用紙除去要求の要求モードに応じて、領域関連性判断機能１１０を有効とするか否かを切替える。通常除去モードの場合、領域関連性判断機能１１０を有効とし、強制除去モードの場合、領域関連性判断機能１１０を無効とする。すなわち、通常除去モードであると、除去対象の模擬用紙の状況に応じて模擬用紙を除去するかを判断し、強制除去モードであると、除去対象の模擬用紙の状況によらず無条件に模擬用紙を除去すると判断する。用紙除去判断手段１１０６が模擬用紙を除去しないと判断した場合、用紙除去不能報知手段（不図示）に報知要求を出し、ユーザに模擬用紙除去の実施不可を報知してもよい。前記報知の方法は、例えば、制御ソフトウエア検証装置システムの表示装置２０３への模擬用紙除去実施不可の報知用ウィンドウ描画、または、所定テキストファイルへのシミュレーション時間と除去不可模擬用紙の用紙ＩＤの記録である。用紙除去判断手段１１０６は、用紙除去判断手段１０６と同様に、用紙除去実施を指示する際には、用紙除去実施手段１０７に用紙搬送路上にある模擬用紙の用紙ＩＤを伝達する。
【００４５】
なお、本実施例で記した用紙除去要求手段１１０５が出す用紙除去要求の要求モードの決定方法は一例であり、本発明は実施例に記した要求モードの決定方法に限定されるものではない。例えば、用紙除去要求を出す際、有効モード情報１１１６が強制除去モード有効を示す場合、強制除去モードの用紙除去要求のみを出してもよい。
また、本実施例では、用紙除去判断手段が、領域関連性判断機能１１０を有する用紙搬送装置シミュレータ構成で説明を行ったが、領域関連性判断機能１１０の代わりに、部品関連性判断機能８１０を有していても良い。また、領域関連性判断機能１１０と部品関連性判断機能８１０の２つを有してもよい。その場合には、用紙除去判断手段は、強制除去モードでの用紙除去要求を受け取ると、領域関連性判断機能１１０、または、および部品関連性判断機能８１０を無効とし動作する。
以上に示した構成により、ソフトウエア検証装置のユーザ操作なしにソフトウエア動作の評価を実施する場合において、用紙除去実施不可の状況が発生しても、用紙を除去し評価を継続することができる。更に、用紙除去実施不可をユーザへ報知し、報知後に強制的に用紙除去を実施することで、制御ソフトウエアに不備があることをユーザに知らせ、かつ評価を継続することが可能となる。
【符号の説明】
【００４６】
１０１…用紙搬送装置シミュレータ、１０２…模擬部品、１０３…模擬搬送路、１０４…模擬用紙、１０５…用紙除去要求手段、１０６…用紙除去判断手段、１０７…用紙除去実施手段１１１…用紙位置算出手段、１２０…ＣＰＵシミュレータ
【図１】
2019113936.tif 000003
【図２】
2019113936.tif 000004
【図３】
2019113936.tif 000005
【図４】
2019113936.tif 000006
【図５】
2019113936.tif 000007
【図６（ａ）】
2019113936.tif 000008
【図６（ｂ）】
2019113936.tif 000009
【図７】
2019113936.tif 000010
【図８】
2019113936.tif 000011
【図９】
2019113936.tif 000012
【図１０（ａ）】
2019113936.tif 000013
【図１０（ｂ）】
2019113936.tif 000014
【図１１】
2019113936.tif 000015