JP5694715B2 - タイミングチャート処理装置及びタイミングチャートを表示する方法 - Google Patents

タイミングチャート処理装置及びタイミングチャートを表示する方法 Download PDF

Info

Publication number
JP5694715B2
JP5694715B2 JP2010208433A JP2010208433A JP5694715B2 JP 5694715 B2 JP5694715 B2 JP 5694715B2 JP 2010208433 A JP2010208433 A JP 2010208433A JP 2010208433 A JP2010208433 A JP 2010208433A JP 5694715 B2 JP5694715 B2 JP 5694715B2
Authority
JP
Japan
Prior art keywords
branch
timing chart
condition
operation specification
branch condition
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP2010208433A
Other languages
English (en)
Other versions
JP2012064033A (ja
Inventor
宗貴 東谷
宗貴 東谷
本山 栄一
栄一 本山
酒井 明彦
明彦 酒井
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Canon Inc
Original Assignee
Canon Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Canon Inc filed Critical Canon Inc
Priority to JP2010208433A priority Critical patent/JP5694715B2/ja
Publication of JP2012064033A publication Critical patent/JP2012064033A/ja
Application granted granted Critical
Publication of JP5694715B2 publication Critical patent/JP5694715B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Programmable Controllers (AREA)

Description

本発明は、条件分岐を含むタイミングチャートの表示、編集及びタイミングチャートからシーケンスプログラムの生成を行うタイミングチャート処理装置に関する。さらに、生成したシーケンスプログラムによる制御対象装置の動作結果と動作仕様の比較検証を容易に行うことを可能にするタイミングチャート処理装置に関する。
CPUモジュールにてシーケンサプログラムを実行するシーケンサ装置により、制御対象装置を動作させるシーケンス制御システムが存在する。また、動作シーケンスの変更を比較的容易に行うことを可能とするために、制御対象装置を動作させるためのシーケンスをタイミングチャートで示し、そのタイミングチャート情報に基づきシーケンスプログラムを自動生成する装置も存在する。
また、このような制御対象装置においては、その動作確認や必要な機能検証をより詳細に行うことが近年求められている。そのため、単一の流れによって構成されているタイミングチャートではなく、タイミングチャート上に分岐を有し、ある条件に応じて複数のタイミングチャートの中からひとつを選択して実行していくことが求められている。このような要求に応え、特許文献1では、処理の途中で分岐を含むタイミングチャートの作成及び表示等が可能なタイミングチャート表示システムが提案されている。特許文献1によると、タイミングチャート上に条件判定マークを記載し、そのマークから分岐された先のタイミングチャートをチャート欄外にある表示用の空き領域に作画している。
また、制御対象装置の動作タイミングや構成上の問題点については、必ずしも一連のシーケンス動作を実行することで直ちに明確になるとは限らない。表向きは問題なく動作しているように見えても、内部的には想定外のシーケンスで動作していることがある。そのため開発者が内部的な問題点に気づかず、装置開発の後工程で初めて問題が表面化する場合があり、工程上の大きな手戻りになるという課題があった。そのような課題に対し、特許文献2は、シーケンスプログラムを動作させた結果を動作結果タイミングチャートとしてチャート化し、シーケンスプログラムの元となった動作仕様タイミングチャートと比較して差分を明確にすることを提案している。
特開2005−202857号公報 特開平5−189026号公報
制御対象装置の高機能化に伴い、それらの制御に用いるシーケンスプログラムが複雑化し、条件分岐が複数存在する、或いは、条件によって異なる多数の分岐先を持つといったタイミングチャートが必要となる。しかし、複雑な分岐を持つタイミングチャートを表示させるため、特許文献1に記載の様に、1枚のチャートの欄外に複数の表示用の空き領域を用意して表示したとしても、複雑な分岐関係の追跡は困難である。
また、シーケンスプログラムを実行した結果を動作結果タイミングチャートとして表示したとしても、実際にどの分岐条件が実行されたかを把握することは困難である。特に、動作仕様タイミングチャートは、実際には実行されなかった分岐先を含むため、動作仕様タイミングチャートと動作結果タイミングチャートの比較検証は困難となる。
したがって、本発明は、複数の動作仕様タイミングチャートの分岐関係の追跡を容易にするタイミングチャート処理装置及びタイミングチャートを表示する方法を提供することを目的とする
本発明によるタイミングチャート処理装置によれば、
入力手段と、複数の動作仕様タイミングチャートを示す情報を保持する第1保持手段と、各動作仕様タイミングチャートの分岐元位置、分岐先位置及び該分岐元位置と該分岐先位置の関係を示す分岐点情報を保持する第2保持手段と、前記分岐元位置から1つ以上の分岐先位置のいずれかに分岐するための条件である分岐条件を示す情報を保持する第3保持手段と、動作仕様タイミングチャートの少なくとも1つを表示する制御を行う制御手段と、を備えており、前記制御手段は、前記第3保持手段が保持している分岐条件のうちの、表示している動作仕様タイミングチャートの分岐元位置についての分岐条件が前記入力手段により選択された場合、前記分岐点情報に基づき、選択された分岐条件により移行する分岐先位置を含む動作仕様タイミングチャートを表示することを特徴とする。
本発明によると、複数の動作仕様タイミングチャートの分岐関係の追跡が容易になる
本発明によるシーケンス制御システムの構成図である。 表示編集制御部における表示処理のフローチャートである。 表示編集制御部における編集処理のフローチャートである。 検証処理部における処理のフローチャートである。 オフセット処理のフローチャートである。 分岐条件リストを示す図である。 表示部に表示する動作仕様タイミングチャートの例を示す図である。 表示部に表示する動作仕様タイミングチャートの他の例を示す図である。 動作結果タイミングチャートを示す図である。 図7の動作仕様タイミングチャートに基づき生成した検証用タイミングチャートを示す図である。 図8の動作仕様タイミングチャートに基づき生成した検証用タイミングチャートを示す図である。 図9の動作結果タイミングチャートと図10の検証用タイミングチャートの重ね表示を説明する図である。 制御対象装置の一例である電子写真プリンタ装置の概略構成を示す図である。
本発明を実施するための形態について、以下では図面を用いて詳細に説明する。
まず、制御対象装置の一例である電子写真プリンタ装置について説明する。図13において、カセット300から搬送された記録用シート媒体は、2次転写装置303及びローラ302の間を通過する。その際、転写ベルト301に転写されているトナー像が記録用シート媒体に転写される。その後、記録用シート媒体は、図示しない定着装置に搬送されて定着処理が施される。
なお、記録用シート媒体の搬送に関し、カセット300に記録用シート媒体が格納されているか否かをシート無し検出センサ304が検出し、記録用シート媒体のピックアップ不良を給紙センサ305が検出する。また、搬送動作を一時的に中断して記録用シート媒体の搬送方向を補正するために、レジセンサ306が記録用シート媒体の通過を検出する。その他、詳細な説明は省略するが、画像形成のタイミング制御や、画像形成を両面に対して行うか否かによる記録用シート媒体の搬送経路の制御等、電子写真プリンタ装置においては様々な制御が行われている。さらに、カセット300から給紙する際に、給紙タイミングから一定時間以上、給紙センサ305が検知状態にある時には、次の記録用シート媒体も少しだけ給紙された状態であると判定し、次の給紙タイミングを変更する等、多くの分岐制御が必要となる。
続いて、本発明によるタイミングチャート処理装置100について説明する。図1において、記憶部4は、動作仕様タイミングチャートを示す動作仕様タイミングチャート情報と、動作仕様タイミングチャートにおける分岐点を示す分岐点情報と、分岐点における分岐条件を示す分岐条件情報を保持している。なお、分岐点情報は、動作仕様タイミングチャート上の分岐元の位置を特定する分岐元位置情報と、分岐後の位置を特定する分岐先位置情報と、分岐元の位置と分岐先位置との対応関係を特定する分岐関連情報とを含んでいる。また、動作仕様タイミングチャート情報は、シーケンス制御開始からのタイミングチャートと、分岐により開始される1つ以上のタイミングチャートといった複数のタイミングチャートを特定する情報を有している。
表示編集制御部3は、記憶部4に記憶されている情報に基づき各動作仕様タイミングチャート、分岐点、分岐条件を表示部2に表示し、入力部1より分岐点や分岐条件の修正が入力された場合には、記憶部4に記憶されている情報を変更する。
表示編集制御部3は、図7に示す様に、各タイミングチャートを、それぞれ、個別のシートとして表示部2に表示する。なお、これらシートは階層表示される。つまり、表示編集制御部3は、最上位であるシートを表示し、他のシートについては、そのタブ部分のみを表示する。なお、利用者が入力部1を操作してタブを選択した場合、表示編集制御部3は選択されたシートを最上位に表示する。
図7の動作仕様タイミングチャートには、分岐元位置情報に基づき分岐元の位置を示す分岐元マーカ101及び102と、分岐先位置情報に基づき分岐先の位置を示す分岐先マーカ103及び104が表示されている。なお、図7において、分岐元マーカ101の分岐先は分岐先マーカ103であり、分岐元マーカ102の分岐先は分岐先マーカ104であるものとする。
表示編集制御部3は、入力部1により操作されるポインタ105が分岐元マーカに近づくと、当該分岐元マーカに対応する分岐条件を表示部2に表示し、分岐先マーカに近づくと、当該分岐先マーカに対応する分岐元での分岐条件を表示部2に表示する。図7は、分岐元マーカ101に対応する分岐条件Aが表示されている状態を示している。図7によると、分岐条件Aに合致する場合、100msの遅延を与えた後、分岐先マーカ103の位置に分岐することになる。なお、図7には表示されていないが、分岐元マーカ102の分岐点には分岐条件Bが設定されており、分岐条件Bに合致した場合、50msの遅延の後、分岐先マーカ104の位置に分岐するとの処理が規定されているものとする。
なお、表示編集制御部3は、利用者が操作するポインタ105により、分岐元マーカに対して表示した分岐条件が選択された場合、その分岐条件により移行する分岐先マーカを含む動作仕様タイミングチャートを表示部2において最上位に表示する。さらに、選択された分岐条件に対応する分岐先マーカを強調表示して利用者に分岐先の位置を認識させることも好ましい。同様に、分岐先マーカに対して表示された分岐条件がポインタ105により選択された場合、その分岐条件の分岐元を含む動作仕様タイミングチャートを最上位に表示する。具体的には、図7において分岐条件Aが選択された場合、表示編集制御部3はシートBを最上位に表示する。
なお、分岐先は1つ以上とすることができる。図8は、2つの分岐先を有する場合の例を示す図であり、分岐元マーカ201からの分岐条件に応じて分岐先マーカ202又は203の位置に分岐する場合を示している。この場合においても、分岐条件が選択された場合、選択された分岐条件に対応する分岐先の動作仕様タイミングチャートを最上位に表示する。つまり、表示編集制御部3は、分岐条件Cが選択されるとシートBを、分岐条件Dが選択されるとシートCを最上位に表示する。
続いて、表示編集制御部3における表示処理について説明する。図2に示す様に、表示編集制御部3は、S21において、利用者の操作によりポインタ105が分岐マーカに近接したか否かを判定する。近接している場合には、S22において、近接している分岐マーカに対応する分岐条件を表示する。また、表示編集制御部3は、S23において、利用者が入力部1を操作して分岐条件を選択したか否かを判定する。選択した場合には、S24において、表示編集制御部3は、分岐先又は分岐元の動作仕様タイミングチャートを、表示部2の最上位に表示する。
続いて、表示編集制御部3における編集処理について説明する。図3に示す様に、表示編集制御部3は、S31において、編集するトリガ信号又は出力信号の分岐元となる位置、つまり分岐元位置情報を入力部1から取得する。続いて、S32において、表示編集制御部3は、分岐条件、遅延時間及び分岐先情報を入力部1から取得し、S33において、記憶部4に保存すると共に、表示部2への表示に反映する。編集作業完了であれば終了し、そうでなければ分岐元位置の入力待ち状態となる。
図1に戻り、シーケンスプログラム生成部10は、記憶部4に保存されている、動作仕様タイミングチャート情報、分岐点情報及び分岐条件情報からシーケンスプログラムを生成し、通信部11は、生成したシーケンスプログラムをシーケンサ装置12に出力する。シーケンサ装置12は、例えば、ラダー言語で動作するマイコンであり、シーケンスプログラムに基づき、例えば、電子写真プリンタ装置といった制御対象装置13を動作させる。制御対象装置13の動作結果を示す情報は、通信部11が、シーケンサ装置12から取得し、動作結果タイミングチャートとして記憶部4に記憶する。
記憶部4に記憶した動作結果タイミングチャートの表示のみではどのような分岐条件でシーケンスが実行されたのかを把握することが困難である。したがって、本発明によるタイミングチャート処理装置100の検証処理部5は、以下に説明する様に、動作結果タイミングチャート及び動作仕様タイミングチャートから検証用タイミングチャートを作成する。さらに、検証処理部5は、検証用タイミングチャートを動作結果タイミングチャートと共に表示部2に表示し、これにより、仕様と実動作の比較検証を容易にする。以下に、検証処理部5での処理について説明する。
図4に示す様に、検証処理部5は、S41において、動作結果タイミングチャートにおいて実際に実行された分岐条件を判定する。続いて、S42において、判定した分岐条件に基づき動作仕様タイミングチャートから検証用タイミングチャートを生成する。その後、S43において、検証処理部5は、検証用タイミングチャート及び動作結果タイミングチャートを表示部2に表示する。なお、検証用タイミングチャートは、記憶部4に保存される。
検証処理部5は、実行された分岐条件の判定に、例えば、図6に示す分岐条件情報内の分岐条件リストを使用する。図6に示す様に、分岐条件には番号と上位分岐条件の番号が付与されており、分岐条件が階層化(時系列化)されて管理されている。階層の最上位から、分岐条件と一致する状態が動作結果タイミングチャート内に存在するかどうかを検索し、一致すれば、対応する分岐条件が実行されていると判定して、動作結果タイミングチャートの該当位置と、該当する分岐条件の関連付けを行う。次に下の階層で同じ検索を行い、最下層まで順次、検索を行う。図6に示す場合においては、まず最上位の分岐条件である番号#1と#2を動作結果タイミングチャートから検索し、例えば、番号#1の状態が見つかれば、次に番号#3の状態を番号#1が見つかった時間以降から検索する。
なお、検証処理部5は、図9に示す様に、表示部2に表示する動作結果タイミングチャート上に、実際に実行されたと判定した分岐条件を表示する。なお、図9の動作結果タイミングチャートは、図7に示す動作仕様タイミングチャートから生成したシーケンスプログラムを実行させた結果である。図9においては、分岐条件A(図7の分岐元マーカ101に対応する分岐条件)及び分岐条件B(図7の分岐元マーカ102に対応する分岐条件)が実行されている。
さらに、検証処理部5は、実際に実行されたと判定した分岐条件に従い動作仕様タイミングチャートを分割し、分岐前後の動作仕様タイミングチャートを繋ぎ合せることにより検証用タイミングチャートを作成する。例えば、図9の動作結果においては、まず分岐条件Aが実行され、続いて分岐条件Bが実行されている。したがって、検証処理部5は、まず、図7に示すシートAの分岐元マーカ101から100ms(分岐条件Aに合致時の遅延量に相当)の位置とシートBの分岐先マーカ103の位置を繋ぎ合わせる。続いて、シートBの分岐元マーカ102から50ms(分岐条件Bに合致時の遅延量に相当)の位置とシートCの分岐先マーカ104の位置を繋ぎ合わせる。これにより、図10に示す検証用タイミングチャートが作成される。
同様に、図8の動作仕様タイミングチャートにおける分岐条件Dが実行された場合、検証処理部5は、図11に示す検証用タイミングチャートを作成する。
なお、動作結果タイミングチャートと検証用タイミングチャートは、利用者の選択により別シートに表示するか同じシートに重ねて表示するかを選択可能とする。図12(a)は同じシートに重ねて表示した状態を示しており、実線が検証用タイミングチャートを、点線が動作結果タイミングチャートを表している。なお、重ねて表示する場合、検証処理部5は、利用者が入力部1により指定した値だけ、動作結果タイミングチャート及び/又は検証用タイミングチャートをオフセットさせて表示部2に表示する。
具体的には、図5に示す様に、S51において、検証処理部5は、ポイント合わせによりオフセットを行うか、時間によりオフセットを行うかを入力部1により利用者に選択させる。ポイント合わせであれば、S52において、動作結果タイミングチャートと検証用タイミングチャートの一致させるポイント(頂点)を入力部1により入力させる。また、時間により行う場合には、S53において、オフセット時間を入力させる。続いて、S54において、利用者が入力部1より動作結果タイミングチャートと検証用タイミングチャートのどちらを動かすかを選択する。検証処理部5は、S55において、選択されたタイミングチャートの時間方向のオフセットを実行して、結果を表示部2に表示する。
オフセット表示により、図12(a)の動作結果タイミングチャート及び検証用タイミングチャートは、例えば、図12(b)の様に表示部2に表示される。オフセット表示することにより、動作結果タイミングチャートと検証用タイミングチャートの比較検証を容易に行うことが可能となる。
なお、上述した実施形態において、表示編集制御部3は、各シートを階層表示するとしていたが、最上位に相当するシートのみを表示する形態であっても良い。また、例えば、分岐条件が選択された場合、分岐前後の2つのシートを並べて表示する形態であっても良い。
以上、本発明によれば、複数のタイミングチャートの分岐元と分岐先を関連付け、表示している分岐条件が選択された場合、関連付けられた分岐先又は分岐元のシートを最上位に表示することで、分岐関係の追跡を容易にしている。
さらに、動作結果タイミングチャートを取得し、実行された分岐条件を動作結果タイミングチャート上に表示することにより、実際の動作がどの分岐条件で実行されたかを容易に把握することを可能にしている。
さらに、実行された分岐条件に基づき、動作仕様タイミングチャートから検証用タイミングチャートを生成することにより、動作仕様と動作結果の比較検証を容易に行うことを可能にしている。

Claims (6)

  1. 入力手段と、
    複数の動作仕様タイミングチャートを示す情報を保持する第1保持手段と、
    動作仕様タイミングチャートの分岐元位置、分岐先位置及び該分岐元位置と該分岐先位置の関係を示す分岐点情報を保持する第2保持手段と、
    前記分岐元位置から1つ以上の分岐先位置のいずれかに分岐するための条件である分岐条件を示す情報を保持する第3保持手段と、
    動作仕様タイミングチャートの少なくとも1つを表示する制御を行う制御手段と、
    を備えており、
    前記制御手段は、前記第3保持手段が保持している分岐条件のうちの、表示している動作仕様タイミングチャートの分岐元位置についての分岐条件が前記入力手段により選択された場合、前記分岐点情報に基づき、選択された分岐条件により移行する分岐先位置を含む動作仕様タイミングチャートを表示すること、
    を特徴とするタイミングチャート処理装置。
  2. 前記制御手段は、各動作仕様タイミングチャートを階層表示し、分岐条件が選択された場合、選択された分岐条件により移行する分岐先位置を含む動作仕様タイミングチャートを最上位に表示すること、
    を特徴とする請求項1に記載のタイミングチャート処理装置。
  3. 記動作仕様タイミングチャート、及び分岐条件を示す情報と、前記分岐点情報からシーケンスプログラムを生成する手段と、
    前記シーケンスプログラムにより制御対象装置を動作させた結果である動作結果タイミングチャートを示す情報を取得する手段と、
    前記動作結果タイミングチャートで実行された分岐条件を判定する手段と、
    をさらに備えており、
    前記制御手段は、前記実行された分岐条件を前記動作結果タイミングチャート上に表示することを特徴とする請求項1又は2に記載のタイミングチャート処理装置。
  4. 前記分岐点情報に基づき、前記実行された分岐条件の分岐元位置を含む動作仕様タイミングチャートと、当該分岐条件の分岐先位置を含む動作仕様タイミングチャートを繋ぎ合せることで検証用タイミングチャートを生成する手段を備えていること、
    を特徴とする請求項3に記載のタイミングチャート処理装置。
  5. 制御手段は、前記動作結果タイミングチャートと前記検証用タイミングチャートを重ね合わせて表示し、さらに、前記動作結果タイミングチャート、又は前記検証用タイミングチャートを、前記入力手段により入力された値だけ時間方向にオフセットして表示すること、
    を特徴とする請求項4に記載のタイミングチャート処理装置。
  6. 複数の動作仕様タイミングチャートを示す情報と、各動作仕様タイミングチャートの分岐元位置、分岐先位置及び該分岐元位置と該分岐先位置の関係を示す分岐点情報と、前記分岐元位置から1つ以上の分岐先位置のいずれかに分岐するための条件である分岐条件を示す情報と、を保持する装置で動作仕様タイミングチャートを表示する方法であって、
    動作仕様タイミングチャートの少なくとも1つを表示するステップと、
    前記表示している動作仕様タイミングチャートの分岐元位置についての分岐条件の選択の入力を受け取るステップと、
    前記分岐点情報に基づき、前記受け取った分岐条件により移行する分岐先位置を含む動作仕様タイミングチャートを表示するステップと、
    を含むことを特徴とする方法。
JP2010208433A 2010-09-16 2010-09-16 タイミングチャート処理装置及びタイミングチャートを表示する方法 Expired - Fee Related JP5694715B2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2010208433A JP5694715B2 (ja) 2010-09-16 2010-09-16 タイミングチャート処理装置及びタイミングチャートを表示する方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2010208433A JP5694715B2 (ja) 2010-09-16 2010-09-16 タイミングチャート処理装置及びタイミングチャートを表示する方法

Publications (2)

Publication Number Publication Date
JP2012064033A JP2012064033A (ja) 2012-03-29
JP5694715B2 true JP5694715B2 (ja) 2015-04-01

Family

ID=46059670

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2010208433A Expired - Fee Related JP5694715B2 (ja) 2010-09-16 2010-09-16 タイミングチャート処理装置及びタイミングチャートを表示する方法

Country Status (1)

Country Link
JP (1) JP5694715B2 (ja)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR101775808B1 (ko) * 2013-04-12 2017-09-06 미쓰비시덴키 가부시키가이샤 프로그래머블 컨트롤러의 주변장치 및 디버그 지원 프로그램
WO2016009518A1 (ja) * 2014-07-16 2016-01-21 株式会社安川電機 機器制御システム、タイムチャート作成装置、機器制御装置、機器制御方法、タイムチャート作成方法及びコンピュータプログラム
JP6460108B2 (ja) * 2014-07-16 2019-01-30 株式会社安川電機 機器制御システム、タイムチャート作成装置、機器制御装置、機器制御方法、タイムチャート作成方法及びコンピュータプログラム
JP6529386B2 (ja) * 2015-08-24 2019-06-12 本田技研工業株式会社 設備動作解析装置
JP7039186B2 (ja) * 2017-06-13 2022-03-22 キヤノン株式会社 情報処理方法、プログラム、記録媒体、情報処理装置、製造システム、および物品の製造方法
CN109062154B (zh) * 2018-08-02 2019-12-31 国家能源投资集团有限责任公司 进料预处理器顺控方法、存储介质及电子设备

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP3126493B2 (ja) * 1991-06-25 2001-01-22 松下電工株式会社 設備故障診断方法
JPH07191717A (ja) * 1992-02-05 1995-07-28 Toshiba Corp 制御プログラム自動作成装置
JPH07160312A (ja) * 1993-12-08 1995-06-23 Hitachi Ltd プログラマブルコントローラのプログラミング装置
JPH08305414A (ja) * 1995-04-28 1996-11-22 Master Eng:Kk シーケンス制御動作図の作成方法、同動作図用の動作被制御体の一覧画面表示方法及び一覧表示印刷物、及びシーケンスプログラムのチェックによる動作図の作成方法
JP2000276224A (ja) * 1999-03-25 2000-10-06 Hitachi Ltd 制御プログラムの検査方法および装置ならびにその検査プログラムの自動生成方法および装置
JP3551077B2 (ja) * 1999-04-23 2004-08-04 松下電工株式会社 制御動作の解析方法および解析装置
JP2001117609A (ja) * 1999-10-18 2001-04-27 Accurate Technology Kk シーケンス制御シミュレータ
JP2007206798A (ja) * 2006-01-31 2007-08-16 Fujitsu Ten Ltd 制御プログラム生成プログラム、制御プログラム生成方法および制御プログラム生成装置
JP2008097281A (ja) * 2006-10-11 2008-04-24 Canon Inc プログラム生成システム、シーケンスプログラム、シーケンス制御方法、およびシーケンサ装置

Also Published As

Publication number Publication date
JP2012064033A (ja) 2012-03-29

Similar Documents

Publication Publication Date Title
JP5694715B2 (ja) タイミングチャート処理装置及びタイミングチャートを表示する方法
JP6522021B2 (ja) 画像形成装置、及び画像形成装置の制御方法
US8437035B2 (en) Printing apparatus, control method of printing apparatus, and storage medium
US11503183B2 (en) Image formation apparatus and storing medium
CN101689217A (zh) 用于自动处理基于图案剪辑的制造热点的两用扰动引擎
JP2014144538A (ja) 画像形成装置
JP2009202575A (ja) 画像形成装置、媒体供給制御方法、及び、コンピュータプログラム
US8965234B2 (en) Image forming system and method of controlling the same
JP2008097281A (ja) プログラム生成システム、シーケンスプログラム、シーケンス制御方法、およびシーケンサ装置
JP2009053519A (ja) 画像形成システム、画像形成装置及び後処理装置
JP2010128722A (ja) シミュレーションシステム、シミュレーション方法及びプログラム
JP2011183633A (ja) 画像形成制御装置、画像形成装置、画像形成システムおよび画像形成制御用プログラム
JP4328059B2 (ja) 印刷装置及び印刷制御方法
JP6000532B2 (ja) 印刷装置、印刷装置の制御方法、及びプログラム
JP2010157108A (ja) ソフトウエア評価方法及びそれを実現する情報処理装置
EP3647934A1 (en) Information processing apparatus and method for controlling the same
US10735602B2 (en) Image forming apparatus
JP6986882B2 (ja) 旅客案内装置、旅客案内システム及び旅客案内方法
JP5803161B2 (ja) 画像処理装置、画像処理システム、及び画像処理プログラム
JP4035343B2 (ja) 設計支援装置、方法、及びプログラムを記録した記録媒体
US9025191B2 (en) Display operation device, non-transitory computer-readable recording medium storing display operation program, and display operation method and image forming apparatus
US9904493B2 (en) Automatic access to high-level explanations of scheduling conflicts in print engine schedules
JP2020053885A (ja) 画像形成装置および画像形成装置用プログラム
JP6264933B2 (ja) 画像形成装置、画像形成システム及び画像形成制御プログラム
JP2009184320A (ja) 画像形成装置、画像形成方法および画像形成プログラム

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20130910

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20140618

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20140623

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20140821

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

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20150109

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20150205

LAPS Cancellation because of no payment of annual fees