JP7270112B2 - 制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新するための方法 - Google Patents

制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新するための方法 Download PDF

Info

Publication number
JP7270112B2
JP7270112B2 JP2022535845A JP2022535845A JP7270112B2 JP 7270112 B2 JP7270112 B2 JP 7270112B2 JP 2022535845 A JP2022535845 A JP 2022535845A JP 2022535845 A JP2022535845 A JP 2022535845A JP 7270112 B2 JP7270112 B2 JP 7270112B2
Authority
JP
Japan
Prior art keywords
data
control program
sub
type
data type
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.)
Active
Application number
JP2022535845A
Other languages
English (en)
Other versions
JP2022551342A (ja
Inventor
ドレーゼン，ラルフ
Original Assignee
ベックホフ オートメーション ゲーエムベーハー
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 ベックホフ オートメーション ゲーエムベーハー filed Critical ベックホフ オートメーション ゲーエムベーハー
Publication of JP2022551342A publication Critical patent/JP2022551342A/ja
Application granted granted Critical
Publication of JP7270112B2 publication Critical patent/JP7270112B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G06F8/65—Updates
    • G06F8/656—Updates while running
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B13/00—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion
    • G05B13/02—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric
    • G05B13/0205—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric not using a model or a simulator of the controlled system
    • G05B13/021—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric not using a model or a simulator of the controlled system in which a variable is automatically adjusted to optimise the performance
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B13/00—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion
    • G05B13/02—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric
    • G05B13/0205—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric not using a model or a simulator of the controlled system
    • G05B13/024—Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric not using a model or a simulator of the controlled system in which a parameter or coefficient is automatically adjusted to optimise the performance
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G06F8/437—Type checking

Description

〔関連出願の相互参照〕
本特許出願は、ドイツ特許出願ＤＥ １０ ２０１９ １３４ ３７３．９の優先権を主張し、その開示内容は、参照により本明細書に組み込まれる。
本発明は、自動化システムの制御プログラムを更新し、同時に制御プログラムのプログラム状態を記述するデータを移行することに関する。
自動化技術において、自動化システムの加入者は、通常、対応する制御プログラムを周期的に実行することによって、自動化システムのコントローラによって制御され、読み出される。それぞれの加入者が制御プログラムのそれぞれの制御命令に従って制御されるサイクル毎に、自動化システム及び制御プログラムの状態を記述する情報は、コントローラによって記録され、保存される。このようにアクセスされるグローバル状態は、自動化システムと制御プログラムの状態を反映するために必要な完全な情報を含む。例えば、グローバル状態は、制御プログラムで使用される変数、機能、データベース、又は他のオブジェクトを含むことができる。更に、グローバル状態は、自動化システムの加入者に関する情報、又は自動化システムで実行されている処理に関する情報を含むことができる。
このようなグローバル状態は、各制御サイクルの完了後に再作成することができ、その結果、自動化システム及び制御プログラムの現在の状態をいつでも反映することができる。グローバル状態は、対応するグローバルメモリ領域の内容である。制御プログラムのサイクルの実行の間、メモリを（必要に応じて、数回）変更することができる。メモリが変更する毎に、状態は、変更する可能性がある。無効な中間状態が発生することがある。サイクルの終わりに向かって、グローバル状態は、一貫しており、次の実行サイクルの開始まで維持される。
制御プログラムが後続の制御サイクルで再び実行されるとき、制御プログラムは、グローバル状態で保存されたデータを検索し、従って、前の制御サイクルにおける自動化システムの状態に基づいて、後続のサイクルにおける自動化システムを制御し続けることができる。
自動化システムの動作中に、自動化システムの最適化された動作を達成又は保証するために、様々なパラメータを再調整しなければならない、又はプロセスを変更又は調整しなければならない状況が、しばしば生じる。これに関連して、動作中に、現在実行中の制御プログラムを、必要な調整が考慮されるより最新のバージョンに置き換えることがしばしば必要である。交換後の自動化システムの再開始を回避し、代わりに現在の状態で自動化システムを動作させ続けることができるようにするために、制御プログラムの現在のバージョンは、最後に実行された制御サイクルの時点での制御プログラム及び自動化システムの状態を記述するグローバル状態の情報にアクセスできなければならない。これは、制御プログラムの現在のバージョンの実行が自動化システムの現在の状態に基づいて自動化システムを制御し続けることができ、自動化システムの完全な再開始を回避することができることを保証する唯一の方法である。
現在のバージョンの制御プログラムにおける変更がグローバル状態に保存されている情報に影響を与えると、問題が発生する。例えば、現在のバージョンの制御プログラムにおいて、変数の名称変更、削除、追加を行ったり、制御プログラムのオブジェクトのデータ型を変更したりする場合がある。更新された制御プログラムの変数又はオブジェクトとグローバル状態に保存されたオブジェクトとの間のマッピングが妨げられる可能性があるため、このような変更又は修正は、現在のバージョンの制御プログラムがグローバル状態の情報に直接アクセスすることを妨げ得る。
換言すると、制御プログラムの実行可能コードは、グローバル状態の特定の構造を想定することができ、例えば、対応するメモリのどの相対位置に変数が配置され、メモリの内容がどのように解釈されるかを想定することができる。
従って、グローバル状態の情報を現在のバージョンの制御プログラム及びその中で行われた変更に適応させる必要があり、その結果、調整が成功した場合、現在の制御プログラムは、グローバル状態の情報にアクセスし、その現在の状態で自動化システムを制御することができる。
従って、本発明の目的は、自動化システムの制御プログラムを更新し、同時に現在のプログラム状態を移転する改良された方法を提供することである。
本目的は、独立請求項による方法によって解決される。好ましい実施形態は、従属請求項に示されている。
本発明の第１の態様によれば、自動化システムの制御プログラムを、制御プログラムのプログラム状態のデータ移行で更新する方法が、提供され、自動化システムのコントローラは、第１の制御プログラム及び第２の制御プログラムを含み、第１の制御プログラムは、自動化システムを制御するためにサイクリックに実行され、第２の制御プログラムは、第１の制御プログラムの更新であり、第１の制御プログラムは、第１の制御プログラムのプログラム状態を記述し、コントローラの第１のメモリ領域に保存された、第１のデータ型の第１のデータ要素を含み、第２の制御プログラムは、第２の制御プログラムのプログラム状態を記述し、第２のメモリ領域に保存された、第２のデータ型の第２のデータ要素を含み、第１の生成ステップにおいて、第１のデータ要素を第２のデータ要素にマッピングするための第１の移行関数を生成するステップ、中断ステップにおいて、第１の制御プログラムのサイクリック実行を中断するステップ、第１の決定ステップにおいて、第１のデータ要素の値を決定するステップであって、第１のデータ要素の決定された値は、中断時の制御プログラムのプログラム状態を記述する、ステップ、及び移行ステップにおいて、第１の移行関数を実行することによって、第１のデータ要素の値を第２のデータ要素にマッピングするステップ、を含む。
これは、自動化システムの制御プログラムを更新するための改善された方法を提供することができ、同時に、制御プログラムのプログラム状態のデータ移行を可能にするという技術的利点を達成する。本方法は、自動化システムのサイクリック制御に使用される制御プログラムが、自動化システムの動作の間に、更新されたバージョンの制御プログラムによって置き換えられることを可能にする。
本目的のために、自動化システムを制御する方法の実行時にサイクリックにアクセスされ実行される第１の制御プログラムと、更新されたバージョンの第１の制御プログラムであってよく、第１の制御プログラムを置き換えることを意図した第２の制御プログラムとが、自動化システムのコントローラのメモリに保存される。第１の制御プログラムは、メモリの第１のメモリ領域に保存され、自動化システムの状態及び第１の制御プログラムを記述する第１のデータ要素を更に含む。
第２の制御プログラムは、更新されたバージョンの第１の制御プログラムであってよく、更新の形式において第１の制御プログラムへの変更を含んでよい。代替的に、第２の制御プログラムは、現在のバージョンの第１の制御プログラムとは異なる、古いバージョンの第１の制御プログラムであってよい。代替的に、第２の制御プログラムは、第１の制御プログラムに基づく必要のない、独立してプログラムされた制御プログラムであってもよい。
第１のデータ要素は、複雑なデータ構造として構築され、複数のオブジェクトを含み、第１の制御プログラム及び自動化システムのグローバル状態を記述することができる。
以下において、オブジェクトは、制御プログラムのデータオブジェクト又はオブジェクトであり、また、複雑なデータ構造を有し、複雑な情報内容を含むことができる。グローバル状態は、第１のデータ要素によって成り立つオブジェクトによって形成され、自動化システムの制御に必要な全ての情報を含む。
第２のメモリ領域は、第２の制御プログラムを保存し、これは、更新されたバージョンの第１の制御プログラムであってもよく、第１の制御プログラムの代替としてサーブする。第２の制御プログラムは、第２の制御プログラムのグローバル状態に関する情報が保存され得る第２のデータ要素を含む。第２のデータ要素は、同様に複雑なデータ構造を有し、第２の制御プログラム内で定義された複数のオブジェクトを含むことができる。オブジェクト又は第２のデータ要素によって成り立つ情報は、第２の制御プログラムのグローバル状態を記述する。
第１の制御プログラムを第２の制御プログラムに置き換え、第１の制御プログラムのグローバル状態を第２の制御プログラムに転送するために、第１の生成ステップにおいて、第１の移行関数は、生成される。第１の移行関数は、第１のデータ要素を第２のデータ要素にマッピングし、従って第１の制御プログラムのグローバル状態に関する情報を第２の制御プログラムの名称集として転送する、又は第２の状態の解釈又は意味が可能な限り第１の状態に対応するように、第２のデータ要素に保存された第２の制御プログラムのオブジェクト内の第１の制御プログラムのグローバル状態の情報を表現するために、サーブする。
中断ステップにおいて、第１の制御プログラムのサイクリック実行は、中断され、第１の決定ステップにおいて、第１のデータ要素の値は、続いて決定される。第１の制御プログラムのサイクリック実行が中断されるとき、第１の制御プログラムのグローバル状態に関する情報と、第１の制御プログラムのサイクリック実行中断時の自動化システムの情報は、第１のデータ要素に保存される。従って、第１のデータ要素の値は、サイクリック実行の中断時、又は最後に実行された制御サイクルの完了時又は完了後の自動化システムのグローバル状態を記述する。
第１の制御プログラムのサイクリック実行を中断することは、制御サイクルの間、２つの制御サイクルの間、制御サイクルが開始される前、又は制御サイクルが完了した後に実行されてよい。
移行ステップにおいて、第１のデータ要素の値は、第１の移行関数を実行することによって、第２のデータ要素にその後、マッピングされる。第１の移行関数は、第１のデータ要素の値を読み出し、読み出した値を第２のデータ要素に書き込む。従って、第１の移行関数は、第１のデータ要素の値を第２の制御プログラムの値にマッピングし、読み出した値を第２のデータ要素に書き込む。
第１の制御プログラム及び最後に実行された制御サイクルの時点における自動化システムのグローバル状態を記述する第１のデータ要素の値を第２のデータ要素にマッピングすることにより、第１の制御プログラムのグローバル状態は、第２の制御プログラムに移行されることができる。その後のステップにおいて、自動化システムが第２の制御プログラムを実行することによって制御される場合、第２の制御プログラムは、最後に実行された制御サイクルの時点における自動化システムのグローバル状態の情報にアクセスすることができ、この情報は、移行ステップによって第２のデータ要素にマッピングされ、自動化システムは、第２の制御プログラムに基づいて、最後に実行された制御サイクルの状態においてシームレスに制御されることができる。
グローバル状態を第２の制御プログラムに転送することによって、第２の制御プログラムに基づく自動化システムの制御は、最後に決定された状態で継続されることができ、第１の制御プログラムのグローバル状態の情報が失われ、自動化システムの各プロセスが再開されなければならず、開始状態で制御を開始する、自動化システムの再開始を、回避することができる。
従って、自動化システムの実質的な停止なしに、第１の制御プログラムに基づく制御と、自動化システムの第２の制御プログラムに基づく制御との間の円滑な移行を、達成することができる。好ましくは、第２の制御プログラムによる第１の制御プログラムの置換は、２つの連続する制御サイクルの間の中断の間に実行されてよく、その結果、自動化システムの停止は、完全に回避されてよい。
第１の制御プログラムＡのグローバル状態と、第１の制御プログラムに基づいて実行された最後の制御サイクルの時点の自動化システムのグローバル状態とを、データ移行後の第２のメモリ領域内の第２のデータ要素にマッピングすることにより、グローバル状態は、使用不可能なメモリギャップなしに第２のデータ要素に保存される。第２のデータ要素は、第２のデータ要素の全てのオブジェクトが密にパックされ、使用できないメモリギャップなしに配置される、第２のメモリ領域内の連続した領域を形成する。第１の制御プログラムＡに基づいて実行された最後の制御サイクルの時点における第１の制御プログラム及び自動化システムのグローバル状態を、移行ステップにおいてオブジェクトごとに第２のデータ要素オブジェクトの対応するオブジェクトにマッピングすることにより、グローバル状態は、正常なデータ移行後に、第２のメモリ領域に連続したユニットとして保存される。グローバル状態が、第１のデータ要素のオブジェクトを一方で追加し、一方で第１のデータ要素内でのオブジェクトの使用を中止する代わりに、新しいメモリ領域内でデータ移行によって完全に再構築されるため、メモリ領域の断片化が防止され得る。
第１のデータ要素及び第２のデータ要素は、以下でそれぞれが複数の構成要素又はオブジェクトを含む複雑なデータ構造を有することができ、これらの構成要素又はオブジェクトは同様に、複雑なデータ型であってよい。第１のデータ要素は、第１の制御プログラム及び自動化システムのグローバル状態を記述し、従って自動化システム又は第１の制御プログラムのそれぞれの状態を記述するために必要な情報を含む。第２のデータ要素は、第２の制御プログラム及び自動化システムのグローバル状態を記述するように構成される。この方法を実行する際に、第２のデータ要素は、第２の制御プログラム内で定義された全てのオブジェクトを既に含むことができる。
グローバル状態は、制御プログラムが自動化システムにアクセスするために必要とする全ての変数又は異なる設定されたオブジェクトを含むことができる。グローバル状態において、制御プログラムのそれぞれのオブジェクトは、自動化システムを動作させ、自動化システムのそれぞれの状態を記述することによって、生成された対応する値又は測定値を含むことができる。
以下において、データ移行は、第１のメモリ領域から第２のメモリ領域へのデータの転送である。データ移行は、第１のメモリ領域のデータを読み出し、第２のメモリ領域にデータを書き込むことに加えて、それぞれのデータ型の変換を含むことができる。従って、データ移行のコース内において、第１のメモリ領域内の第１のデータ型のデータを第２のデータ型のデータに変換し、第２のメモリ領域に保存することができる。
一実施形態によれば、本方法は、第１の検証ステップにおいて、第１のデータ要素の値が第２のデータ要素に十分に正確にマッピングされ得るかどうかを検証するステップであって、第１のデータ要素の値が第２のデータ要素に表され得る場合、第１のデータ要素の値が、第２のデータ要素に十分に正確にマッピングされ得、第１のデータ要素の値が第２のデータ要素にマッピングされ得る場合、第２の制御プログラムにサイクリックにアクセスし、第１の制御ステップにおいて、第２の制御プログラムを根拠として、第２のデータ要素を考慮し、自動化システムを制御し、且つ第１のデータ要素の値が第２のデータ要素にマッピングされ得ない場合、第２の制御ステップにおいて、第１の制御プログラムを根拠として、第１の制御プログラムのサイクリックアクセスを継続し、第１のデータ要素を考慮し、第１の制御プログラムに基づいて自動化システムを制御する、ステップを更に含む。
これは、制御プログラムのプログラム状態の同時データ移行による制御プログラムの更新方法が提供され、満足できる結果が得られない場合、プログラム状態のデータ移行が中止され、データ移行が中止された後、元の制御プログラム及び関連付けられたプログラム状態を根拠として、自動化システムの制御が継続されるという技術的利点を達成する。
検証ステップにおいて、第１のデータ要素の値が第２のデータ要素に十分に正確にマッピングされ得るかどうかが、検証される。第１のデータ要素のデータ型及び第２のデータ要素のデータ型が、変換によって第１のデータ要素の値の情報内容を実質的に変更せずに互いに変換できない場合、第１のデータ要素と第２のデータ要素との十分に正確なマッピングは、禁止され得る。
検証ステップにおける検証は、第１のデータ要素及び第２のデータ要素のデータ型に応じて変更することができる。例えば、第１のデータ要素及び第２のデータ要素がスカラデータ型である場合、明示的に検証が実行される。第１のデータ要素及び第２のデータ要素が複合型又はフィールド型である場合、検証は、複合型の構成要素又はフィールド型の構成要素がスカラデータ型であれば、十分な精度で互いにマッピングされ得るかどうかを検証することによって間接的に実行される。それらが十分な精度で互いにマッピングされ得ない場合、第１のデータ要素及び第２のデータ要素は、十分な精度で互いにマッピングされ得ない。複合型の構成要素又はフィールド型の要素が再び複合型又はフィールド型である場合、それらの構成要素又は要素が検証に使用される。検証は、複合型の構成要素又はフィールド型の要素がスカラデータ型を有するまで、このように続く。
以下において、マッピングによって元のデータ要素の情報内容が変更された場合、データ要素は、十分な精度で互いにマッピング可能ではないと見なされる。代替的に、元のデータ要素の情報内容がマッピングによって重大に変更され、変更された情報内容が更なる考慮のために使用不可能である場合、データ要素は、十分な精度で互いにマッピングすることができないと見なされてもよい。これは、ケースバイケースで決定されなければならないかもしれない。
以下において、複合型のデータ型を有するデータ要素とフィールド型のデータ型を有するデータ要素とは十分な精度で互いにマッピング可能であるとはみなされない。更に、複合型のデータ型を有するデータ要素とスカラ型のデータ型を有するデータ要素とは、十分な精度で互いにマッピング可能であるとはみなされない。更に、フィールド型のデータ型のデータ要素とスカラ型のデータ型のデータ要素とは、互いに十分な精度でマッピングできないとみなされる。更に、スカラ型のデータ型の２つのデータ要素は、十分な精度で互いにマッピングされないこともある。
異なる種類のデータ型のために第１のデータ要素を第２のデータ要素に十分に正確にマッピングすることができない場合に加えて、第２のデータ要素のデータ型が原則的に互換性のあるデータ型にもかかわらず、第１のデータ要素の値を完全に表現するのに適していない場合は、十分に正確なマッピングも失敗することがある。例えば、第１のデータ要素のデータ型が符号なし１６ビット整数であり、第２のデータ要素のデータ型が符号なし８ビット整数であり、第１のデータ要素に１０００の値が格納されていると、この値１０００は、第２のデータ要素の符号なし８ビット整数で完全に表現できず、その最大数値は、２５５になる。第１のデータ要素のデータ型と第２のデータ要素のデータ型、及び２つのデータ型のそれぞれの互換性に加えて、第１の検証ステップにおいて、第１のデータ要素の値は、第２のデータ要素のデータ型によって、表現可能性を追加でチェックされる。第１のデータ要素の実際の値が、第２のデータ要素のデータ型において完全に、又は必要とされる精度で表現され得ない場合、第１のデータ要素及び第２のデータ要素は、十分な精度で互いにマッピングされ得るとはみなされない。
検証ステップにおいて、第１のデータ要素の値が第２のデータ要素に十分に正確にマッピングされ得ることと認識された場合、第２の制御プログラムは、移行ステップにおいて、第１のデータ要素の値がマッピングされた第２のデータ要素を考慮して、第１の制御ステップにおいて自動化システムを制御するためにサイクリックにアクセスされる。従って、第１の制御プログラムは、第２の制御プログラムによって正常に置き換えられ、第１の制御プログラムのプログラム状態又はグローバル状態を記述し、これに関連付けられた自動化システムの第１のデータ要素のデータ移行の正常さのため、自動化システムは、第１の制御プログラムが第２の制御プログラムによって置き換えられた後、第２の制御プログラムに基づいて現在の状態で動作し続けることができる。
正常なデータ移行及び第１のデータ要素の値の第２のデータ要素への十分に正確なマッピングの結果として、第２の制御プログラムは、第１の制御プログラムのグローバル状態に関する第２のデータ要素に保存された情報にアクセスし、この状態に基づいて自動化システムを制御することができる。従って、自動化システムのグローバル状態に関する情報が正常なデータ移行によって第２の制御プログラムの名称集に転送され得、従って、第２の制御プログラムが自動化システムのグローバル状態の情報にアクセスし得るため、制御プログラムを更新した後の自動化システムの再開始は、回避され得る。
一方で、検証ステップにおいて、第１のデータ要素の値が第２のデータ要素に十分に正確にマッピングされ得ないと判定された場合、第１の制御プログラムへのサイクリックのアクセスは、第１のデータ要素を考慮して、第２の制御ステップにおいて継続される。グローバル状態のデータ移行が失敗し、第１のデータ要素の値が第２のデータ要素に十分に正確にマッピングできない場合、第１の制御プログラムの更新は、破棄され、元のグローバル状態を考慮した変更されていない第１の制御プログラムに基づいて自動化システムが制御される。このようにして、グローバル状態の不正確なデータ移行、又は第１のデータ要素の値の第２のデータ要素への不正確なマッピングのために、自動化システムの動作が中断されなければならないことは、回避することができる。
第１の制御プログラム及び第１のデータ要素が第１のメモリ領域に保存され、第２の制御プログラム及び第２のデータ要素が第２のメモリ領域に保存されるため、第１の制御プログラム及び第１のデータ要素の両方は、データ移行及び第１のデータ要素の値の第２のデータ要素へのマッピングの影響を受けず、正常及び失敗の両方のデータ移行後も引き続き利用可能である。これは、グローバル状態のデータ移行が失敗した場合、又は第１のデータ要素の値の第２のデータ要素へのマッピングが失敗した場合、元の第１の制御プログラム及び第１のデータ要素に記憶された第１の制御プログラムと自動化システムのグローバル状態とが、いつでも戻され、従って、自動化システムの制御が継続され得ることを提供する。従って、自動化システムの停止又は自動化システムの再開始を回避することができる。第１の制御プログラムのグローバル状態のデータ移行によって、第１の制御プログラムの更新は、後の時点で再度実行されてよい。
一実施形態によれば、移行ステップにおける第１のデータ要素の値の第２のデータ要素へのマッピングが所定の期間を超える場合、第１のデータ要素の値は、第２のデータ要素に更に十分に正確にマッピングすることができない。
これは、自動化システムのより長い停止が回避され得るという技術的利点を達成する。移行ステップが所定の時間を超える場合、第２の制御ステップは、自動化システムを制御するための第１のデータ要素を考慮して、第１の制御プログラムのサイクリックのアクセスを継続する。第１のデータ要素に保存されたグローバル状態のデータ移行が所定の時間枠内に正常に実行できない場合、第２の制御プログラムによる第１の制御プログラムの更新と、第１の制御プログラムのグローバル状態の関連付けられたデータ移行とが破棄され、第１の制御プログラムと第１のデータ要素に保存されたグローバル状態とに基づいて、自動化システムの制御が継続される。従って、自動化システムの連続的な動作を保証することができる。
一実施形態によれば、本方法は、第１の移行関数が第２の検証ステップにおける第１の生成ステップにおいて生成され得るかどうかを検証するステップであって、第１の生成ステップにおいて第１の移行関数が生成され得なかった場合、第１のデータ要素を考慮して第１の制御プログラムのサイクリックのアクセスを継続し、第２の制御ステップにおいて第１の制御プログラムに基づいて自動化システムを制御する、ステップを更に含む。
これは、第１のデータ要素に保存されたグローバル状態の不正確な又は不完全なデータ移行の場合、第１の制御プログラム及び第１のデータ要素に保存されたグローバル状態を根拠にして、自動化システムの制御を継続することができるという技術的利点を達成する。検証ステップが、第１のデータ要素を第２のデータ要素にマッピングするための第１の移行関数を生成できなかったことを示した場合、第２の制御ステップにおいて、第１のデータ要素を考慮して第１の制御プログラムに基づいて自動化システムの制御は、継続される。
第１の生成ステップにおける第１の移行関数の生成は特に、第１のデータ要素によって包含される情報内容の実質的な修正を引き起こすことなく、第１のデータ要素と第２のデータ要素が十分な精度で互いにマッピングすることができない異なるデータ型をそれぞれ有するため、第１のデータ要素を十分な精度で第２のデータ要素にマッピングすることができない場合、失敗することがある。
従って、第１のデータ要素と第２のデータ要素がそれぞれのデータ型の性質上、互いに十分な精度でマッピングできない２つのデータ型を有する場合、第２の検証ステップの後にデータ移行が中止され、第１の制御プログラムと第１のデータ要素を根拠にして、第２の制御ステップで自動化システムの制御が継続される。これにより、第１のデータ要素に保存された自動化システムのグローバル状態のデータ移行が失敗したために、自動化システムの動作を一時停止する必要がなくなる。
一実施形態によれば、第１の移行関数は、第１のメモリ領域内の第１のデータ型のデータを読み出し、第１のデータ型の読み出しデータを第２のデータ型に変換し、第２のデータ型に変換したデータを第２のメモリ領域に保存するように設定され、移行ステップは、第１の読み出しステップにおいて、第１の移行関数を用いて第１のメモリ領域内の第１のデータ要素の位置にある第１のデータ要素の値を読み出し、第１の変換ステップにおいて、第１の移行関数を用いて第１の移行関数により第１のデータ要素の値を第２のデータ型に変換し、第１の書き込みステップにおいて、第１の移行関数により、第２のデータ型に変換された第１のデータ要素の値を、第２のメモリ領域内の第２のデータ要素の位置に書き込むことを含む。
これは、移行ステップにおいて第１のデータ要素の第２のデータ要素への信頼性のあるマッピングが保証され得るという技術的利点を達成する。第１の移行関数は、第１のデータ要素の第１のデータ型のデータを第２のデータ要素の第２のデータ型のデータにマップするように実施される。この目的のために、第１の移行関数は、第１のデータ要素が保存されている第１のメモリ領域内の位置で第１のデータ要素の値を読み出し、必要に応じて第１のデータ要素の読み出し値を第２のデータ要素の第２のデータ型に変換し、変換した値を第２のデータ要素が保存されている第２のメモリ領域内の位置に書き込むようにセットアップされている。第１のデータ要素と第２のデータ要素が同じデータ型の場合、第１のデータ要素の読み出し値の変換は省略され、第１の移行関数は、読み出した値を第２のメモリ領域の対応する位置に直接保存する。第１と第２のデータ要素のデータ型が同じ場合、第１のデータ要素の値がブロック単位で第２のメモリ領域の第２のデータ要素の位置にコピーされることがある。これにより、移行処理を高速化することができる。特に、ブロック単位のコピーは、大きなメモリ空間を要件とするフィールド及び／又は複合型にとって有利である。
第１の移行関数は、第１のデータ型のデータが第２のデータ型で十分に表現されていれば、第１のデータ要素の第１のデータ型からの任意のデータを、第２のデータ要素の第２のデータ型からの許可データにマップしてもよいことを特徴とする。従って、第１の移行関数は、第１のデータ要素を第２のデータ要素にマッピングすることに限定されず、第１のデータ型の任意の異なるデータ要素及び第２のデータ型のデータ要素に使用することができる。第１のデータ型の複数のデータ要素を第２のデータ型の複数のデータ要素にマッピングする場合、第１の移行関数は、第１のデータ型のデータ要素を第２のデータ型のデータ要素にマッピングするごとに、再利用してもよい。
第１の移行関数は、必ずしも全射的である必要はない。例えば、変数の型が８ビット整数から１６ビット整数に変更された場合、これが第２の型の有効な値であっても、データは、データ移行で生成されないことがある。
しかしながら、第１の移行関数は、常に画像領域の値、すなわちターゲット型の有効値を返す。ｎビット整数型の場合、ｎビットの任意の配列が有効な整数であるが、浮動小数点型の場合、浮動小数点数に割り当てられていない無効なビット配列が提供されることがある。同じことは、サブ範囲型、つまり意図的に制限された値の範囲を持つ整数型にも当てはまる場合がある。
ターゲット型がソース型の全ての値を十分な精度で表すことができない場合、移行関数の定義範囲は、制限されてよい。従って、移行関数は、第１のデータ型の全てのデータに適用できない場合もある。代替的に移行関数は、ソース型の全てのデータに適用できるが、実行時に相互にデータをマップすることを拒否する場合がある。
これは、第１の生成ステップにおいて第１の移行関数のみ生成されればよいという利点を有する。これは、複数の第１のデータ要素が複数の第２のデータ要素にマッピングされる場合であっても、個々の第１のデータ要素をそれぞれの第２のデータ要素にマッピングするための各ケースにおいて、そのようなマッピングのためにセットアップされた第１の移行関数だけにアクセスし、再度実行すればよいという点で、処理を実質的に加速することができることを意味する。
特に、プログラムメモリは、移行関数に対応するためにセーブされてもよい。その結果、生成、変換、及びロード時間が短縮されることがある。更に、キャッシュ効果により、典型的なプロセッサ上のより小さなコードサイズは、移行時間に有利な効果をもつことがある。
従って、複数の第１及び第２のデータ要素をマッピングするための複数の第１の移行関数を生成することは、省略することができる。
一実施形態によれば、第１の生成ステップは、第１の識別ステップにおいて、第１のデータ要素のデータ型を第１のデータ型として識別するステップと、第２のデータ型として第２のデータ要素のデータ型を識別するステップとを更に含み、第１の移行関数は、識別された第１のデータ型及び識別された第２のデータ型に基づいて生成される。
これは、第１及び第２のデータ要素の第１及び第２のデータ型に個々に適合された第１の移行関数を生成することができるという技術的利点を達成する。第１の生成ステップにおいて、第１のデータ要素の第１のデータ型と第２のデータ要素の第２のデータ型を識別することにより、第１のデータ型のデータを第２のデータ型のデータにマッピングするように第１の移行関数は、セットアップされてもよい。
更に、第１の識別ステップにおける第１及び第２のデータ要素の第１及び第２のデータ型の識別は、第２の検証ステップにおいて、第１のデータ型のデータを第２のデータ型のデータにマッピングするための第１の移行関数が生成されてもよいかどうかを検証してもよいことを保証してもよい。第１のデータ型及び第２のデータ型の識別の間、第１のデータ型が十分な精度で第２のデータ型にマッピングされ得るかどうか、又は第１のデータ型が十分な精度で第２のデータ型に変換され得るかどうかを分析することができる。
更に、任意の第１のデータ型の任意のデータ要素及び任意の第２のデータ型の任意の第２のデータ要素のために、第１の識別ステップにおいて、第１のデータ型のデータから第２のデータ型のデータへの対応する第１の移動関数が、各第１のデータ要素及び各第２のデータ要素について、対応する第１のデータ型及び第２のデータ型を識別することによって生成され得ることが、達成される。このような方法で生成される第１の移行関数は、第１及び第２のデータ要素に限定されず、一般に第１及び第２のデータ型のデータ又はデータ要素に適用可能である。これは、必要な移行関数の数を制限し、生成された移行関数は、再利用されることができる。
一実施形態によれば、第１の生成ステップは、第１のデータ要素の第１のデータ型及び第２のデータ要素の第２のデータ型がそれぞれ複合型である場合、第１のデータ要素が第３のデータ型の少なくとも第１のデータサブ要素を含み、第２のデータ要素が第４のデータ型の少なくとも第２のデータサブ要素を含む場合、第２の識別ステップにおいて、第１のデータサブ要素のデータ型を第３のデータサブ型として識別し、第２のデータサブ要素のデータ型を第４のデータ型として識別するステップと、第２の生成ステップにおいて、識別された第３のデータ型及び識別された第４のデータ型を根拠として、第１のデータサブ要素を第２のデータサブ要素にマッピングする第２の移行関数を生成するステップとを更に含み、第２の移行関数は、第１のメモリ領域内の第３のデータ型のデータ要素を読み出し、第３のデータ型の読み出しデータを第４のデータ型に変換し、第４のデータ型に変換されたデータを第２のメモリ領域に保存するように設計される。
これは、各々が複合型である第１及び第２のデータ要素のために、第１のデータ要素に保存されたグローバル状態の十分に正確なデータ移動が可能であるという技術的利点を達成する。
実際に、第１の制御プログラム及び第２の制御プログラムのグローバル状態をそれぞれ記述する第１のデータ要素及び第２のデータ要素は、通常、複合型のデータ型であり、複数のオブジェクト又は従属データ要素又はデータサブ要素を備える。それぞれの第１及び第２のデータ要素の個々のデータサブ要素は、個々の変数、複雑なデータオブジェクト、又は対応する第１及び第２の制御プログラムの他のオブジェクトであってもよい。
第１のデータ要素及び第２のデータ要素が複合型の各々であり、第１のデータ要素が少なくとも１つの第１のデータサブ要素を有し、第２のデータ要素が少なくとも１つの第２のデータサブ要素を有する場合、第２の識別ステップは、第１のデータサブ要素のデータ型及び第２のデータサブ要素のデータ型を識別する。
第１のデータサブ要素及び第２のデータサブ要素のデータ型を識別した後、第１のデータサブ要素を第２のデータサブ要素にマッピングするための第２の生成ステップにおいて、第２の移行関数が、生成される。第２の移行関数は、第１のデータサブ要素のデータ型の任意のデータを、第２のデータサブ要素のデータ型の任意のデータにマップするようにセットアップされる。この目的のために、第２の移行関数は、第１のメモリ領域内の第１のデータサブ要素のデータ型の対応するデータ要素を読み出し、読み出したデータを第２のデータサブ要素のデータ型に変換し、変換したデータを第２のメモリ領域に保存するようにセットアップされている。第１のデータ要素と第２のデータサブ要素が同じデータ型の場合において、変換は、省略され、第２の移行関数は、第１のメモリ領域の第１のデータサブ要素のデータ型のデータを読み出し、第２のメモリ領域に保存する。第１及び第２のデータサブ要素のデータ型が同じである場合、第１のデータサブ要素の値は、ブロック単位で第２のメモリ領域内の第２のデータサブ要素の位置にコピーされてもよい。これは、移行処理を高速化し得る。
第１の移行関数と同様に、第２の移行関数も、第１のデータサブ要素から第２のデータサブ要素へのマッピングに限定されない。むしろ、第２の移行関数は、第３のデータ型の任意のデータ要素を第４のデータ型の任意のデータ要素にマップするようにセットアップされている。これは、同一のデータ型の各々を有する、複数の第１のデータサブ要素がそれらの間でも同一のデータ型を有する複数の第２のデータサブ要素にマッピングされるとき、第２の移行関数のみを生成すればよいという利点を有する。複数の第１のデータサブ要素の複数の第２のデータサブ要素へのマッピングは、第１のデータサブ要素及び第２のデータサブ要素に第２の移行関数を繰り返しアクセスし、適用することによって達成することができる。
これは、少数の第１及び第２の移行関数を生成すればよく、その関数によって複数の第１及び第２のデータ要素又は第１及び第２のデータサブ要素が互いにマッピングされ得ることによって、結果としてグローバル状態の移行を加速し得る。特に、移行コードの節約は、例えば、第１及び第２のデータサブ要素の２つのペアのケースにおいて、第２のデータ要素は、同一のデータ型を有し、第２のデータ要素は各々、同一のデータ型を有する場合、節約され得る。この場合において、第２の移行関数のみが、２つのペアのデータ移行のために生成する必要とする。また、移行関数を保持するためのプログラムメモリが節約される場合がある。結果として、生成、変換、ロード時間が短縮され得る。更に、キャッシュ効果により、典型的なプロセッサ上のより小さなコードサイズは、移行時間に有利な効果を有し得る。
一実施形態によれば、第１の生成ステップは、第３の識別ステップにおいて、第１のデータサブ要素と第２のデータサブ要素との間の割当てを可能にする第１のデータサブ要素と第２のデータサブ要素との間の第１の関係を識別するステップ、を更に含む。
これは、正確かつ高速な移行という技術的利点を提供する。識別された関係は、第１のデータサブ要素を第２のデータサブ要素にマッピングするために使用されることがあり、その関係は、どの第１のデータサブ要素がどの第２のデータサブ要素にマッピングされるかを述べる。その上、データサブ要素とメモリ領域内のデータサブ要素の位置情報との間の関係を使用し、第２のデータサブ要素が第２のメモリ領域内のどの相対位置に位置するかを決定することができる。
第３の識別ステップにおいて、第１のデータサブ要素と第２のデータサブ要素との間の第１の関係は、更に決定される。第１の関係は、第１のデータサブ要素と第２のデータサブ要素との間の十分に正確な割り当てを可能にし、少なくとも、第１のデータサブ要素と第２のデータサブ要素とが同じ名前である場合に、存在する。
第１のデータサブ要素と第２のデータサブ要素との間の識別された関係は、それぞれの要素間のマッピングを可能にし、これは、グローバル状態のデータ移行のために、どの第１のデータサブ要素がどの第２のデータサブ要素にマッピングされる必要があるかを決定するために使用されてもよい。データ移行の間、第１のデータ要素におけるグローバル状態の情報内容が第２のデータ要素へのマッピングにおいて変更されずに保持されることを保証するために、第１のデータ要素は、第１のデータ要素と第２のデータ要素との間に関係が存在する第２のデータ要素に排他的にマッピングされる。第１のデータ要素と第２のデータ要素との間の識別された関係は、第１の制御プログラム及び第２の制御プログラムに従って、それぞれの関連する第１のデータ要素及び第２のデータ要素が同一の関数及び意味を有することを保証する。関係を介して互いに関連付けられているデータサブ要素のみが互いにマッピングされる。このようにして、十分に正確なデータ移動を達成することができる。
数学的な意味において、それぞれが複合型である１つのペアのデータ要素のために、一方のデータ要素の構成要素を他方のデータ要素の構成要素に関係づける２桁の関係が提供され得る。
両方のデータ要素は、他のデータ要素の構成要素に関連しない構成要素が含んでよい。１つのデータ要素の１つの構成要素は、各場合において他のデータ要素の１つの構成要素との関係のみを有することができる。従って、形式的に、関係は、１つのデータ要素の構成要素をそれぞれの他のデータ要素の構成要素に割り当てる部分関数であってもよい。
一実施形態によれば、移行ステップは、第１の移行関数によって第２の移行関数にアクセスするステップ、第２の移行関数を実行し、第１の部分移行ステップにおいて第２のデータサブ要素の値を第２のデータサブ要素の位置にマッピングすることを含み、第１の部分移行ステップは、第２の読み出しステップにおいて、第２の移行関数によって第１のメモリ領域における第１のデータサブ要素の位置にある第１のデータサブ要素の値を読み出し、第２の変換ステップにおいて、第２の移行関数を用いて第１のデータサブ要素の値を第４のデータ型に変換し、第２の書き込みステップにおいて、前記第２の移行関数を使用して、第４のデータ型に変換した第１のデータサブ要素の値を第２のメモリ領域における第２のデータサブ要素の位置に書き込むこと、を含む。
これは、第１のデータ要素の第１のデータサブ要素を第２のデータ要素の対応する第２のデータサブ要素に十分に正確にマッピングすることによって、グローバル状態の十分に正確な移行を達成するという技術的利点を提供する。
この目的のために、部分移行ステップにおいて、第１の移行関数は、第１のデータサブ要素の値を第２のデータサブ要素にマッピングするために第２の移行関数にアクセスする。第１の移行関数がアクセスされ、第１のデータ要素を第２のデータ要素にマップされ、第１のデータ要素が少なくとも１つの第１のデータサブ要素を含み、第２のデータ要素が第１のデータサブ要素に関連する少なくとも１つの第２のデータサブ要素を含むことが識別された後、第２の移行関数は、アクセスされ、実行され、第１の移行関数を使用して第１のデータサブ要素を第２のデータサブ要素にマップする。
この目的のために、第１のデータサブ要素のメモリアドレスと第２のデータサブ要素のメモリアドレスは、最初に決定されてよい。これは、第１の移行関数を使用して実行することができる。第２の移行関数がアクセスされるとき、第１のデータサブ要素のメモリアドレスと第２のデータサブ要素のメモリアドレスは、第１の移行関数から第２の移行関数に渡され得る。
第１のデータサブ要素を第２のデータサブ要素にマッピングするために、第２の移行関数は、第１のメモリ領域から第１のデータサブ要素の値を読み取り、必要に応じて、その値を第２のデータサブ要素のデータ型に変換し、読み取り、場合によっては変換された値を第２のメモリ領域内の第２のデータサブ要素の位置に書き込む。第１のデータサブ要素と第２のデータサブ要素がそれぞれ同一のデータ型を有する場合、読み取り値の変換は、省略され、第２の移行関数は、第１のデータサブ要素の読み取り値を第２のメモリ領域内の第２のデータサブ要素の位置に直接、書き込む。
第１のデータ要素が複数の第１のデータサブ要素を含み、第２のデータ要素が複数の第２のデータサブ要素を含み、第１のデータサブ要素がそれぞれ同一の第３のデータ型であり、第２のデータサブ要素がそれぞれ同一の第４のデータ型であり、間に関係がある第１のデータサブ要素と第２のデータサブ要素の複数のペアが存在する場合、第１の移行関数は、第２の移行関数に複数回、アクセスして、第１のデータサブ要素と第２のデータサブ要素のペアのそれぞれを相互にマッピングする。
第１のデータ要素が異なるデータ型の複数の第１のデータサブ要素を含み、第２のデータ要素が異なるデータ型の複数の第２のデータサブ要素を含む場合、間に関係が存在する第１のデータサブ要素及び第２のデータサブ要素のペアごとに、第２の移行関数が、生成される。グローバル状態を移行し、第１のデータサブ要素をそれらに関連する第２のデータサブ要素にマッピングするために、第１の移行関数は、関連する第２の移行関数に次々にアクセスし、実行し、それぞれの場合において、ペアになっている第１のデータサブ要素をそれらに関連する第２のデータサブ要素にマッピングするようにする。
第１の移行関数を介して第２の移行関数に連続的にアクセスして実行することにより、グローバル状態のデータ移行手順は、再び加速されることがある。特に、移行コードの節約は、例えば第１及び第２のデータサブ要素の２つのペアのケースにおいて、２つの第１のデータ要素が同一のデータ型を有し、２つの第２のデータ要素が各々、同一のデータ型を有する場合、達成され得る。この場合において、第２の移行関数は、２つのペア間でデータを移行するために必要とされ、２回、実行される。その上、移行関数を保持するためのプログラムメモリが節約され得る。その結果として、生成、変換、及びロード時間が短縮され得る。更に、キャッシュ効果により、典型的なプロセッサ上のより小さなコードサイズは、移行時間に有利な効果を有し得る。
第１の部分移行ステップにおいて第１の移行関数を使用して第２の移行関数にアクセスすることによって、グローバル状態のデータ移行の複雑さは、結果として低減され得る。
一実施形態によれば、第１の部分移行ステップは、第１のデータサブ要素の第１のデータ型と第２のデータサブ要素の第２のデータ型がそれぞれ複合型である場合、及び第１のデータサブ要素の第３のデータ型と第２のデータサブ要素の第４のデータ型が同じスカラ型である場合、第２の読み出しステップにおいて、第２の移行関数を用いて第１のメモリ領域の第１のデータサブ要素の位置にある第１のデータサブ要素の値を読み出し、第２の書き込みステップにおいて、第２の移行関数を用いて、第２のメモリ領域の第２のデータサブ要素の位置に読み出し値を書き込むことを含む。
これは、グローバル状態のデータ移行の加速が達成され得るという技術的利点を達成する。第１及び第２のデータ要素が、それぞれ複合型であり、少なくとも１つの第１のデータサブ要素及び第２のデータサブ要素を含む場合、及び第１及び第２のデータサブ要素が同一のスカラ型である場合、第１のデータサブ要素を第２のデータサブ要素にマッピングすることは、第２の移行関数を用いて第１のメモリ領域内の第１のデータサブ要素の型を読み出し、第２の移行関数を用いて第２のメモリ領域内の第２のデータサブ要素の位置に読み出し型を書き込むことに限定される。
これは、同一のデータ型、特に同一のスカラ型のために、第１及び第２のデータサブ要素のマッピングが第１のメモリ領域に保存された第１のデータサブ要素の値をブロック単位で第２のメモリ領域のそれぞれの対応する位置にコピーすることによって達成されるという技術的利点を達成することができる。これにより、グローバル状態の移行プロセスの実質的な加速は、達成され得る。第１のメモリ領域内の第１のデータサブ要素の値を第２のメモリ領域内の対応する位置にブロック単位でコピーするために、第２の移行関数、又は複数の第２の移行関数は、第１のデータサブ要素の値を第１のメモリ領域に読み出し、読み出した値を第２のメモリ領域内の対応する位置に直接書き込む。追加の変換ステップは、必要でない。
一実施形態によれば、第１の生成ステップは、第１のデータサブ要素の第３のデータ型及び第２のデータサブ要素の第３のデータ型が複合型であり、第１のデータサブ要素が第５のデータ型の第１の構成要素を少なくとも含み、第２のデータサブ要素が第６のデータ型の第２の構成要素を少なくとも含む場合、第４の識別ステップにおいて、第１の構成要素のデータ型を第５のデータ型として、第２の構成要素のデータ型を第６のデータ型として識別するステップと、第３の生成ステップにおいて、識別された第５のデータ型及び第６のデータ型に基づいて、第１の構成要素を第２の構成要素にマップするための第３の移行関数を生成するステップと、を更に含み、第３の移行関数は、第１のメモリ領域において第５のデータ型のデータを読み出し、読み出したデータを第６のデータ型に変換し、第６のデータ型に変換されたデータを第２のメモリ領域に保存するように構成される。
これは、複雑なグローバル状態のフレキシブルで信頼性のあるデータ移行を可能にするという技術的利点を達成する。第１のデータ要素及び第２のデータ要素がそれぞれ複合型であり、第１のデータ要素が少なくとも第１のデータサブ要素を含み、第２のデータ要素が少なくとも第２のデータ要素を含む場合、及び第１のデータサブ要素及び第２のデータサブ要素もそれぞれ複合型であり、第１のデータサブ要素が少なくとも第１の構成要素を含み、第２のデータサブ要素が少なくとも第２の構成要素を含む場合、第１の構成要素のデータ型及び第２の構成要素のデータ型は、第４の識別ステップにおいて識別される。
第１の構成要素及び第２の構成要素の識別されたデータ型を根拠として、第３の生成ステップにおいて、第１の構成要素を第２の構成要素にマッピングするための第３の移行関数は、生成される。第３の移行関数は、第１のメモリ領域内の第１の構成要素の第５のデータ型から任意のデータを読み出し、読み出したデータを第２の構成要素の第６のデータ型に変換し、変換したデータを第２のメモリ領域に保存するようにセットアップされている。
第１の移行関数及び第２の移行関数と同様にして、第３の移行関数は、第１の構成要素から第２の構成要素へのマッピングに限定されない。むしろ、第３の移行関数は、第１の構成要素の第５のデータ型の任意のデータを第２の構成要素の第６のデータ型の任意のデータに一般的にマッピングするためにもセットアップされる。これは、第１のデータサブ要素が複数の第１の構成要素を含み、第２のデータサブ要素が複数の第２の構成要素を含むケース、及び第１の構成要素の各々が同じデータ型を有し、第２の構成要素の各々が同一のデータ型を有するケースにおいて、第１の構成要素の第５のデータ型のデータを第２の構成要素の第６のデータ型のデータにマッピングするように具現化される、複数の第１の構成要素を複数の第２の構成要素にマッピングするために第３の移行関数のみを生成する必要があるという利点を結果として達成する。これは、グローバル状態の移行プロセスが単純化され、従って、より短い時間で実行され得るという利点を結果として有する。
特に、プログラムメモリは、移行関数に対応するために節約されてもよい。その結果として、生成、変換、及びロード時間が短縮され得る。更に、キャッシュ効果により、典型的なプロセッサ上のより小さなコードサイズは、移行時間に有利な効果を有し得る。
第１の構成要素及び第２の構成要素の識別されたデータ型を根拠として、第３の移行関数を生成することによって、第３の移行関数は、第１の構成要素のデータ型のデータを第２の構成要素のデータ型のデータにマッピングするようにセットアップされることが保証される。
第１と第２の構成要素は、以下のデータ要素又はデータオブジェクト内にあり、複雑なデータ構造を有し得る。
一実施形態に従って、第１の生成ステップは、第５の識別ステップにおいて、第１の構成要素と第２の構成要素との間の十分に正確なマッピングを提供する第１の構成要素と第２の構成要素との間の第２の関係を識別するステップを含む。
これは、正確な移行が可能であるという技術的利点を有する。識別された関係は、関係がどの第１の構成要素がどの第２の構成要素にマッピングされるべきかを示すという点で、第１の構成要素を第２の構成要素にマッピングするために使用されてもよい。更に、メモリ領域内の構成要素と構成要素の位置情報との関係は、第２の構成要素が第２のメモリ領域内のどの相対位置に位置するかを決定するために使用され得る。
第１の構成要素と第２の構成要素との間の関係を識別することによって、第１の構成要素の値が、第１の構成要素に関連する第２のデータサブ要素の第２の構成要素に排他的にマッピングされることを保証することができる。第１の構成要素と第２の構成要素との間の関係は、ここでは両方の構成要素が各ケースにおいて同一に命名される場合に与えられる。第１のデータサブ要素の第１の構成要素と第２のデータサブ要素の第２の構成要素との間に存在する関係は、第１の制御プログラム内の第１のデータサブ要素の第１の構成要素が第１の構成要素に関連する第２の制御プログラム内の第２のデータサブ要素の第２の構成要素と同じ意味及び関数又は役割を有することを意味する。
第１のデータサブ要素が複数の第１の構成要素を含み、第２のデータサブ要素が複数の第２の構成要素を含む場合、第１の構成要素と第２の構成要素との間の関係を識別するステップを使用し、第３の移行関数を適用することによって、第１の構成要素の内のどれが第２の構成要素の内のどれにマッピングされるべきかを決定することができる。代替的に、第１の構成要素及び第２の構成要素は、単一の関係を介して互いに関連付けられてもよい。第２の構成要素の内の１つとの関係が識別され得ない第１の構成要素は、第３の移行関数によって第２のデータサブ要素の第２の構成要素にマッピングされない。同じことは、第１の構成要素の内の１つとの関係が識別できない第２の構成要素にも適用する。第１のデータサブ要素の第１の構成要素の値は、これらの第２の構成要素にマッピングされない。第１及び第２のデータサブ要素のケースと同様に、関係が識別可能な第１の構成要素及び第２の構成要素のみは、互いにマッピングされる。このケースにおいて、第１の構成要素の情報は、廃棄されてもよい。一方で、第２の構成要素は、初期値にセットされてもよい。
代替的に、第１のデータサブ要素の第１の構成要素と第２のデータサブ要素の第２の構成要素との間の関係は、対応する第１のデータサブ要素と対応する第２のデータサブ要素との間の第１の関係によって含まれてもよく、その結果、第１のデータサブ要素と第２のデータサブ要素との間の第１の関係は、第１のデータサブ要素の第１の構成要素を第２のデータサブ要素の第２の構成要素にも関連付ける。
代替的に、第１のデータサブ要素の複数の第１の構成要素は、第２の関係を介して第２のデータサブ要素の複数の第２の構成要素に関連付けられてもよい。
一実施形態によれば、移行ステップは、第２の部分移行ステップにおいて、第２の移行関数を用いて第３の移行関数にアクセスし、第３の移行関数を実行するステップを含み、第２の部分移行ステップは、第３の読み出しステップにおいて、第３の移行関数を使用して第１のメモリ領域内の第１の構成要素の位置にある第１の構成要素の値を読み出し、第３の変換ステップにおいて、第３の移行関数によって第１の構成要素の値を第６のデータ型に変換し、第３の書き込みステップにおいて、第３の移行関数を用いて第６のデータ型に変換した第１の構成要素の値を第２のメモリ領域内の第２の構成要素の位置に書き込むことを含む。
これは、グローバル状態のデータ移行のフレキシブル且つ正確な移行プロセスを提供することができるという技術的利点を達成する。第３の移行関数を生成した後、及び第１のデータサブ要素の第３のデータサブ要素及び第２のデータサブ要素の第４のデータ型を識別し、第１の構成要素及び第２の構成要素を識別した後、第２の部分移行ステップにおいて、第１のデータサブ要素の第１の構成要素を、第１の構成要素に関係する第２のデータサブ要素の第２の構成要素にマップするために、第２の移行関数によって、第３の移行関数がアクセスされ、実行される。
この目的のために、第１の構成要素のメモリアドレスと第２の構成要素のメモリアドレスは、最初に決定され得る。これは、第２の移行関数によって行うことができる。第３の移行関数がアクセスされるとき、第１の構成要素のメモリアドレスと第２の構成要素のメモリアドレスは、第２の移行関数から第３の移行関数に渡され得る。
マッピングのために、第３の移行関数は、第１のメモリ領域の第１の構成要素の値を読み出し、必要に応じて第２の構成要素の第６のデータ型に値を変換し、変換された値を第２のメモリ領域内の第２の構成要素の位置に保存する。第１の構成要素と第２の構成要素が同じデータ型である場合、読み出した値を第２の構成要素のデータ型に変換する必要はなく、第１の構成要素の読み出した値は、第２のメモリ領域の対応する位置に直接保存される。第１及び第２の構成要素のデータ型が同一である場合、第１の構成要素の値は、ブロック単位で第２のメモリ領域内の第２の構成要素の位置にコピーされてよい。これにより、移行処理を高速化することができる。
第１のデータサブ要素が複数の第１の構成要素を含み、第２のデータサブ要素が複数の第２の構成要素を含むケース、及び第１の構成要素を第２の構成要素へ十分に正確にマッピングすることを可能にする複数の第１の構成要素と複数の第２の構成要素との間に関係が存在するケース、及び少なくとも関連する第１の構成要素及び第２の構成要素のいくつかが異なるデータ型を有するケースにおいて、複数の第１の構成要素を複数の第２の構成要素にマッピングするために複数の第３の移行関数は、アクセスされ、実行され、複数の移行関数の各々は、第１の構成要素の内の少なくとも１つの第１の構成要素の第５のデータ型のデータを、第２の構成要素の内の少なくとも１つの第２の構成要素の第６のデータ型のデータにマッピングするように構成される。
複数の第３の移行関数は、第２の移行関数によってそれぞれ次々にアクセスされて実行されるため、各々のケースにおいて、第１の構成要素は、連続して第１の構成要素に関連する第２の構成要素にマッピングされる。このようにして、必要な移行関数を最小限に抑えることにより、第１の制御プログラムのグローバル状態の移行処理は、複雑性を低減され、且つ、時間が短縮される。
一実施形態によれば、第１の生成ステップは、第３のデータ型及び第４のデータ型がフィールド型である場合、第１のデータサブ要素及び第２のデータサブ要素が同一数の次元を含み、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］による少なくとも１つの次元の第１のデータサブ要素が第７のデータ型のインデックスされた第１の要素を含み、第２のデータサブ要素が第２のインデックス範囲［Ｘ０，．．．，ＸＮ］による少なくとも１つの次元の第８のデータ型のインデックスされた第２の要素を含む場合、並びに第１のインデックス範囲［Ｕ０，．．．，ＵＭ］及び第２のインデックス範囲［Ｘ０，．．．，ＸＮ］が等しい場合、第１のインデックス範囲［Ｕ０，．．．、ＵＭ］によるインデックスされた各第１の要素のデータ型を第７のデータ型として識別し、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］によるインデックスされた各第２の要素のデータ型を第８のデータ型として識別するステップを更に含み、第６の識別ステップにおいて、第４の生成ステップにおいて、第１の要素を第２の要素にマッピングするための第４の移行関数を、識別された第７のデータ型及び第８のデータ型に基づいて生成し、第４の移行関数は、第１のメモリ領域内の第７のデータ型のデータを読み出し、読み出したデータを第８のデータ型に変換し、変換されたデータを第２のメモリ領域に保存するように構成される。
これは、プログラム状態のデータ移行で制御プログラムを更新するためのフレキシブル且つ正確な方法を提供するという技術的利点を達成する。第１のデータサブ要素及び第２のデータサブ要素がそれぞれフィールド型であるケースにおいて、フィールド型は、同じ数の次元をそれぞれ含み、第１のデータサブ要素が、第１のインデックス範囲に従った少なくとも１つの次元において、同一の第７のデータ型を有するインデックスされた第１の要素を有するケース、第２のデータサブ要素が、第２のインデックス範囲に従った少なくとも１つの次元において、同一の第８のデータ型のインデックスされた第２の要素を有するケースにおいて、第６の識別ステップにおいて、第１のインデックス範囲の第１の要素の第７のデータ型及び第２のインデックス範囲の第２の要素の第８のデータ型は、識別される。更に、第３の識別ステップにおいて、第１の要素と第２の要素との間の関係が識別され、第１の要素及び第２の要素は、それぞれ同一にインデックスされる場合、第１の要素は、第２の要素に関連付けられる。
第１の要素の第７のデータ型、第２の要素の第８のデータ型、並びに第１及び第２の要素間の関係を識別した後、第４の生成ステップは、識別されたデータ型及び識別された関係に基づいて、第１の要素を第２の要素にマッピングするための第４の移行関数を生成する。
第１の移行関数、第２の移行関数、及び第３の移行関数と同様にして、第４の移行関数は、第１の要素を第２の要素にマッピングすることに限定されない。むしろ、第４の移行関数は、第７のデータ型の任意のデータを第８のデータ型の任意のデータにマップするように配置されている。この目的のために、第４の移行関数は、第１のメモリ領域内の第７のデータ型のデータを読み出し、必要に応じて読み出したデータを第８のデータ型に変換し、読み出したデータと可能な限り変換したデータを第２のメモリ領域に保存するように構成されている。
従って、第１のデータサブ要素を第２のデータサブ要素にマッピングするために、第４の移行関数のみが生成され、これは、第７のデータ型のデータを第８のデータ型のデータにマッピングするために具体化される。複数の第１の要素を複数の第２の要素にマッピングするために、対応する第４の移行関数は、連続して複数回アクセスされ、関連する第１及び第２の要素のペア上で実行される。従って、それぞれが第１のデータサブ要素の第１の要素を第２のデータサブ要素の第２の要素にマッピングすることに限定される複数の第４の移行関数は、回避され得る。これにより、第１の制御プログラムのグローバル状態の移行処理は、簡略化され、時間的に高速化され得る。
代替的に、第１のデータサブ要素は、複数の第１のインデックス範囲に従って複数の次元でインデックスされた第１の要素を有する。同様に、第２のデータサブ要素は、複数の第２のインデックス範囲に従って複数の次元においてインデックスされた第２の要素を有する。第１のインデックス範囲は、同じであってよく、等しい数の第１の要素を有し得る。同様に、第２のインデックス範囲は、同じであってよく、等しい数の第２の要素を有し得る。代替的に、第１のインデックス範囲は、異なってよく、異なる数の第１の要素を有し得る。同様に、第２のインデックス範囲は、異なってよく、異なる数の第２の要素を有し得る。
一実施形態によれば、第１の生成ステップは、第７の識別ステップにおいて、第１の要素と第２の要素との間の十分に正確なマッピングを提供する第１の要素と第２の要素との間の第３の関係を識別するステップを含む。
これは、正確な移行が可能であるという技術的利点を有する。識別された関係は、第１の要素を第２の要素にマッピングするために使用されることがあり、その関係は、どの第１の要素がどの第２の要素にマッピングされるかを述べる。更に、第２のメモリ領域内のどの相対的位置に第２の要素が配置されているかを決定するために、メモリ領域内の要素と要素の位置情報との関係は、使用され得る。
代替的に、第１のデータサブ要素の第１の要素と第２のデータサブ要素の第２の要素との間の第３の関係は、対応する第１のデータサブ要素と対応する第２のデータサブ要素との間の第１の関係によって構成されてよく、その結果、第１のデータサブ要素と第２のデータサブ要素との間の第１の関係によって、第１のデータサブ要素の第１の要素も第２のデータサブ要素の第２の要素に関連付けられる。代替的に、第１のデータサブ要素と第２のデータサブ要素との間の第１の関係は、複数の第１の要素を複数の第２の要素に関連付けることができる。
代替的に、第１のデータサブ要素の複数の第１の構成要素は、第３の関係を介して第２のデータサブ要素の複数の第２の構成要素に関連付けられてもよい。代替的に、第１の要素及び第２の要素のペアは、複数の第３の関係によって関連付けられてもよい。
一実施形態によれば、第１の生成ステップは、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］及び第２のインデックス範囲［Ｘ０，．．．，ＸＮ］が等しくない場合、インデックス決定ステップにおいて、Ｒ＝ｍａｘ（Ｘ０，Ｕ０）及びＳ＝ｍｉｎ（ＸＮ、ＵＭ）を有する第１のデータサブ要素及び第２のデータサブ要素のインデックス範囲における間隔［Ｒ、Ｓ］を決定し、Ｒは、２つの下限Ｘ０，Ｕ０のより大きい方であり、Ｓは、２つの上限ＸＮ、ＵＭのうちの小さい方であり、第６の識別ステップにおいて、間隔［Ｒ、Ｓ］に従ってインデックスされた各第１の要素のデータ型を第７のデータ型として識別し、間隔［Ｒ、Ｓ］に従ってインデックスされた各第２の要素のデータ型を第８のデータ型として識別し、第４の生成ステップにおいて、識別された第７のデータ型及び第８のデータ型に基づいて、第１の要素を第２の要素にマッピングするための第４の移行関数を生成するステップを更に含み、第４の移行関数は、第１のメモリ領域内の第７のデータ型のデータを読み出し、読み出したデータを第８のデータ型に変換し、第８のデータ型に変換されたデータを第２のメモリ領域に保存するように設定される。
これは、第１の制御プログラムのグローバル状態のフレキシブル且つ正確な移行プロセスを提供することができるという技術的利点を達成する。第１のデータサブ要素の第１のインデックス範囲と第２のデータサブ要素の第２のインデックス範囲とが同一でない場合、すなわち、第１のインデックス範囲と第２のインデックス範囲とのインデックス化が完全に一致せず、少なくとも１つの値が異なる場合、両方のインデックス範囲の交差範囲は、第６の識別ステップにおいて決定される。決定された交差領域に関して、第１のインデックス範囲及び第２のインデックス範囲におけるインデックス化は、同一である。
第４の移行関数は、第１の要素を第２の要素にマッピングするために、交差領域の第１及び第２の要素に対して生成される。交差領域の第１の要素のみが、交差領域の第２の要素にマッピングされる。交差領域の外側にインデックスを有する第１及び第２の要素は、データ移行の影響を受けないままである。
一実施形態によれば、第１の部分移行ステップは、第２の移行関数を使用して第４の移行関数にアクセスし、第３の部分移行ステップにおいて、第４の移行関数を実行して、第１の要素を第２の要素にマッピングする。第３の移行ステップは、第４の読み出しステップにおいて第４の移行関数を使用して、第１のメモリ領域内の第１の要素の位置にある第１の要素の値を読み出し、第４の変換ステップにおいて、第４の移行関数を使用して第１の要素の値を第８のデータ型に変換し、第４の書き込みステップにおいて、第４の移行関数を使用して、第８のデータ型に変換した第１の要素の値を第２のメモリ領域内の第２の要素の位置に書き込むステップを含む。
これは、第１の制御プログラムのグローバル状態のフレキシブル且つ正確な移行が提供され得るという技術的利点を達成する。第４の生成ステップにおいて、第４の移行関数が生成された、１つのフィールド型のそれぞれが等しい次元数を有する第１のデータサブ要素及び第２のデータサブ要素について、第３の部分移行ステップにおいて、第４の移行関数は、第２の移行関数によってアクセスされ、実行される。
この目的のために、第１の要素のメモリアドレスと第２の要素のメモリアドレスは、最初に決定されてよい。これは、第２の移行関数を使用して行うことができる。第４の移行関数がアクセスされるとき、第１の要素のメモリアドレスと第２の要素のメモリアドレスは、第２の移行関数から第４の移行関数に渡され得る。
この目的のために、第３の部分移行ステップは、第４の移行関数を使用して、第１のメモリ領域内の第１の要素の位置にある第１の要素の値を読み出し、読み出した値を第２のデータサブ要素の第２の要素のデータ型に変換し、読み出した値及び可能な限り変換した値を第２のメモリ領域内の第２の要素の位置に書き込むことを含む。第１の要素のデータ型と第２の要素のデータ型が同一である場合、第４の移行関数による変換は、必要ない。第１及び第２の要素のデータ型が同一である場合、第１の要素の値は、ブロック単位で第２のメモリ領域の第２の要素の位置にコピーされ得る。これは、移行処理を高速化することができる。特に、第１及び第２のデータサブ要素のフィールド型が同じである場合、第１のデータサブ要素は、ブロック単位でコピーされ得る。同一の第７及び第８のデータ型を有する第１及び第２の要素のために、各要素は、ブロックごとにコピーされ得る。場合によって、いくつかの隣接する要素は、（インデックス関係に応じて）１つのブロックにコピーされ得る。
第４の移行関数は、同時に第１の要素の１つの値のみを第２の要素にマッピングする。複数の第１の要素及び第２の要素のケースにおいて、第４の移行関数は、第１の要素及び第２の要素を連続して横断し、それぞれのケースにおいて第１の要素を第２の要素に連続してマッピングする。この目的のために、移行関数は、マッピングされる第１の要素ごとに、第２の移行関数によって順番にアクセスされ、実行されてよい。
複数の第１の要素を複数の第２の要素にマッピングするために、各ケースにおいて、この目的のために１つの移行関数のみが必要であり、これは、第７のデータ型のデータを第８のデータ型のデータにマッピングするために具体化され、データは、値、データ、及びデータ要素を含むことができる。第１の移行関数、第２の移行関数、及び第３の移行関数と同様に、第４の移行関数は、第１のデータサブ要素の第１の要素を第２のデータサブ要素の第２の要素にマッピングすることに限定されない。また、第４の移行関数は、第７のデータ型の任意のデータを第８のデータ型のデータにマップするようにセットアップされている。これは、移行プロセスの複雑さが低減され、従って、時間に関して移行プロセスを高速化する。
一実施形態によれば、第１のデータサブ要素の値が第２のデータサブ要素に十分に正確にマッピングできない場合、及び／又は第１の構成要素の値が第２の構成要素に十分に正確にマッピングできない場合、及び／又は第１の要素の値が第２の要素に十分に正確にマッピングできない場合、第１のデータ要素の値は、第２のデータ要素に十分に正確にマッピングでき、第１の検証ステップは、第１のデータサブ要素の値が第２のデータサブ要素に十分に正確にマッピングされ得るかどうかを検証するステップと、第１の構成要素の値が第２の構成要素に十分に正確にマッピングできるかどうかを検証するステップと、第１の要素の値が第２の要素に十分に正確にマッピングできるかどうかを検証するステップとを更に含む。
これは、移行がエラーなしに実行され得ない場合、移行プロセスが中止され得るという技術的利点を達成する。これは、第１の制御プログラムのグローバル状態が十分な精度で、又はエラーなしに、第２のデータ要素にマッピングされ得ない場合、第１の制御プログラムのグローバル状態の移行、又は第１のデータ要素の第２のデータ要素へのマッピングが破棄され得、自動化システムの制御は、第２の制御ステップにおいて、第１のデータ要素及びそこに保存されたグローバル状態を考慮して、第１の制御プログラムへのサイクリックアクセスを用いて継続され得るという利点を達成する。
例えば第１のデータサブ要素のデータ型と第２のデータサブ要素のデータ型とが互換性がない、又は第１のデータサブ要素の値が第２のデータサブ要素のデータ型で完全に表現できないために、第１のデータサブ要素を第２のデータサブ要素に十分な精度でマッピングできない場合、第１のデータ要素は、第２のデータ要素に十分な精度でマッピングすることができず、従って第１の制御プログラムのグローバル状態を第２の制御プログラムのグローバル状態に十分な精度で統合することができない。このケースにおいて、移行は、中止され、自動化システムは、第１の制御プログラム及び対応するグローバル状態を根拠として、制御され続ける。
例えば、第１のデータサブ要素の第１の構成要素が十分な精度で第２のデータサブ要素の第２の構成要素にマッピング可能でない場合、又は第１のデータサブ要素の第１の要素が十分な精度で第２のデータサブ要素の第２の要素にマッピング可能でない場合、第１のデータサブ要素は、十分な精度で第２のデータサブ要素にマッピング可能でないことがある。どちらのケースにおいても、第１のデータ要素から第２のデータ要素への移行は、中止され得る。
次に、第１の構成要素及び第２の構成要素が互換性のないデータ型を有する場合、又は第１の構成要素の値が第２の構成要素のデータ型で完全に表現可能でない場合、第１の構成要素は、十分な精度で第２の構成要素にマッピング可能でないことがある。次に、第１のデータ要素のデータ型が第２のデータ要素のデータ型と互換性がない場合、第１のデータサブ要素の第１の要素は、第２のデータサブ要素の第２の要素に十分な精度でマッピングできないことがある。更に、第１の要素の値が第２の要素のデータ型で完全に表現できない場合、第１の要素は、第２の要素に十分に正確にマッピングできない。
一実施形態によれば、関係は、第１のデータサブ要素及び第２のデータサブ要素について、第１の構成要素及び第２の構成要素について、並びに第１のデータサブ要素及び第２のデータサブ要素が同じ名前であるときと、第１の構成要素及び第２の構成要素が同じ名前であるときと、第１の要素及び第２の要素が同じインデックスが付けられているときと、で識別可能である。
これは、関係が自動的に生成されるという技術的利点を達成する。同じ命名で、オブジェクトは、自動的に互いに関連付けられ、第１のデータサブ要素と第２のデータサブ要素との間、第１の構成要素と第２の構成要素との間、及び第１の要素と第２の要素との間の十分に正確な関連付けが識別され得る。これは、正確で信頼性の高い移行プロセスを保証する。
第１のデータサブ要素と第２のデータサブ要素が同じ名前である場合、第１のデータサブ要素と第２のデータサブ要素は、互いに関連している。第１の構成要素と第２の構成要素が同じ名前である場合、第１のデータサブ要素の第１の構成要素と第２のデータサブ要素の第２の構成要素は、互いに関連している。第１の構成要素と第２の構成要素が同じインデックスを付けられている場合、第１のデータサブ要素の第１の構成要素と第２のデータサブ要素の第２の構成要素は、互いに関連している。
代替的に、第１のデータサブ要素と第２のデータサブ要素は、そのような関係が第２の制御プログラム又は制御プログラムに関連するライブラリで命名されている場合、互いに関連していてもよい。例えば、同一の名前が付けられていない第１のデータサブ要素及び第２のデータサブ要素について、第１のデータサブ要素と第２のデータサブ要素とが互いに関連していることは、制御プログラム内で定義されてもよい。同じことは、第１の構成要素及び第２の構成要素、並びに第１の要素及び第２の要素にも当てはまり、第１の構成要素及び第２の構成要素に同じ名前が付けられていない場合、又は第１の要素及び第２の要素に同じインデックスが付けられていない場合、関係は、第２の制御プログラムにおいて、定義され得る。
その上、第１のデータサブ要素を第２のデータサブ要素に、又は第１の構成要素を第２の構成要素に名前変更するために、又は第１の要素のインデックス範囲を第２の要素にマッチングするために、リファクタリングツール又はインデックスマッチングツールが使用された場合、第１のデータサブ要素と第２のデータサブ要素との間、第１の構成要素と第２の構成要素との間、及び第１の要素と第２の要素との間に、関係は、存在し得る。このようなマッチングツールを使用することによって、対応する第１のデータサブ要素と第２のデータサブ要素との間、第１の構成要素と第２の構成要素との間、及び第１の要素と第２の要素との間の関係は、識別され得る。
移行プロセスにおいて、第１のデータサブ要素の値のみが、第１のデータサブ要素に関連する第２のデータサブ要素にマッピングされる、又は第１の構成要素の値は、第１の構成要素に関連する第２の構成要素に排他的にマッピングされ、第１の要素の値は、第１の要素に関連する第２の要素に排他的にマッピングされるため、追加的に識別可能な関係は、可能な限り包括的である第１のデータ要素の値が第２のデータ要素にマッピングされることを保証することができる。従って、可能な限り包括的な第１の制御プログラムのグローバル状態の値は、第２の制御プログラムのグローバル状態に転送され得ることが達成され得る。
一実施形態によれば、コントローラは、制御プログラムを変換又は解釈するための変換モジュールを更に含み、第１の生成ステップは、変換モジュールによって実行される。
これは、移行関数を生成するための便利な解決策を提供するという技術的利点を有する。変換モジュールは、例えば第２の制御プログラムの、生成されたソースコードをコントローラによって自動化システムを制御するために実行可能な実行可能コードに変換するために使用される。同時に、変換モジュールは、第１の移行関数、第２の移行関数、第３の移行関数、及び第４の移行関数をそれぞれ生成するための第１の生成ステップ、第２の生成ステップ、第３の生成ステップ、及び第４の生成ステップを実行するように具現化される。更に、変換モジュールは、第１のデータ要素の第１のデータ型と第２のデータ要素の第２のデータ型とを識別する第１の識別ステップと、第１のデータサブ要素の第３のデータ型と第２のデータサブ要素の第４のデータ型とを識別する第２の識別ステップと、第１のデータサブ要素と第２のデータサブ要素との第１の関係を識別する第３の識別ステップと、第１の構成要素の第５のデータ型と第２の構成要素の第６のデータ型とを識別する第４の識別ステップと、第１の構成要素と第２の構成要素との関係を識別する第５の識別ステップと、第１の要素の第７のデータ型と第２の要素の第８のデータ型とを識別する第６の識別ステップと、第１の要素と第２の要素との関係を識別する第７の識別ステップとを実行するように具体化される。
更に、変換モジュールは、第１の生成ステップにおいて第１の移行関数が生成され得るかどうかを検証するため、第２の生成ステップにおいて第２の移行関数が生成され得るかどうかを検証するため、第３の生成ステップにおいて第３の移行関数が生成され得るかどうかを検証するため、及び第４の生成ステップにおいて第４の移行関数が生成され得るかどうかを検証するための第２の検証ステップを実行するように具現化される。
全ての移行関数を生成するように設定され、データ要素及びデータサブ要素の全てのデータ型及び、データ要素とデータサブ要素の全ての関係、並びに、そのデータサブ要素の構成要素及び要素を識別するように構成されている変換モジュールによって、移行関数を生成する簡単な可能性は、提示される。更新された第２の制御プログラムの修正又は新しく作成されたソースコードのコンパイル処理の間、変換モジュールは、第１のデータ要素のオブジェクトおよび第１のデータサブ要素のそれぞれ並びに第２のデータ要素のオブジェクトおよび第２のデータサブ要素のそれぞれのデータ型及び関係を識別し、同時に、対応する第１から第４の移行関数を生成するように構成される。以下において、第１のデータ要素のオブジェクトは、第１のデータサブ要素によって与えられてもよく、第２のデータ要素のオブジェクトは、第２のデータサブ要素によって与えられてもよい。コンパイル処理の間にこれらのステップが全て実行される場合、コンパイル処理の完了後に、第１の制御プログラムのグローバル状態の移行は、実行され得る。これは、コンパイル処理の複雑さを更に低減する。シナジー効果は、変換、関係決定、型決定、及び移行関数の生成のための個々の労力の合計を低減し得る。
一実施形態によれば、本方法は、初期化ステップにおいて第２のデータ要素を初期化するステップを更に含み、初期化するステップは、第２のデータ要素を所定の値にセットすることを含み、第２のデータ要素を初期化するステップは、第２のデータサブ要素及び／又は第２の構成要素及び／又は第２の要素を初期化することを含む。
これは、自動化システムの制御が第２のデータ要素を考慮に入れて、第２の制御プログラムに基づいて実行され得るという技術的利点を達成する。第２のデータ要素の全ての値が初期値にセットされている第２のデータ要素を初期化することによって、第２の制御プログラムは、自動化システムの制御のために第２のデータ要素の値を直接考慮することができる。これは、初期状態から第２の制御プログラムを開始することに相当する。ここでの第２のデータ要素の初期化は、第２のデータ要素の全ての第２のデータサブ要素の初期化を含む。ここでの全ての第２のデータサブ要素の初期化は、全ての第２のデータサブ要素の全ての第２の構成要素又は第２の構成要素を初期化することを含む。
移行ステップにおいて、及び第１から第３の部分移行ステップにおいて、第１のデータサブ要素又は第１の構成要素の値、及び第１のデータサブ要素の第１の値は、各第１のデータサブ要素又は第１の構成要素、及び第１の要素との関係が存在する第２のデータサブ要素の、第２のデータサブ要素又は第２の構成要素又は第２の要素に排他的にマッピングされる。対応する第１のデータサブ要素、第１の構成要素、又は第１の要素との関係が識別され得ない第２のデータサブ要素、第２の構成要素、又は第２の要素は、データ移行において無視される。これらの第２のデータサブ要素、第２の構成要素又は第２の要素は、初期化において、所定の初期値にセットされる。これは、第２のデータ要素の全てのオブジェクトに、第１のデータ要素の対応するオブジェクトの値に対応する、又は初期値である有効な数値を割り当てることができる。このようにして、第２の制御プログラムは、第２のデータ要素を根拠として、実行されてよい。
これは、第２のデータ要素の全てのオブジェクトを１つのステップで初期値にセットすることにより、データ移行を簡素化する技術的な利点を提供する。
代替的に、初期化ステップにおいて、選択された第２のデータサブ要素及び／又は第２の構成要素及び／又は第２の要素のみが初期化されてよい。
代替的に、移行ステップの前に初期化ステップを行ってもよい。特に、初期化ステップは、第１の制御プログラムがまだ実行されている間に既に実行されていてもよい。これは、移行処理を短縮することができ、第１の制御プログラム及び第２の制御プログラムの実行が中断され、自動化システムが動作しない時間を短縮することができる。
このケースにおいて、第１のデータ要素から第２のデータ要素へのデータ移行を開始する前に、全ての第２のデータサブ要素、並びに全ての第２の構成要素及び／又は全ての第２の要素は、初期値にセットされ得る。本発明による方法に従ってデータ移行を実行することができる第２のデータサブ要素及び／又は第２の構成要素及び／又は第２の要素のケースにおいて、それぞれの初期値は、移行ステップにおいて、第１のデータ要素の対応する第１のデータサブ要素、第１の構成要素及び／又は第１の要素の値で、続いて上書きされる。
特に、初期化は、既に存在する初期化関数が通常の開始の場合に開始状態を構築するために使用され得るため、選択的初期化のためにそれ以上の計算又はメモリリソースが消費されないという利点を達成する。更に、第１の制御プログラムがまだ実行されている間、初期化関数が既に実行されていてもよいという利点が得られる。従って、初期化は、第１及び第２の制御プログラムの周期的な実行が中断される時間的に重要な期間内に、入らない。
一実施形態によれば、第１のデータ要素は、第３のデータ型の複数の第１のデータサブ要素を含み、第２のデータ要素は、第４のデータ型の複数の第２のデータサブ要素を含み、第１のデータサブ要素の各々のために、第３のデータ型は、複合型、フィールド型、スカラ型又はポインタ型であり、第２のデータサブ要素の各々のために、第４のデータ型は、複合型、フィールド型、スカラ型又はポインタ型である。
これは、制御プログラムをプログラム状態の同時データ移行で更新するためのフレキシブルで広く適用可能な方法を提供する技術的利点を提供する。第１のデータ要素及び第２のデータ要素は、複数の第１のデータサブ要素及び第２のデータサブ要素をそれぞれ含むことができる。第１のデータサブ要素の各々及び第２のデータサブ要素の各々は、複合型、フィールド型、スカラ型、又はポインタ型の各々であり得る。第１のデータサブ要素又は第２のデータサブ要素が複合型である場合、第１のデータサブ要素又は第２のデータサブ要素は、複数の第１の構成要素又は第２の構成要素をそれぞれ含むことができる。次に第１の構成要素又は第２の構成要素の各々は、複合型、フィールド型、スカラ型、又はポインタ型であってもよい。第１のデータサブ要素又は第２のデータサブ要素がフィールド型の場合、第１のデータサブ要素の第１の要素又は第２のデータサブ要素の第２の要素は、スカラ型又はポインタ型で、それぞれあってよい。これは、第１の制御プログラムのグローバル状態から第２の制御プログラムのグローバル状態への移行処理を、異なるデータ型を用いる様々な異なるデータ構造に対して実行することができる。従って、プログラム状態のデータ移行で制御プログラムを更新するための本発明による方法の高いフレキシビリティ及び適用性は、達成される。
本発明は、添付の図面に関連してより詳細に説明される。
一実施形態による、自動化システムの模式図である。 一実施形態による、自動化システムの制御プログラムの更新処理の模式図である。 一実施形態による、データ移行で自動化システムの制御プログラムを更新するための方法のフローチャートである。 更なる実施形態による、データ移行で自動化システムの制御プログラムを更新するための方法のフローチャートである。 更なる実施形態による、データ移行で自動化システムの制御プログラムを更新するための方法のフローチャートである。 一実施形態による、自動化システムの更新されたバージョンの制御プログラムの生成プロセスの模式図である。 一実施形態による、自動化システムの制御プログラムのデータ要素の移行プロセスの模式図である。 更なる実施形態による、自動化システムの制御プログラムのデータ要素の移行プロセスの模式図である。
図１は、一実施形態による、自動化システム１００の模式図を示す。
図１における自動化システム１００は、コントローラ１０１と、マスター加入者１０３と、４つのスレーブ加入者１０５とを含み、各々は、バスシステム１０７を介して互いに接続され、コントローラ１０１に接続されている。代替的に、コントローラ１０１自体が、マスター加入者を形成してもよい。コントローラ１０１のメモリＳＰにおいて、第１の制御プログラムＡは、第１のメモリ領域ＳＰＡに保存され、第２の制御プログラムＢは、第２のメモリ領域ＳＰＢに保存される。第１の制御プログラムＡは、マスター加入者１０３及びスレーブ加入者１０５にサイクリックにアドレス指定するために使用される。第２の制御プログラムＢは、更新されたバージョンの第１の制御プログラムＡであってよく、その上、自動化システム１００の加入者にサイクリックにアドレス指定するために使用される。更新されたバージョンは、例えば、それぞれ、第１の制御プログラムＡの更新、又は第１の制御プログラムＡの修正されたバージョンであってもよい。代替的に、更新されたバージョンは、完全に新たなプログラムされた制御プログラムであってよく、第１の制御プログラムの元のバージョンに対する更新されたバージョンの参照は、有利に提供される。従って、第２の制御プログラムＢは、第１の制御プログラムＡに基づいており、制御プログラムの様々な領域において第１の制御プログラムＡから逸脱することができる。
図１に示される自動化システム１００は、自動化システムの例としての例示としてのみ役立つ。本発明による方法は、図１に示す自動化システムに限定されることを意図しない。
図２は、一実施形態による自動化システム１００の制御プログラムＡの更新プロセスの模式図を示す。
図２は、図１の自動化システム１００のコントローラ１０１のメモリＳＰを示す。メモリＳＰは、第１のメモリ領域ＳＰＡと第２のメモリ領域ＳＰＢに分割されている。第１のメモリ領域ＳＰＡにおいて、第１の制御プログラムＡが保存され、第２のメモリ領域ＳＰＢにおいて、第２の制御プログラムＢが保存される。第１の制御プログラムＡは、実行可能コードＰＡと第１のデータ要素ＧＡとを含み、第２の制御プログラムＢは、第２の実行可能コードＰＢと第２のデータ要素ＧＢとを含む。
第１の制御プログラムＡの第１の実行可能コードＰＡは、制御プログラムＡを実行するためのものであり、コントローラ１０１によって実行されてもよい。第２の制御プログラムＢの第２の実行可能コードＰＢは、第２の制御プログラムＢを実行するためのものであり、コントローラ１０１によって実行されてもよい。第１のデータ要素ＧＡは、第１の制御プログラムＡのプログラム状態を記述する。第１の制御プログラムＡのプログラム状態は、第１の制御プログラムＡのグローバル状態に対応し、第１の制御プログラムＡを実行するために必要な情報を含む。第１の制御プログラムＡのグローバル状態は、第１の制御プログラムＡを実行するために必要な情報を含む。更に、第１の制御プログラムＡのグローバル状態は、自動化プログラム１００に関する全ての情報を含み、第１の制御プログラムＡによってサイクリックにアドレス指定される自動化システム１００が取る状態を記述する。
第１の読み出し／書き込みステップ２０４において、第１の実行可能コードＰＡは、第１のデータ要素ＧＡから情報を読み出す、又は第１のデータ要素ＧＡに情報を書き込むことができる。第２の制御プログラムＢの第２の実行可能コードＰＢは、制御プログラムＢを実行するためのものであり、自動化システム１００のコントローラ１０１によって実行されてもよい。第２のデータ要素ＧＢは、第２の制御プログラムＢのプログラム状態を記述し、第２の制御プログラムＢを実行するために必要な情報を含む。
データ移行の時点において、第２の制御プログラムＢは、実行されず、従って、第２のデータ要素ＧＢは、自動化システム１００の状態に関する情報を構成しない。データ移行の時点において、第２のデータ要素ＧＢは、第２の制御プログラムＢを実行すること及び自動化システム１００を制御することに必要な全てのオブジェクトを含む。しかしながら、個々のオブジェクトは、初期値でのみ開始される。データ要素ＧＢは、開始状態に対応する初期値を含む。従って、２つのデータ要素の全てのオブジェクトには、数値が提供され、従って初期化される。
第１のデータ要素ＧＡに保存された第１の制御プログラムＡのグローバル状態の第２のデータ要素ＧＢへの正常なデータ移行の後、第２のデータ要素は、第２の制御プログラムＢを実行するために必要な全ての情報を含む。更に、第１の制御プログラムＡのグローバル状態の正常なデータ移行の後、第２のデータ要素ＧＢは、データ移行が実行される前に、特に最後に実行された制御サイクルの直後の時点における、自動化システム１００の状態に関する情報を含む。第２の読出し／書き込みステップ２０６において、第２の制御プログラムＢの第２の実行可能コードＰＢは、第２のデータ要素ＧＢにデータを書き込む、又は第２のデータ要素ＧＢからデータを読み出すことができる。必要に応じて、データ移行が実行された後、第１のデータ要素ＧＡの情報は、第２のデータ要素ＧＢに完全にマッピングされないことがある。第１のデータ要素ＧＡの対応する第１のデータサブ要素の値を割り当てることができないオブジェクト又は第２のデータサブ要素は、その初期値を保持する。
制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新する本発明の方法による第１の制御プログラムＡのプログラム状態の同時データ移行により第１の制御プログラムＡを更新するために、第１の置換ステップ２０２において、第１の制御プログラムＡの第１の実行可能コードＰＡは、第２の制御プログラムＢの第２の実行可能コードＰＢに置き換えられる。第１の実行可能コードＰＡと第２の実行可能コードＰＢとの間の図２に示す矢印は、第１の実行可能コードＰＡと第２の実行可能コードＰＢとが置き換えられ、第２の実行可能コードＰＢが第１の実行可能コードＰＡに少なくとも部分的に基づいて、又はそれから派生され、両方のコードが同じ自動化システム１００を制御するために役立つという共通性を少なくとも有することを意味する。これは、第２の実行可能コードＰＢが第１の実行可能コードＰＡから完全に独立して生成されたことを除外するものではない。更に、第１の制御プログラムＡのプログラム状態を記述する第１のデータ要素ＧＡの値、特に第１の制御プログラムＡ及び自動化システム１００のグローバル状態は、移行ステップ２０７において、第２のデータ要素ＧＢにマッピングされる。
移行ステップ２０７において、第１のデータ要素ＧＡの値を第２のデータ要素ＧＢにマッピングすることにより、第１の制御プログラムＡのプログラム状態又は第１の制御プログラムＡのグローバル状態、及び第１のデータ要素ＧＡの値によって記述される自動化システム１００のグローバル状態は、第２のデータ要素ＧＢに保存される。移行ステップ２０７における正常なデータ移行の後、従って、第２のデータ要素ＧＢは、第１の制御プログラムＡのプログラム状態、すなわち第１の制御プログラムＡ及び自動化システム１００のグローバル状態を記述する。従って、第２のデータ要素ＧＢは、ＧＡの情報の少なくとも部分を含み、情報は、第２の実行可能コードＰＢを実行するために必要な形式で表現される。
第１の置換ステップ２０２における第２の実行可能コードＰＢによる第１の実行可能コードＰＡの正常な置換、及び移行ステップ２０７における第１の制御プログラムＡ又は自動化システム１００のグローバル状態の第２の制御プログラムＢの第２のデータ要素ＧＢへの正常なデータ移行の後、第２の制御プログラムＢは、自動化システム１００のコントローラ１０１によって実行可能であり、最後に実行された制御サイクルの後の時点で第１の制御プログラムＡ又は自動化システム１００のグローバル状態にアクセスすることができ、その結果、自動化システム１００は、最後に実行された制御サイクルの時点の状態において第２の制御プログラムＢによって制御されてもよい。従って、第１の制御プログラムＡのグローバル状態は、第１の制御プログラムＡの最後の実行後にグローバル状態として解釈されてもよく、一方で、データ移行によって生成され、第２のデータ要素ＧＢによって表現された状態は、第２の制御プログラムＢの第１の実行前に別のグローバル状態として解釈されてもよく、両方の状態は、第１の実行可能コードＰＡ及び第２の実行可能コードＰＢによる解釈とほぼ同義である。
図３は、一実施形態による、データ移行で自動化システム１００の制御プログラムＡを更新するための方法２００のフローチャートを示す。
図３に示す実施形態によれば、制御プログラムのプログラム状態のデータ移行で自動化システム１００の制御プログラムを更新するための方法２００は、図１及び図２による自動化システム１００に関する。ここで、自動化システム１００のコントローラ１０１は、第１の制御プログラムＡ及び第２の制御プログラムＢを含み、第１の制御プログラムＡは、自動化システムを制御するためにサイクリックに実行され、第２の制御プログラムＢは、第１の制御プログラムＡの更新であり、第１の制御プログラムＡは、第１の制御プログラムＡのプログラム状態を記述しコントローラ１０１の第１のメモリ領域ＳＰＡに保存される第１のデータ型の第１のデータ要素ＧＡを含み、第２の制御プログラムＢは、第２の制御プログラムＢのプログラム状態を記述し、第２のメモリ領域ＳＰＢに保存される第２のデータ型の第２のデータ要素ＧＢを含む。
図３に示す実施形態によれば、方法２００は、以下の、第１の生成ステップ２０１において、第１のデータ要素ＧＡを第２のデータ要素ＧＢにマッピングするための第１の移行関数ＭＩＧ１を生成するステップ、中断ステップ２０３において、第１の制御プログラムＡのサイクリックな実行を中断するステップ、第１の決定ステップ２０５において、第１のデータ要素ＧＡの値を決定するステップであって、第１のデータ要素ＧＡの決定された値は、中断時の制御プログラムＡのプログラム状態を記述する、ステップ、及び移行ステップ２０７において、第１の移行関数ＭＩＧ１を実行することによって、第１のデータ要素ＧＡの値を第２のデータ要素ＧＢにマッピングするステップ、方法ステップを含む。
自動化システム１００は、第１の制御プログラムＡをサイクリックに実行することによってコントローラ１０１を介してアクセスされる。第１のデータ要素ＧＡは、第１の制御プログラムＡを実行するために必要な第１の制御プログラムＡに関する情報を保存する。この情報は、自動化システム１００を制御するために第１の制御プログラムによってアクセスされなければならない変数、関数、又はライブラリ、又はその他の確立されたオブジェクトを含むことができる。
第１の制御プログラムＡをサイクリックに実行する間、第１の制御プログラムＡは、第１のデータ要素ＧＡにアクセスし、第１のデータ要素ＧＡからデータを読み出す、又は第１のデータ要素ＧＡにデータを書き込むことができる。従って、第１のデータ要素ＧＡ内の情報は、第１の制御プログラムＡのプログラム状態を記述し、これは、第１の制御プログラムＡが取る状態を記述する。第１のデータ要素ＧＡは更に、自動化システム１００に関する情報を保存し、これは、自動化システム１００が取る状態を定義するために使用される。第１のデータ要素ＧＡに保存された情報は、以下で、第１の制御プログラムＡ及び自動化システム１００のグローバル状態として解釈される。グローバル状態は、第１の制御プログラムＡのプログラム状態を記述し、同時に自動化システム１００の状態を記述する。
第２の制御プログラムＢは、更新されたバージョンの第１の制御プログラムＡを表現し、第１の制御プログラムＡを置き換える役割を果たす。第２の制御プログラムＢのプログラム状態を示す情報は、第２のデータ要素ＧＢに保存される。方法２００の実行の間、第２の制御プログラムＢは、実行されず、自動化システム１００の状態に関する情報は第２のデータ要素ＧＢに位置しない。代替的に、第２のデータ要素ＧＢは、初期値で初期化されてもよい。方法２００の実行の間、従って、移行ステップ２０７によるデータ移行の完了の前に、一時的に、第２の制御プログラムＢを実行するために必要な全ての変数、関数、データベース、パラメータ、又はその他のオブジェクトは、第２のデータ要素ＧＢに保存される。しかしながら、第２のデータ要素ＧＢに保存されたオブジェクトは、自動化システム１００の現在の状態を記述するのに適した値を有していない。
制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新する方法２００のオブジェクトは、第１の制御プログラムＡを第２の制御プログラムＢに置き換え、自動化システム１００の状態に関する第１のデータ要素ＧＡに保存された情報を第２のデータ要素ＧＢに転送することであり、その結果、第２の制御プログラムＢによる第１の制御プログラムＡの正常な置換の後、第２の制御プログラムＢが第２のデータ要素ＧＢの情報を読み出すことにより、第２の制御プログラムＢは、自動化システム１００の状態にアクセスすることができ、その結果、自動化システム１００の制御は、第１の制御プログラムＡを第２の制御プログラムＢの置換後にシームレスに継続され得る。
この目的のために、第１の制御プログラムＡのプログラム状態に関する情報又は自動化システム１００の状態に関する情報を含む第１のデータ要素ＧＡの値の第２のデータ要素ＧＢへの転送は、必要である。
この目的のために、第１の生成ステップ２０１において、第１のデータ要素ＧＡを第２のデータ要素ＧＢにマッピングするための第１の移行関数ＭＩＧ１は、生成される。第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡに保存された情報を第２のデータ要素ＧＢに転送するために使用される。第１のデータ要素ＧＡに保存された情報は、以下で第１のデータ要素ＧＡの値として解釈され、第２のデータ要素ＧＢに保存された情報は、以下で第２のデータ要素ＧＢの値として解釈される。
第１の生成ステップ２０１において、第１の移行関数ＭＩＧ１を生成した後、中断ステップ２０３において、第１の制御プログラムＡのサイクリックの実行を中断する。第１の制御プログラムＡのサイクリックの実行を中断することにより、自動化システム１００の動作は、中断される。第１のデータ要素ＧＡにおいて、最後に実行された制御サイクル後の自動化システム１００の状態は、記載される。中断ステップ２０３において、第１の制御プログラムＡのサイクリックの実行を中断することによって、第１のデータ要素ＧＡの値がそれ以上変更されないことが保証され、その結果、第１のデータ要素ＧＡの値の第２のデータ要素ＧＢへの一貫した転送は、可能になる。中断ステップ２０３において第１の制御プログラムＡのサイクリックのアクセスを中断した後、第１のデータ要素ＧＡの値は、最後に実行された制御サイクルの終了時における第１の制御プログラムＡのプログラム状態に対応する。同様に、第１のデータ要素ＧＡの値は、最後に実行された制御サイクルの終了時における自動化システム１００の状態を記述する。
中断ステップ２０３における第１の制御プログラムＡのサイクリックの実行の中断は、以前に実行された制御サイクルの完了後に行われることが好ましく、従って、制御プログラムＡの完全な実行後に行われることが好ましい。代替的に、しかしながら中断ステップ２０３は、実行された制御サイクル内の任意の時点で行われることもできる。
中断ステップ２０３において第１の制御プログラムＡのサイクリックの実行を中断した後、第１の決定ステップ２０５において第１のデータ要素ＧＡの値は、決定される。既に述べたように、第１のデータ要素ＧＡの値は、最後に実行された制御サイクルの時点又は第１の制御プログラムＡの実行の中断の時点での、第１の制御プログラムＡのプログラム状態又は自動化システム１００の状態を記述する。中断ステップ２０３における第１の制御プログラムＡのサイクリックの実行の中断の後、第１の制御プログラムＡの値がもはや実行されず、従って第１のデータ要素ＧＡから値を読み取ることも、第１のデータ要素ＧＡに値を書き込むこともできないので、第１のデータ要素ＧＡの値は、もはや変更されない。
第１の決定ステップ２０５において第１のデータ要素ＧＡの値を決定した後、第１の移行関数ＭＩＧ１は、移行ステップ２０７で実行され、第１のデータ要素ＧＡの値を第２のデータ要素ＧＢに転送することによって、第１のデータ要素ＧＡの値は、第２のデータ要素ＧＢにマッピングされる。このプロセスにおいて、第２のデータ要素ＧＢに含まれるオブジェクトの値は、第１のデータ要素ＧＡの対応するオブジェクトの値によって上書きされる。第１のデータ要素ＧＡの値を第２のデータ要素ＧＢにマッピングすることにより、最後に実行された制御サイクルの時点での第１の制御プログラムＡ又は自動化システム１００のグローバル状態は、第２のデータ要素ＧＢに転送される。第２のデータ要素ＧＢに保存された値を読み出すことにより第２の制御プログラムＢを実行する場合、最後に実行された制御サイクルの時点での自動化システム１００のグローバル状態にアクセスすることができるため、その結果、第２の制御プログラムＢを実行することによる自動化システム１００の制御は、最後に実行された制御サイクルからシームレスに追従し得る。
図４は、別の実施形態による、データ移行を介して自動化システム１００の制御プログラムＡを更新するための方法２００のフローチャートを示す。
図４に示される処理２００の実施形態は、図３に示される処理２００の実施形態に基づいて構築され、図３に示される実施形態の処理ステップの全てを含む。
図３に示す実施形態とは対照的に、図４の方法２００の実施形態において、第１の生成ステップ２０１の完了後、第２の検証ステップ２１５は、第１の生成ステップ２０１において第１の移行関数ＭＩＧ１を生成することができたかどうかを検証する。第１の生成ステップ２０１における第１の移行関数ＭＩＧ１の生成は、例えば、第１のデータ要素ＧＡ及び第２のデータ要素ＧＢが第１のデータ要素ＧＡの値を第２のデータ要素ＧＢのデータ型に充分な精度で変換することができない互換性のないデータ型を有する場合、失敗することがある。
第２の検証ステップ２１５が、移行関数ＭＩＧ１が生成できなかったことを検出した場合、第２の制御ステップ２１３において、第１のデータ要素ＧＡと、第１の制御プログラムＡに基づく自動化システム１００の制御とを考慮に入れた第１の制御プログラムＡへのサイクリックのアクセスは、継続される。第１の生成ステップ２０１において第１の移行関数ＭＩＧ１が生成されない場合、移行処理は、中止され、第１の制御プログラムＡは、第２の制御プログラムＢに置き換えられない。その代り、第１のデータ要素ＧＡに保存されたグローバル状態を考慮して、第１の制御プログラムＡに基づいて自動化システム１００の制御は、継続する。
一方で、第２の検証ステップ２１５において、第１の生成ステップ２０１において第１の移行関数ＭＩＧ１が生成され得ることが検出された場合、方法２００は、中断ステップ２０３において、第１の制御プログラムＡのサイクリックの実行の中断を継続する。
また、図３に示される実施形態から逸脱して、図４による実施形態において、移行ステップ２０７の実行の後、移行ステップ２０７において第１の移行関数を実行することによって、第１のデータ要素ＧＡの値が第２のデータ要素ＧＢに十分に正確にマッピングされ得るかどうかについて、第１の検証ステップ２０９においてチェックは、実行される。第１のデータ要素ＧＡの値が第２のデータ要素ＧＢの第２のデータ型で表現され得る場合、第１のデータ要素ＧＡの値は、この文脈において、第２のデータ要素ＧＢに十分に正確にマッピングされ得る。例えば、第１のデータ要素ＧＡの値の数値が第２のデータ要素ＧＡの第２のデータ型で表すことができる最大限の数値を超える場合、第１のデータ要素ＧＡの値は、第２のデータ要素ＧＢの第２のデータ型で十分に正確に表すことができない。
第１の検証ステップ２０９が、移行ステップ２０７において第１のデータ要素ＧＡの値を第２のデータ要素ＧＢに十分に正確にマッピングすることができなかったと決定した場合、第２の制御ステップ２１３において、第１の制御プログラムＡを根拠とした第１の制御プログラムＡのサイクリックのアクセス及び自動化システム１００の制御は、第１のデータ要素ＧＡに保存されたグローバル状態を考慮して、継続される。このときに、グローバル状態の移行は終了し、第１の制御プログラムＡに基づく制御は、継続される。第１の制御プログラムＡ及び第１のデータ要素ＧＡを第１のメモリ領域ＳＰＡに、第２の制御プログラムＢ及び第２のデータ要素ＧＢを第２のメモリ領域ＳＰＢに保存することにより、第１のデータ要素ＧＡは、データ移行の影響を受けないままである。このようなデータ移行が上述した理由等により失敗した場合、最後に実行された制御サイクルの状態において、第１の制御プログラムＡ及び第１のデータ要素ＧＡに基づいて、自動化システム１００の制御を問題なく継続することができる。一方で、移行は、破棄される。
一方で、第１の検証ステップ２０９において、移行ステップ２０７において第１の移行関数を実行することにより、第１のデータ要素ＧＡの値を第２データ要素ＧＢに十分に正確にマッピングできると決定された場合、第１制御プログラムＡは、置換ステップ２０２において第２制御プログラムＢに置換される。
置換ステップ２０２において第１の制御プログラムＡを第２の制御プログラムＢに置換した後、第１の制御ステップ２１１において、自動化システム１００は、第２のデータ要素ＧＢを考慮して第２の制御プログラムＢにサイクリックにアクセスすることによって制御される。移行ステップ２０７において正常な移行の後、第２のデータ要素ＧＢの値は、第１の制御プログラムＡに基づいて実行された最後の制御サイクルの時点における第１の制御プログラムＡ及び自動化システム１００のグローバル状態を記述する。移行ステップ２０７において第１のデータ要素ＧＡの値を第２のデータ要素ＧＢに正常に移行した後、自動化システム１００は、第１の制御プログラムＡに基づいて最後に実行された制御サイクルの状態における第２の制御プログラムＢに基づいて制御される。これは、更新された制御プログラムを用いた自動化システム１００のシームレスな制御を可能にする。
置換ステップ２０２において、第１の制御プログラムＡを第２の制御プログラムＢに置き換えることは、第１の制御プログラムＡに代えて、第２の制御プログラムＢに基づいて自動化システム１００を実行し、制御することに関するものである。第１の制御プログラムＡを第２の制御プログラムＢに置き換えることは、第１の制御プログラムＡが第１のメモリ領域ＳＰＡに保存され続けることを妨げない。
データ移行後の第１の制御プログラムＡを根拠として実行された最後の制御サイクルの時点における第１の制御プログラムＡ及び自動化システム１００のグローバル状態を第２のメモリ領域ＳＰＢ内の第２のデータ要素ＧＢにマッピングすることにより、グローバル状態は、使用不可能なメモリギャップなしに第２のデータ要素ＧＢに保存される。第２のデータ要素ＧＢは、第２のデータ要素ＧＢの全てのオブジェクトが密にパックされ、使用できないメモリギャップなしに配置される、第２のメモリ領域ＳＰＢ内の連続領域を形成する。移行ステップ２０７において、第１の制御プログラムＡと、第１の制御プログラムＡに基づいて実行された最後の制御サイクルの時点での自動化システム１００のグローバル状態とを、オブジェクト単位で第２のデータ要素ＧＢの対応するオブジェクトにマッピングすることにより、グローバル状態は、正常なデータ移行の後、第２のメモリ領域ＳＰＢに連続した単位として保存される。
図５は、更なる実施形態による、データ移行で自動化システム１００の制御プログラムＡを更新するための方法２００のフローチャートを示す。図５に示す方法２００の実施形態は、図３及び図４に示す実施形態に基づいており、これらの図に示す全ての方法ステップを含む。
図３及び図４に示す実施形態とは対照的に、図５に示す実施形態における第１の生成ステップ２０１は、第１の識別ステップ２２３において、第１のデータ要素ＧＡのデータ型を第１のデータ型として識別するステップと、第２のデータ要素ＧＢのデータ型を第２のデータ型として識別するステップとを含む。第１のデータ要素ＧＡの第１のデータ型と第２のデータ要素ＧＢの第２のデータ型とを識別した後、第１の生成ステップ２０１は、識別された第１のデータ型と識別された第２のデータ型に基づいて、第１の移行関数ＭＩＧ１を生成する。
例えば、第１のデータ要素ＧＡの第１のデータ型と第２のデータ要素ＧＢの第２のデータ型は、複合型、フィールド型、又は別の一般的なデータ型であってもよい。使用時に、第１のデータ要素ＧＡの第１のデータ型及び第２のデータ要素ＧＢの第２のデータ型は、典型的には複合型であり、第１のデータ要素ＧＡ及び第２のデータ要素ＧＢは、それぞれ、第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１として以下に定義される複数のオブジェクトから構成される。
第１の識別ステップ２２３において識別された第１のデータ要素ＧＡの第１のデータ型が複合型であり、第１のデータ要素ＧＡが少なくとも１つのデータサブ要素ＧＡ１を含む場合、及び識別された第２のデータ要素ＧＢの第２のデータ型も複合型であり、第２のデータ要素ＧＢが少なくとも１つの第２のデータサブ要素ＧＢ１を含む場合、次に第２の識別ステップ２２５において、第１のデータサブ要素ＧＡ１のデータ型は、第３のデータ型として識別され、第２のデータサブ要素ＧＢ１のデータ型は、第４のデータ型として識別される。第１のデータサブ要素ＧＡ１の第３のデータ型と第２のデータサブ要素ＧＢ１の第４のデータ型は、同様に複合型、フィールド型、スカラ型、ポインタ型であってよい。
続いて、第３の識別ステップ２２７において、第１の関係Ｒ１が、第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１との間で識別される。第１の関係Ｒ１は、第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１との間の十分に正確な関連付けを可能にする。
移行ステップ２０７において、第１のデータ要素ＧＡのオブジェクト又は第１のデータサブ要素ＧＡ１と、第２のデータ要素ＧＢのオブジェクト又は第２のデータサブ要素ＧＢ１との間の識別された関係は、第１のデータ要素ＧＡのどのオブジェクト又は第１のデータサブ要素ＧＡ１が第２のデータ要素ＧＢのどのオブジェクト又は第２のデータサブ要素ＧＢ１にマッピングされるかを示す。
少なくとも第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１が同じ名前付けされている場合、第１の関係Ｒ１は、第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１との間に存在する。第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１は、それぞれ第１の制御プログラムＡ及び第２の制御プログラムＢのオブジェクトを記述する。第１のデータサブ要素ＧＡ１及びデータサブ要素ＧＢ１のデータ型に応じて、これらのオブジェクトは、複雑なオブジェクトを記述したり、スカラ値、ポインタ、数値、文字列又は非構造化値を表現したりする。変数は、複素数データ型を有することもできる。第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１との間の第１の関係Ｒ１は、第１の制御プログラムＡにおける第１のデータサブ要素ＧＡ１と、第２の制御プログラムＢにおける第２のデータサブ要素ＧＢ１とが同一の意味及び役割を有することを表現する。第１の制御プログラムＡ内のオブジェクト及び第２の制御プログラムＢ内のオブジェクトの同一の意味は、第１のデータ要素ＧＡの値の第２のデータ要素ＧＢへのデータ移行において、第１のデータ要素ＧＡ内のオブジェクトの値がＰＢによるＧＡの解釈及びＰＢによるＧＢの解釈が等価となるように、第２のデータ要素ＧＢ内のオブジェクトにマッピングされなければならないことを必要とする。従って、第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１との間の識別された第１の関係Ｒ１は、移行ステップ２０７において、第１のデータ要素ＧＡの第２のデータ要素ＧＢへのデータ移行の間、第１のデータサブ要素ＧＡ１の値を第２のデータサブ要素ＧＢ１にマッピングしなければならないことを示す。
第２の識別ステップ２２５において、第３のデータ型と第４のデータ型を識別し、第３の識別ステップ２２７において、第１の関係Ｒ１を識別した後、識別された第３のデータ型、識別された第４のデータ型、及び識別された第１の関係Ｒ１を根拠として、第２の生成ステップ２２９において、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングするための第２の移行関数ＭＩＧ２は、生成される。これにより、第２の移行関数ＭＩＧ２は、第２の移行関数ＭＩＧ２が第１のメモリ領域ＳＰＡ内の第３のデータ型のデータを読み出し、第３のデータ型の読み出しデータを第４のデータ型に変換し、第４のデータ型に変換したデータを第２のメモリ領域ＳＰＢに保存する点において、第３のデータ型のデータを第４のデータ型のデータにマッピングするように設定される。結果的に、第１のデータサブ要素ＧＡ１の第３のデータ型と第２のデータサブ要素ＧＢ１の第４のデータ型が同一である場合、読み出したデータの変換は、省略される。第３のデータ型と第４のデータ型が同一である場合、第１のデータサブ要素ＧＡ１の値は、ブロック単位で第２のメモリ領域ＳＰＢ内の第２のデータサブ要素ＧＢ１の位置ＰＧＢ１にコピーされてよい。
結果的に、第１のデータサブ要素ＧＡ１の第３のデータ型と第２のデータサブ要素ＧＢ１の第４のデータ型が複合型である場合、及び第１のデータサブ要素ＧＡ１が少なくとも第１の構成要素ＭＡを含み、第２のデータサブ要素ＧＢ１が少なくとも第２の構成要素ＭＢを含む場合、第４の識別ステップ２３９において、第１の構成要素ＭＡのデータ型は、第５のデータ型として識別され、第２の構成要素ＭＢのデータ型は、第６のデータ型として識別される。第１の構成要素ＭＡの第５のデータ型と第２の構成要素ＭＢの第６のデータ型は、それぞれ複合型、フィールド型、スカラ型、又はポインタ型であってよい。更に、第１のデータサブ要素ＧＡ１は、複数の第１の構成要素ＭＡを有することができ、第１の構成要素ＭＡの各々は、同一の第５のデータ型を有することができる。代替的に、第１の構成要素ＭＡの一部は、同一の第５のデータ型を有することができる。代替的に、複数の第１の構成要素ＭＡの各々は、異なるデータ型を有することができる。第２のデータサブ要素ＧＢ１は、複数の第２の構成要素ＭＢを有することができ、第２の構成要素ＭＢの各々は、第６のデータ型であってよい。代替的に、第２の構成要素ＭＢの各々は、異なるデータ型を有することができる。
第４の識別ステップ２３９において、第１の構成要素ＭＡの第５のデータ型及び第２の構成要素ＭＢの第６のデータ型を識別した後、第５の識別ステップ２４１において、第１の構成要素ＭＡと第２の構成要素ＭＢとの間の第２の関係Ｒ２は、識別される。第２の関係Ｒ２は、第１の構成要素ＭＡと第２の構成要素ＭＢとの間の十分に正確なマッピングを提供する。第１の構成要素ＭＡ及び第２の構成要素ＭＢが同じ名前付けされる場合、第１の構成要素ＭＡ及び第２の構成要素ＭＢは、少なくとも第２の関係Ｒ２を介して関連付けられる。第１のデータサブ要素ＧＡ１が複数の第１の構成要素ＭＡを含み、第２のデータサブ要素ＧＢ１が複数の第２の構成要素ＭＢを含む場合、複数の第２の関係Ｒ２は、第１の構成要素ＭＡと第２の構成要素ＭＢのそれぞれのペアの間で識別される。代替的に、複数の第１の構成要素ＭＡ及び複数の第２の構成要素ＭＢは、単一の第２の関係Ｒ２を介して互いに関連付けられてもよい。
第４の識別ステップ２３９において、第５のデータ型と第６のデータ型を識別し、第５の識別ステップ２４１において、第２の識別ステップＲ２を識別した後、第３の生成ステップ２４３において、識別された第５のデータ型と識別された第６のデータ型を根拠として、第３の移行関数ＭＩＧ３は、生成され、第３の移行関数ＭＩＧ３は、第１のメモリ領域における第５のデータ型のデータを読み出す第３の移行関数ＭＩＧ３によって第５のデータ型のデータを第６のデータ型にマッピングし、読み出したデータを第６のデータ型に変換し、変換したデータを第２のメモリ領域ＳＰＢに保存するように構成される。第５及び第６のデータ型が同一である場合、読み出しデータの変換は、省略され、第１の構成要素ＭＡの値は、ブロック単位で第２の構成要素ＭＢの位置ＰＭＢにコピーされ得る。代替的に、識別された第２の関係Ｒ２は、第３の移行関数ＭＩＧ３を生成するために使用され得る。
生成された第３の移行関数ＭＩＧ３は、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングすることに限定されず、第５のデータ型の任意のデータを第６のデータ型の任意のデータにマッピングするように配置される。第１のデータサブ要素ＧＡ１が第５のデータ型である複数の第１の構成要素ＭＡを有し、第２のデータサブ要素ＧＢ１が第６のデータ型である複数の第２の構成要素ＭＢを有する場合、第５のデータ型のデータを第６のデータ型のデータにマッピングするように設定された第３の移行関数ＭＩＧ３のみを生成すれば十分である。
複数の第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングするために、１つの第３の移行関数ＭＩＧ３は、複数回実行されることがあり、それぞれ別々の第１の構成要素ＭＡは、第２の構成要素ＭＢにマッピングされ得る。結果として、第１のデータサブ要素ＧＡ１が各々が異なるデータ型を有する複数の第１の構成要素ＭＡを含み、第２のデータサブ要素ＧＢ１が各々が異なるデータ型を有する複数の第２の構成要素ＭＢを有する場合、第３の生成ステップ２４３において、複数の第３の移行関数ＭＩＧ３は、生成されなければならず、特に、各第３の移行関数ＭＩＧ３が、複数の第１の構成要素ＭＡの１つのデータ型のデータを複数の第２の構成要素ＭＢの１つのデータ型のデータにマッピングする、それぞれのケースにおいて設定され、第３の移行関数ＭＩＧ３は、これまで生成されていない複数の第１の構成要素ＭＡ及び第２の構成要素ＭＢのデータ型の各ペアのために生成されなければならない。
第２の識別ステップ２２５において、第１のデータサブ要素ＧＡ１の第３のデータ型がフィールド型であり、第１のデータサブ要素ＧＢ１の第４のデータ型もフィールド型であり、第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１が同一の数の次元を有し、少なくとも１つの次元について、第１のデータサブ要素ＧＡ１は、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた第１の要素を含み、第２のデータサブ要素ＧＢ１は、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた第２の要素を含み、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］及び第２のインデックス範囲［Ｘ０，．．．，ＸＮ］は、等しく、第６の識別ステップ２５３において、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた各第１の要素のデータ型は、第７のデータ型として識別され、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた各第２の要素のデータ型は、第８のデータ型として識別される。第７のデータ型と第８のデータ型は、フィールド型、複合型、及び、数値、ポインタ、文字列などのスカラを含む任意のデータ型である。
続いて、第７の識別ステップ２５５において、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた第１の要素と、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた第２の要素との間の第３の関係は、識別され、これは、第１の要素と第２の要素との間の十分に正確な割り当てを可能にする。第１のインデックス範囲［Ｕ０，．．．，ＵＭ］の第１の要素と、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］の第２の要素とは、第１の要素と第２の要素とが同じインデックス付けされている場合、関連する。第１のインデックス範囲［Ｕ０，．．．，ＵＭ］の第１の要素と第２のインデックス範囲［Ｘ０，．．．，ＸＮ］の第２の要素との間の第３の関係は、第１のデータサブ要素ＧＡ１の値が第２のデータサブ要素ＧＢ１に移行されるとき、第１の要素の値も第３の関係を介して第１の要素に関連する第２の要素にマッピングされなければならないことを意味する。
続いて、第４の生成ステップ２５７において、第４の移行関数ＭＩＧ４は、識別された第７のデータ型と識別された第８のデータ型と識別された第３の関係とを根拠として、生成され、第４の移行関数ＭＩＧ４は、第７のデータ型のデータを第８のデータ型のデータにマッピングするようにセットアップされ、第４の移行関数ＭＩＧ４は、第１のメモリ領域ＳＰＡ内の第７のデータ型のデータを読み出し、読み出したデータを第８のデータ型に変換し、変換したデータを第２のメモリ領域ＳＰＢに保存する。第７のデータ型と第８のデータ型が同一である場合、読み出したデータの変換は、省略される。第７のデータ型と第８のデータ型が同一である場合、第１の要素の値は、ブロック単位で第２の要素の場所にコピーされ得る。
第１のインデックス範囲［Ｕ０，．．．，ＵＭ］と第２のインデックス範囲［Ｘ０，．．．，ＸＮ］とが同一でない場合、次にインデックス決定ステップ２５９において、間隔［Ｒ、Ｓ］は、Ｒ＝ｍａｘ［Ｘ０，Ｕ０］及びＳ＝ｍｉｎ［ＸＮ、ＵＭ］である第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１のインデックス範囲において決定される。ここで、Ｒは、２つの下限Ｘ０及びＵ０の内の大きい方であり、一方で、Ｓは、２つの上限ＸＮ及びＵＭの内の小さい方である。間隔［Ｒ、Ｓ］を決定した後、第６の識別ステップ２５３、第７の識別ステップ２５５、及び第４の生成ステップ２５７は、間隔に従ってインデックス付けされた第１の要素及び第２の要素に対して実行され、それぞれが同じインデックス付けされる。間隔［Ｒ、Ｓ］は、同一のインデックスを有する第１の要素及び第２の要素を含まない場合、第４の生成ステップ２５７において、第４の移行関数ＭＩＧ４は、生成されず、第１のデータサブ要素ＧＡ１の値の第２のデータサブ要素ＧＢ１へのデータ移行は、実行されない。代替的に、第４の移行関数は、生成されるが、実行されないため、この場合も、移行は、発生しない。
第１の生成ステップ２０１及び／又は第２の生成ステップ２２９及び／又は第３の生成ステップ２４３及び／又は第４の生成ステップ２５７の完了後、第２の検証ステップ２１５において、第１の生成ステップ２０１において第１の移行関数ＭＩＧ１を生成することができたかどうか、及び／又は第２の生成ステップ２２９において第２の移行関数ＭＩＧ２を生成することができたかどうか、及び／又は第３の生成ステップ２４３において第３の移行関数ＭＩＧ３を生成することができたかどうか、及び／又は第４の生成ステップ２５７において第４の移行関数ＭＩＧ４を生成することができたかどうかは、検証される。
本発明に従った方法２００は、第１の移行関数ＭＩＧ１、第２の移行関数ＭＩＧ２、第３の移行関数ＭＩＧ３、第４の移行関数ＭＩＧ４が再帰的に実行されてもよく、１つの階層レベルの移行関数は、それぞれ次の下位階層レベルの移行関数を呼び出してもよく、第１の移行関数は、最上位階層レベルの移行関数であるという点で、再帰的に実行されてもよい。
移行関数は、移行されるデータ要素のデータ型に基づいて生成され、特定のデータ型のデータ要素を特定のデータ型のデータ要素にマッピングするようにセットアップされる。
例えば、第１のデータ要素ＧＡ及び第２のデータ要素ＧＢがそれぞれ複合型である場合、第１の移行関数ＭＩＧ１が生成され、これは、少なくとも１つのデータサブ要素を有する複合型のデータオブジェクトを、複合型でもあり、また、複合型の構成要素としてデータサブ要素も有する別のデータオブジェクトにマッピングするように配置される。第１のデータ要素ＧＡ及び／又は第２のデータ要素ＧＢが異なる構成要素の数を有する場合、第１のデータ要素ＧＡ及び／又は第２のデータ要素ＧＢのデータ型は、変更し、生成された第１の移行関数ＭＩＧ１は、異なる特性を有する。
第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１のデータ型に応じて、第１のデータサブ要素ＧＡ１のデータ型のデータ要素を第２のデータサブ要素ＧＢ１のデータ型のデータ要素にマッピングするようにセットアップされた第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングするための第２の移行関数ＭＩＧ２は、更に生成される。第１のデータサブ要素ＧＡ及び第２のデータサブ要素ＧＢがそれぞれ複数の第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１を有する場合、次に第１のデータサブ要素ＧＡ１が同一のデータ型を有し、第２のデータサブ要素ＧＢ１が同一のデータ型を有する場合、データサブ要素をマッピングするための第２の移行関数ＭＩＧ２は、複数回実行されてよい。第１のデータサブ要素ＧＡ１が異なるデータ型を有し、且つ／又は第２のデータサブ要素ＧＢ１が異なるデータ型を有する場合、データサブ要素をマッピングするためにいくつかの第２の移行関数は、必要とされる。
第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１がそれぞれ複合型であり、第１のデータサブ要素ＧＡ１が、例えば３つの第１の構成要素ＭＡを含み、第２のデータサブ要素ＧＢ１が、例えば３つの第２の構成要素ＭＢを含む場合、第２の移行関数は、３つの構成要素を有する複合型のデータ要素を３つの構成要素を有する複合型の更なるデータ要素にマッピングするようにセットアップされる。この状況は、異なる数の構成要素についても同じである。
３つの第１の構成要素ＭＡを３つの第２の構成要素ＭＢにマッピングするために、少なくとも第３の移行関数ＭＩＧ３は、生成され、これは、第１の構成要素ＭＡのデータ型のデータ要素を第２の構成要素ＭＢのデータ型のデータ要素にマッピングするようにセットアップされる。３つの第１の構成要素ＭＡが異なるデータ型を有する場合、及び／又は３つの第２の構成要素ＭＢが異なるデータ型を有する場合、少なくとも２つ及び最大３つの第３の移行関数ＭＩＧ３は、生成されなければならない。全ての３つの第１の構成要素ＭＡの各々が、同じデータ型を有し、全ての３つの第２の構成要素ＭＢの各々が、同じデータ型を有する場合、３つの第１の構成要素ＭＡを３つの第２の構成要素ＭＢにマッピングするために数回実行される第３の移行関数ＭＩＧ３で、十分である。
上述の実施例において、第１の移行関数ＭＩＧ１は、複合型のデータ要素として形成され、更に３つの構成要素を有する、複合型のデータ要素を、やはり複合型のデータ要素であり、更に複合型のデータ要素として具体化され、更に３つの構成要素を有する、構成要素を有する、データ要素にマッピングするためにセットアップされる。
第１のデータ要素ＧＡを第２のデータ要素ＧＢにマッピングするために、本発明に従って第１の移行関数ＭＩＧ１は、実行され、第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡの複合型のデータ要素を第２のデータ要素ＧＢの複合型のデータ要素にマッピングするようにセットアップされる。
第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングするために、第１の移行関数ＭＩＧ１は、第１のデータサブ要素ＧＡ１の複合型のデータ要素を第２のデータサブ要素ＧＢ１の複合型のデータ要素にマッピングするように配置された第２の移行関数ＭＩＧ２を呼び出す。
３つの第１の構成要素ＭＡを３つの第２の構成要素ＭＢにマッピングするために、第２の移行関数ＭＩＧ２は、第１の構成要素ＭＡのデータ型のデータ要素を第２の構成要素ＭＢのデータ型のデータ要素にマッピングするようにそれぞれ具体化される、１つまたは複数の第３の移行関数ＭＩＧ３に次々にアクセスする。
第１の構成要素ＭＡと第２の構成要素ＭＢがそれぞれスカラ型である場合、移行関数の再帰的実行は、第３の移行関数ＭＩＧ３で終了する。第３の移行関数ＭＩＧ３を実行し、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングした後、第３の移行関数ＭＩＧ３は、終了する。その結果、第２の移行ＭＩＧ２は、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にもマッピングし、これも、終了する。その結果、第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡを第２のデータ要素ＧＢにもマッピングし、これも、終了する。従ってデータの移行は、完了する。
第１の構成要素ＭＡ及び第２の構成要素ＭＢがスカラ型ではなく、例えば、再び複合型であり、同様に、更なる第１の構成要素及び更なる第２の構成要素を含む場合、本発明による上述した方法は、所望に応じて再帰的に継続されてよい。このようなケースにおいて、複合型として具現化された第１の構成要素ＭＡの更なる第１の構成要素を第２の構成要素ＭＢの更なる第２の構成要素にマッピングするために具現化される、少なくとも更なる第５の移行関数が、必要とされる。
この第５の移行関数は、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングするために、第３の移行関数ＭＩＧ３によってアクセスされ、実行される。
この場合において、第５の移行関数は、更なる第１の構成要素及び更なる第２の構成要素のデータ型に従ってセットアップされ、更なる第１の構成要素のデータ型のデータ要素を更なる第２の構成要素のデータ型のデータ要素にマッピングする。
それぞれの第１の構成要素ＭＡをそれぞれの第２の構成要素ＭＢにマッピングするために、第３の移行関数ＭＩＧ３は、対応してセットアップされた第５の移行関数にアクセスし、それにより、後者は、少なくとも１つの更なる第１の構成要素を更なる第２の構成要素にマッピングする。異なるデータ型を有する複数の更なる第１の構成要素及び／又は異なるデータ型を有する複数の更なる第２の構成要素の場合には、対応する数の第５の移行関数が、生成されなければならず、次々と、第３の移行関数によって連続的にアクセスされ、実行される。
データ要素が複合型の他のデータ要素の構成要素として配置され、同様に複合型などの他のデータ要素の構成要素である、個々のデータ要素のネスティングに応じて、対応する数の移行関数は、生成され、これを再帰的に実行して、ネスティングされたデータ要素をマッピングする。
本発明による方法２００によってカバーされ得る再帰の程度は、方法２００によって限定されない。制限は、単に方法２００を実行するデータ処理ユニットの利用可能な計算能力に起因し得る。
上記の実施例は、データ要素のネスティングの程度に関して任意に拡張可能である。更に、第１及び第２のデータサブ要素の数、並びに第１及び第２の構成要素は、任意に拡張可能である。複数の第１及び第２のデータサブ要素の場合において、複数の第２の移行関数ＭＩＧ２は、生成される必要があり得る。
第１及び第２のデータサブ要素又は第１及び第２の構成要素が複合型の代わりにフィールド型である場合において、上述した手順は、同様に実行される。
各々がフィールド型であるデータ要素のネスティングは、対応する移行関数に再帰的にアクセスし、実行することによって、本発明による方法２００によって、同様に処理することができる。
しかしながら、本発明に従った、この目的のために生成された移行関数は、複合型のデータ要素をマッピングするための移行関数と比較して、フィールド型のデータ要素をマッピングするときに特別な特徴を有する。
例えば、第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１が第１及び第２の要素がそれに応じて配置される次元数が等しいフィールド型である場合、第１のデータサブ要素の第１の要素のデータ型の次元数及び要素数を有するフィールド型のデータ要素を、第２のデータサブ要素の第２の要素の次元数及びデータ型の要素数を有するフィールド型のデータ要素にマッピングするように構成される、第２の移行関数ＭＩＧ２が生成される。
更に、第１の要素のデータ型のデータ要素を第２の要素のデータ型のデータ要素にマッピングするように構成される第４の移行関数が生成される。第４の移行関数は、第１のデータサブ要素ＧＡ１の第１の要素を対応する第２のデータサブ要素ＧＢ１の第２の要素に個々にマッピングするように具体化され、第２の移行関数ＭＩＧ２によってアクセスされ、実行される。
上述した実施例から逸脱して、フィールド型のケースにおいて、第２の移行関数ＭＩＧ２は、ネストされたループにおいて第４の移行関数にアクセスするように構成され、ネストされたループの数は、フィールド型のデータ型の第１及び第２のデータサブ要素の次元の数に関連する。
ネストされたループにおいて第２の移行関数ＭＩＧ２を介して第４の移行関数にアクセスすることにより、第４の移行関数は、第１の要素を第２の要素にマッピングするためにアクセスされ、この要素をマッピングし、再び終了される。その後、ループの実行において、次の第１の要素を次の第２の要素にマッピングするための第４の移行関数がアクセスされ、実行される。第４の移行関数をネストされたループで実行することにより、第４の移行関数を個々に実行することにより、マッピングされるべき全ての第１の要素を第２のデータサブ要素の対応する第２の要素にマッピングすることができる。
上記の実施例と同様に、本発明による方法２００は、データ要素がフィールド型のデータ型の更なるデータ要素の要素として構成される、データ要素の任意のネスティングのフィールド型のデータ型のデータ要素にも適用可能である。データ移行を実行するために、本発明による方法２００による、更なる第５、第６、又は更なる移行関数を生成しなければならず、これは、再帰的に実行することができる。
この点に関して、本発明による方法２００は、任意の程度のデータ要素のネスティングに対応することができる。処理可能なネスティングの限界は、むしろ、方法２００を実行するデータ処理ユニットの計算能力によって決定される。
上記の実施例は、単に説明を目的としたものであり、本発明による方法２００は、本明細書に記載された例示的な実施形態に限定されることを意図したものではない。データ要素、データサブ要素、構成要素、要素の数に関する、記載されたデータ要素、データサブ要素、構成要素、要素のそれぞれのデータ型に関する、及びデータ要素、データサブ要素、構成要素、要素のネスティングの程度に関する変形例は、本発明による方法２００によってカバーされる。
第１のデータ要素ＧＡの第１のデータ型を第２のデータ要素ＧＢの第２のデータ型に変換できない場合、第１の移行関数ＭＩＧ１を生成することは、失敗することがある。これは、例えば第１のデータ型と第２のデータ型に互換性がない場合である。第１のデータサブ要素ＧＡ１の第３のデータ型と第２のデータサブ要素ＧＢ１の第４のデータ型が互いに変換できない場合、第２の移行関数ＭＩＧ２を生成することは、失敗することがある。第１の構成要素ＭＡの第５のデータ型が第２の構成要素ＭＢの第６のデータ型に変換できない場合、第３の移行関数を生成することは、失敗することがある。第１要素の第７のデータ型を第２の要素の第８のデータ型に変換できない場合、第４の移行関数ＭＩＧ４を生成することは、失敗することがある。
代替的に、第１の移行関数ＭＩＧ１、第２の移行関数ＭＩＧ２、第３の移行関数ＭＩＧ３、又は第４の移行関数ＭＩＧ４は、上記の場合において生成されてもよいが、それぞれのデータ型を互いに変換することができないため、実行されない。
例えば、第１のデータ要素ＧＡの第１のデータ型が複合型であり、第２のデータ要素ＧＢの第２のデータ型が複合型でない場合、第１のデータ要素ＧＡは、第２のデータ要素ＧＢに変換されることはできない。
同様に、第１のデータサブ要素ＧＡ１の第３のデータ型は、例えば第３のデータ型が複合型であり、第４のデータ型が複合型でない場合、第２のデータ要素ＧＢ１の第４のデータ型に変換できない。更に、第４のデータ型がフィールド型であり、第３のデータ型がフィールド型ではない、又はフィールド型でもあるが、次元数が異なる場合、第３のデータ型は、第４のデータ型に変換されることはできない。
更に、第３のデータ型の第１のデータサブ要素ＧＡ１の値は、第３のデータ型及び第４のデータ型がそれぞれ複合型である場合、第４のデータ型の第２のデータサブ要素ＧＢ１に転送できないが、第２のデータサブ要素ＧＢ１の第４のデータ型は、第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡに関連する第２の構成要素ＭＢを有さない。
更に、第３のデータ型は、両方のデータ型がフィールド型である場合、第４のデータ型に変換できないが、第４のデータ型は、第３のデータ型の第１の要素に関連する第２の要素を有さない。
同様に、第１の構成要素ＭＡの第５のデータ型は、第５のデータ型及び／又は第６のデータ型が複合型及び／又はフィールド型である場合、第２の構成要素ＭＢの第６のデータ型に変換することができない。
第１の構成要素ＭＡの第５のデータ型と第２の構成要素ＭＢの第６のデータ型又は第１の構成要素の第７のデータ型又は第２の構成要素の第８のデータ型がスカラ型である場合、第６のデータ型が第５のデータ型の全ての値を表す場合、又は第８のデータ型が第７のデータ型の全ての値を表す場合、第５のデータ型は、第６のデータ型に変換される、又は第７のデータ型は、第８のデータ型に変換されることができる。例えば、整数ＩＮＴは、Ｌｏｎｇ Ｉｎｔｅｇｅｒ ＬＩＮＴに変換できる。符号付き１６ビット整数データ型の値は、情報を失うことなく、常に符号付き６４ビット整数データ型の値に変換できる。Ｌｏｎｇ Ｉｎｔｅｇｅｒ ＬＩＮＴの値の少なくとも部分がＩｎｔｅｇｅｒ ＩＮＴで表現される得る場合、必要に応じて、Ｌｏｎｇ Ｉｎｔｅｇｅｒ ＬＩＮＴも、Ｉｎｔｅｇｅｒ ＩＮＴに変換されることがある。場合によっては、少なくとも比較可能又は類似の値が実数の場合と同様に整数ＩＮＴで表現されることがある場合、実数は、整数ＩＮＴにも変換可能である。逆に、例えば、符号付き６４ビット整数データ型の値は、符号付き１６ビット整数データ型の値によって表現される場合、情報を失うことなく、符号付き１６ビット整数データ型の値にのみ変換できる。
具体的に、ＩＥＣ ６１１３１－３標準において複合型として定義されているデータ型Ｓｔｒｕｃｔ、Ｃｌａｓｓ、及びＦｕｎｃｔｉｏｎ＿Ｂｌｏｃｋは、互いに変換することができる。例えば、Ｓｔｒｕｃｔの値は、Ｆｕｎｃｔｉｏｎ＿Ｂｌｏｃｋの値に変換できる。
具体的に、マッピングされるべきスカラ型のデータ要素はより大きなスカラ型の別のデータ要素に十分に正確にマッピングされてもよく、例えば、１６ビット整数は、６４ビット整数にマッピングされてもよい。
更に、マッピングされるべきより大きいスカラ型のデータ要素の値が更なるデータ要素のより小さいスカラ型で表現されてもよい場合、マッピングされるべきスカラ型のデータ要素は、より小さいスカラ型の更なるデータ要素に十分に正確にマッピングされてもよい。これは、マッピングされるべきデータ要素の値が更なるデータ要素のより小さいスカラ型で使用可能なビット番号の２進数として表現され得る場合である。
その上、マッピングされるべきスカラ型のデータ要素は、マッピングされるべきより大きなスカラ型のデータ要素の値が更なるデータ要素のより小さなスカラ型で表現され得ないが、更なるデータ要素のより小さなスカラ型で表現され得る最大値が十分な精度でマッピングされるべきデータ要素の値を表現する場合、十分な精度で、より小さなスカラ型の更なるデータ要素にマッピングされ得る。この目的のために、移行前にマッピングされるデータ要素について限界値は、決定されてもよく、これは、マッピングされるデータ要素の値のどのサイズから開始して、更なるデータ要素による値の描写がもはや十分な精度で不可能であるかを指定する。ここで説明するものは、全ての第１のデータ要素ＧＡ、第２のデータ要素ＧＢ、データサブ要素ＧＡ１、第２のデータサブ要素ＧＢ１、第１の構成要素ＭＡ、第２の構成要素ＭＢ、第１の要素及びスカラ型である第２の要素に適用される。
更に、第１の移行関数ＭＩＧ１、第２の移行関数ＭＩＧ２、第３の移行関数ＭＩＧ３、又は第４の移行関数ＭＩＧ４の生成は、第１のデータ要素ＧＡと第２のデータ要素ＧＢ、又は第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１、又は第１の構成要素ＭＡと第２の構成要素ＭＢ、又は第１の要素と第２の要素との間に関係が識別できない場合、失敗することがある。代替的に、第３の移行関数ＭＩＧ３は、生成されてもよいが、関係が識別されなかったため、実行されなくてもよい。
第１の移行関数ＭＩＧ１及び／又は第２の移行関数ＭＩＧ２及び／又は第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４を生成することができる場合、方法２００は、図３及び図４に関して説明した中断ステップ２０３、第１の決定ステップ２０５、及び移行ステップ２０７に従って継続される。
手順は、全ての第１のデータサブ要素ＧＡ１が全ての第２のデータサブ要素ＧＢ１にマッピングされる、又は全ての第１の構成要素ＭＡが第２の構成要素ＭＢにマッピングされる、又は全ての第１の構成要素がそれぞれのデータ型に従って互いにマッピングされ得る第２の構成要素にマッピングされるまで継続される。この目的のために、第１の移行関数ＭＩＧ１は、第２の移行関数ＭＩＧ２に連続的にアクセスし、次に、必要に応じて、対応する第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４に連続的にアクセスする。
図３及び図４に示す実施形態とは逸脱し、図５に示す実施形態の移行ステップ２０７は、第１のデータ要素ＧＡ及び第２のデータ要素ＧＢ上で第１の移行関数ＭＩＧ１を発動し、アクセスすることを含む。第１のデータ要素ＧＡ及び第２のデータ要素ＧＢ上で第１の移行関数ＭＩＧ１を実行することは、第１の読み出しステップ２１７において第１のメモリ領域ＳＰＡ内の第１のデータ要素ＧＡの位置ＰＧＡで第１のデータ要素ＧＡの値を読み出し、第１の変換ステップ２１９においてその値を第２のデータ型に変換し、第１の書き込みステップ２２１において第２のデータ型に変換された値を第２のメモリ領域ＳＰＢ内の第２のデータ要素ＧＢの位置ＰＧＢに書き込むことを含む。
第１のデータ要素ＧＡ及び第２のデータ要素ＧＢが複合型であり、第１のデータ要素ＧＡが少なくとも第１のデータサブ要素ＧＡ１を含み、第２のデータ要素ＧＢが少なくとも第２のデータサブ要素ＧＢ１を含む場合、移行ステップ２０７は、第１の部分移行ステップを更に含む。第１の部分移行ステップ２３１において、第１のデータサブ要素ＧＢ１を第２のデータサブ要素ＧＢ２にマッピングするための第２の移行関数ＭＩＧ２は、第１の移行関数ＭＩＧ１によってアクセスされる。第２の移行関数ＭＩＧ２にアクセスするとき、第１の移行関数ＭＩＧ１は、第１のメモリ領域ＳＰＡの第１のデータサブ要素ＧＡ１が保存されるメモリ位置、および、第２のメモリ領域ＳＰＢの第２のデータサブ要素ＧＢ１が保存されるメモリ位置を渡す。
第２の移行関数ＭＩＧ２にアクセスした後、第１の部分移行ステップ２３１は、第２の読み出しステップ２３３において、第１のメモリ領域ＳＰＡの第１のデータサブ要素ＧＡ１の位置ＰＧＡ１で第１のデータサブ要素ＧＡ１の値を読み出し、第２の変換ステップ２３５において読み出した値を第４のデータ型の値に変換し、第２の書き込みステップ２３７において、第２のデータサブ要素ＧＢの位置ＰＧＢ１に第４のデータ型に変換した値を書き込むことを含む。
第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１がそれぞれ複合型であり、第１のデータサブ要素ＧＡ１が少なくとも第１の構成要素ＭＡを含み、第２のデータサブ要素ＧＢ１が少なくとも第２の構成要素ＭＢを含む場合、移行ステップ２０７は、第２の移行関数ＭＩＧ２が第３の移行関数ＭＩＧ３にアクセスし、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングする第２の部分移行ステップ２４５を更に含む。第３の移行関数ＭＩＧ３にアクセスするとき、第２の移行関数ＭＩＧ２は、第１のメモリ領域ＳＰＡ内の第１の構成要素ＭＡのアドレスを渡し、第２のメモリ領域ＳＰＢ内の第２の構成要素ＭＢを渡す。
第３の移行関数ＭＩＧ３にアクセスした後、第２の部分移行ステップ２４５は、第３の読み出しステップ２４７において、第１のメモリ領域ＳＰＡ内の第１の構成要素ＭＡの位置ＰＭＡで第１の構成要素ＭＡの値を読み出し、第３の変換ステップ２４９において、読み出した値を第２の構成要素ＭＢの第６のデータ型の値に変換し、第３の書き込みステップ２５１において、第６のデータ型に変換された第１の構成要素ＭＡの値を第２のメモリ領域ＳＰＢ内の第２の構成要素ＭＢの位置ＰＭＢに書き込むことを含む。
第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１がそれぞれ同一の次元数を有するフィールド型であり、第１のデータサブ要素ＧＡ１が第１のインデックス範囲［Ｕ０，．．．，ＵＭ］において少なくとも１つの次元でインデックス付けされた第１の要素を含み、第２のデータサブ要素ＧＢ１が第２のインデックス範囲［Ｘ０，．．．，ＸＮ］において少なくとも１つの次元でインデックス付けされた第２の要素を含む場合、移行ステップ２０７は、第２の移行関数ＭＩＧ２が第１の要素を第２の要素にマッピングするための第４の移行関数ＭＩＧ４にアクセスする第３の部分移行ステップを含む。第４の移行関数ＭＩＧ４にアクセスするとき、第２の移行関数ＭＩＧ２は、第１のメモリ領域ＳＰＡ内の第１の要素のメモリ位置と、第２のメモリ領域ＳＰＢ内の関連する第２の要素のメモリ位置とを転送する。
第４の移行関数ＭＩＧ４が第２の移行関数ＭＩＧ２によってアクセスされた場合、第３の部分移行ステップ２６１は、第４の読み込みステップ２６３において、第１のメモリ領域ＳＰＡ内の第１の要素の位置にある第１の要素の値を読み出し、第４の変換ステップ２６５において、読み出した値を第２の要素の第８のデータ型の値に変換し、第４の書き込みステップ２６７において、第２のメモリ領域ＳＰＢ内の第２の要素の位置に第８のデータ型に変換した値を書き込むことを含む。
第１のデータ要素ＧＡ及び第２のデータ要素ＧＢがそれぞれ、第１の関係Ｒ１がそれぞれ識別され、第１のデータ型及び第２のデータ型が互いに変換され得る複数の第１のデータサブ要素ＧＡ１及び複数の第２のデータサブ要素ＧＢ１を含み、複数の第１のデータサブ要素ＧＡ１が異なる第２のデータ型を含み、複数の第２のデータサブ要素ＧＢ１が複数の異なる第４のデータ型を含む場合、第１の移行関数ＭＩＧ１は、第１の部分移行ステップ２３１において、複数の第１のデータサブ要素ＧＡ１を複数の第２のデータサブ要素ＧＢ１にマッピングするための複数の異なる第２の移行関数ＭＩＧ２にアクセスする。複数の第２移行関数ＭＩＧ２は、複数の第３データ型と複数の第４データ型とでそれぞれ異なる。各第２の移行関数ＭＩＧ２は、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングするために、第２の読み出しステップ２３３、第２の変換ステップ２３５、及び第２の書き込みステップ２３７をそれぞれ通過する。
第１のデータサブ要素ＧＡ１が複数の第１の構成要素ＭＡをそれぞれ含み、第２のデータサブ要素ＧＢ１が複数の第２の構成要素ＭＢをそれぞれ含み、複数の第１の構成要素ＭＡが複数の異なる第５のデータ型を含み、複数の第２の構成要素ＭＢが複数の異なる第６のデータ型を含む場合、第２の部分移行ステップ２４５において、第２の移行関数ＭＩＧ２は、複数の第１の構成要素ＭＡを複数の第２の構成要素ＭＢにマッピングするための複数の第３の移行関数ＭＩＧ３にアクセスし、第３の移行関数ＭＩＧ３のそれぞれは、マッピングされる第５のデータ型及び第６のデータ型に関して異なる。第２の部分移行ステップ２４５において、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングするためのそれぞれの第３の移行関数ＭＩＧ３は、第３の読み出しステップ２４７、第３の変換ステップ２４９、及び第３の書き込みステップ２５１を実行する。
第１のデータサブ要素ＧＡ１が複数の第１の要素を含み、第２のデータサブ要素ＧＢ１が複数の第２の要素を含む場合、第３の部分移行ステップ２６１において複数の第１の要素を第２の要素にマッピングするために、第４の移行関数ＭＩＧ４は、第２の移行関数ＭＩＧ２によって複数回、連続してアクセスされ、第３の関係に従って関連付けられた第２の要素によってそれぞれの第１の要素をマッピングする。それぞれのマッピングのために、第４の移行関数ＭＩＧ４は、第３の部分移行ステップ２６１において、第４の読み出しステップ２６３、第４の変換ステップ２６５、及び第４の書き込みステップ２６７を実行する。代替的に、連続する第１のインデックス範囲は、第３の関係を介して、連続する第２のインデックス範囲に関連付けられてもよい。
一実施形態において、ＭＩＧ２は、ネストされたループ（次元当たり１つ）を含み、ＭＩＧ４は、最も内側のループでアクセスされる。この利点は、第２の移行関数ＭＩＧ２からのコードサイズがフィールド型の次元数において線形であり、フィールド型のサイズと共に線形に増加しないことである。第４の移行関数ＭＩＧ４へのアクセスがループ無しでフィールド型の各要素に対して生成された場合、第２の移行関数ＭＩＧ２のコードは、大きなフィールド型の問題のあるサイズにすばやく到達し、もはや実行できなかった、又は実行に困難を伴った。
代替的に、複数の第１の要素を複数の第２の要素にマッピングするために、複数の第４の移行関数ＭＩＧ４は、第２の移行関数ＭＩＧ２によって連続的にアクセスされ、それぞれの第１の要素がそれぞれの第４の移行関数ＭＩＧ４に従った第３の関係に従って関連付けられた第２の要素にマッピングされるように、複数の第４の移行関数ＭＩＧ４を生成することができる。それぞれの個々の第４の移行関数ＭＩＧ４は、第４の読み出しステップ２６３、第４の変換ステップ２６５、及び第４の書き込みステップ２６７を通過して、第３の部分移行ステップにおいて、対応する第１の要素を対応する第２の要素にマッピングする。
移行ステップ２０７を完了した後、図４の実施形態による方法２００は、第１の検証ステップ２０９、置換ステップ２０２、及び第１の制御ステップ２１１又は第２の制御ステップ２１３を継続する。
一実施形態によれば、自動化システム１００は、自動化システム１００の制御プログラムを解釈するように構成された変換モジュール１０９を含む。更に、変換モジュール１０９は、第１の生成ステップ２０１、第１の識別ステップ２２３、第２の識別ステップ２２５、第３の識別ステップ２２７、第２の生成ステップ２２９、第４の識別ステップ２３９、第５の識別ステップ２４１、第３の生成ステップ２４３、第６の識別ステップ２５３、第７の識別ステップ２５５、第４の生成ステップ２５７、及びインデックス決定ステップ２５９を実行するように構成される。
更なる実施形態によれば、第２のデータ要素ＧＢは、移行ステップ２０７を実行する前に初期化されてもよい。第２のデータ構成要素ＧＢを初期化することにより、第２のデータ要素ＧＢの値は、全ての第２のデータサブ要素ＧＢ１の値、又は全ての第２の構成要素ＭＢ又は全ての第２の構成要素の値を含む初期値にセットアップされる。
第１の部分移行ステップ２３１、第２の部分移行ステップ２４５、及び第３の部分移行ステップ２６１を含む移行ステップ２０７を実行するとき、第１の関係Ｒ１、第２の関係Ｒ２及び／又は第３の関係のための、第２のデータサブ要素ＧＢ１、第２の構成要素ＭＢ及び／又は第２の構成要素のために、対応する第１のデータサブ要素ＧＡ１、対応する第１の構成要素ＭＡ及び／又は対応する第１の構成要素が識別され、第２の移行関数ＭＩＧ２、第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４が生成され、それぞれの初期値は、識別された関係を介して、第１のデータサブ要素ＧＡ１、第１の構成要素ＭＡ及び／又は関連付けられた第１の構成要素の対応する移行された値によって上書きされる。第２のデータサブ要素ＧＢ１、第２の構成要素ＭＢ、及び／又は第１のデータサブ要素ＧＡ１、第１の構成要素ＭＡ、及び／又は第１の要素のいずれとも関係が識別され得ない第２の要素について、それぞれの初期値は、移行ステップ２０７の完了後に保持される。
第１の制御ステップ２１１における第２のデータ要素ＧＢを根拠として、第１の関係Ｒ１、第２の関係Ｒ２及び／又は第３の関係の形式で第１のデータ要素ＧＡ内で対応関係を識別することができなかった第２のデータ要素ＧＢのオブジェクトは、第２の制御プログラムＢのサイクリックの実行の間、それぞれのオブジェクトに対応する初期値を考慮して使用される。
図６は、一実施形態による自動化システム１００の第１の制御プログラムＡの更新バージョンとしての第２の制御プログラムＢの生成プロセスの模式図を示す。
図６に示す実施形態によれば、変換モジュール１０９は、第２の制御プログラムＢのソースコードＱＢを考慮して、第２の制御プログラムＢを第１の制御プログラムＡの更新バージョンとして生成する。この目的のために、変換モジュール１０９は、入力ステップ３０９において、第２の制御プログラムＢのソースコードＱＢを読み込む。コンパイル処理３０１の変換ステップ３０３において、変換モジュール１０９は、第２の制御プログラムＢのソースコードＱＢを、第２の制御プログラムＢに基づいて自動化システム１００を制御するために自動化システム１００のコントローラ１０１によって実行されてもよい第２の制御プログラムＢの実行可能コードＰＢに変換する。第２の制御プログラムＢの実行可能コードＰＢは、出力ステップ３１１において、変換モジュール１０９を出力する。
コンパイル処理３０１において、変換モジュール１０９は更に、第１のデータ型ＴＧＡＤの定義を考慮に入れ、変換モジュールは、入力ステップ３０９において読み込む。第１のデータ要素ＧＡの第１のデータ型ＴＧＡＤの定義は、第１のデータ要素ＧＡの第１のデータ型とともに、全ての第１のデータサブ要素ＧＡ１の全ての第３のデータ型、全ての第１のデータサブ要素ＧＡ１の全ての第１の構成要素ＭＡの全ての第５のデータ型、及び第１のデータ要素ＧＡの全ての第１のデータ要素ＧＡ１の全ての第１の要素の全ての第７のデータ型を定義する。従って、第１のデータ型ＴＧＡＤの定義は、全ての第１のデータ型、全ての第３のデータ型、全ての第５のデータ型ＴＭＡ、及び第１のデータ要素ＧＡの全てのオブジェクトの全ての第７のデータ型を含む。
更に、コンパイル処理３０１において、変換モジュール１０９は、第２の生成ステップ３０７において、第２の制御プログラムＢのソーステキストＱＢから第２のデータ型ＴＧＢＤの定義を生成し、これは、出力ステップ３１１において出力される。第１のデータ型ＴＧＡＤの定義と同様に、第２のデータ型ＴＧＢＤの定義は、第２のデータ要素ＧＢの第２のデータ型並びに、全ての第２のデータサブ要素ＧＢ１の全ての第４のデータ型、並びに全ての第２のデータサブ要素ＧＢ１の全ての第２のデータサブ構成要素ＭＢの全ての第６のデータ型、並びに第２のデータ要素ＧＢの全ての第２のデータサブ構成要素ＧＢ１の全ての第２の要素の全ての第８のデータ型を含む。第１のデータ型ＴＧＡＤの定義と同様に、第２のデータ型ＴＧＢＤの定義は、全ての第２のデータ型、全ての第４のデータ型、全ての第６のデータ型、及び第２のデータ要素ＧＢの全てのオブジェクトの全ての第８のデータ型を含む。
更に、コンパイルステップ３０１において、変換モジュール１０９は、第１の生成ステップ３０５において移行コードＭＡＢを生成し、これは、出力ステップ３１１において出力される。移行コードＭＡＢは、第１の生成ステップ２０１、第２の生成ステップ２２９、第３の生成ステップ２４３、及び第４の生成ステップ２５７においてそれぞれ生成された、全ての第１の移行関数ＭＩＧ１、全ての第２の移行関数ＭＩＧ２、全ての第３の移行関数ＭＩＧ３、及び全ての第４の移行関数ＭＩＧ４を含む。第１の生成ステップ３０５及び関連付けられた第１の生成ステップ２０１、第２の生成ステップ２２９、第３の生成ステップ２４３、及び第４の生成ステップ２５７を実行するために、変換モジュール１０９は、第１のデータ型ＴＧＡＤの定義と、第２の生成ステップ３０７で生成された第２のデータ型ＴＧＢＤの定義とを考慮する。
全ての第１のデータ型、全ての第３のデータ型、全ての第５のデータ型ＴＧＭＡ及び第１のデータ要素ＧＡの全てのオブジェクトの全ての第７のデータ型を含む第１のデータ型ＴＧＡＤの定義を根拠として、全ての第２のデータ型、全ての第４のデータ型、全ての第６のデータ型ＴＧＭＢ及び第２のデータ要素ＧＢの全てのオブジェクトの全ての第８のデータ型を含む第２のデータ型ＴＧＢＤの定義を考慮して、第１の生成ステップ２０１において、第１の移行関数ＭＩＧ１は、変換モジュール１０９によって生成され、第２の生成ステップ２２９において、第２の移行関数ＭＩＧ２は、生成され、第３の生成ステップ２４３において、第３の移行関数ＭＩＧ３は、生成され、第４の生成ステップ２５７において、第４の移行関数ＭＩＧ４は、生成される。代替的に、変換モジュール１０９は、第２の制御プログラムＢのソースコードＱＢから直接、移行関数を生成するための情報を抽出することができる。第１の移行関数ＭＩＧ１、第２の移行関数ＭＩＧ２の全て、第３の移行関数ＭＩＧ３の全て、及び第４の移行関数ＭＩＧ４の全てに加えて、第１の生成ステップ３０５において変換モジュール１０９によって生成された移行コードＭＡＢは、第１のデータ要素ＧＡの対応するオブジェクトを第２のデータ要素ＧＢの対応するオブジェクトに移行するための個々の第１の移行関数ＭＩＧ１、第２の移行関数ＭＩＧ２、第３の移行関数ＭＩＧ３、及び第４の移行関数ＭＩＧ４にアクセスして実行する方法に関する実行命令を含む。
図７は、一実施形態による自動化システム１００の制御プログラムＡのデータ要素の移行プロセスの模式図を示す。
図７は、第１のデータ要素ＧＡから第２のデータ要素ＧＢへの移行プロセスを示しており、第１のデータ要素ＧＡは、第１のデータサブ要素ＧＡ１を含み、第２のデータ要素ＧＢは、第２のデータサブ要素ＧＢ１を含む。図示されている移行プロセスは、上記の生成ステップにおいて移行関数を生成することと、対応する移行関数を適用することによって移行されるオブジェクトのマッピングを実行することとを含む。
第１に、変換モジュール１０９は、第１の生成ステップ２０１において、第１の移行関数ＭＩＧ１を生成し、第２の生成ステップ２２９において、第２の移行関数ＭＩＧ２を生成し、第３の生成ステップ２４３において、第３の移行関数ＭＩＧ３を生成し、第４の生成ステップ２５７において、第４の移行関数ＭＩＧ４を生成する。移行関数は、移行コードＭＡＢの一部である。
第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡを第２のデータ要素ＧＢにマップするために具体化される。第２の移行関数ＭＩＧ２は、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマップするように構成される。図示された実施形態は、第１のデータ要素ＧＡを第２のデータ要素ＧＢにマッピングし、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングすることに限定される。更なる第１の構成要素ＭＡ、第２の構成要素ＭＢ、第１の要素、及び第２の要素は、示されていない。第１のデータサブ要素ＧＡ１が第１の構成要素ＭＡ又は第１の要素を持たない場合、又は第２のデータサブ要素ＧＢ１が第２の構成要素ＭＢ又は第２の要素を持たない場合、第３の移行関数ＭＩＧ３及び第４の移行関数ＭＩＧ４は、生成されない。
移行を実行するために、アクセスされた第１の移行関数ＭＩＧ１は、第１の読み出しステップ２１７において、第１のメモリ領域ＳＰＡ内の第１のデータ要素ＧＡの値を読み出す。ここで、第１のデータ要素ＧＡの第１のデータ型を認識している第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡの第１のデータサブ要素ＧＡ１を識別する。識別は、第１の移行関数ＭＩＧ１が所与のアドレスＧＡからＧＡ１のアドレスを導出することを含むことができる。第１の移行関数ＭＩＧ１は更に、第２のデータ要素ＧＢの第２のデータ型を認識し、第２のデータ要素ＧＢの第２のデータサブ要素ＧＢ１を識別する。更に、第１の移行関数ＭＩＧ１は、第１のデータ要素ＧＡのメモリ位置ＰＧＡと、第１のメモリ領域ＳＰＡ内の第１のデータサブ要素ＧＡ１のメモリ位置ＰＧＡ１とを知っている。代替的に、第１の移行関数ＭＩＧ１がアクセスされるとき、第１のデータ要素ＧＡのメモリ位置ＰＧＡ、及び第１のメモリ領域ＳＰＡ内の第１のデータサブ要素ＧＡ１のメモリ位置ＰＧＡ１、及び／又は第２のデータ要素ＧＢのメモリ位置ＰＧＢ、及び第２のメモリ領域ＳＰＢ内の第２のデータサブ要素ＧＢ１のメモリ位置ＰＧＢ１は、第１の移行関数ＭＩＧ１に転送される。代替的に、第１のデータ要素ＧＡのメモリ位置ＰＧＡと第２のデータ要素ＧＢのメモリ位置ＰＧＢに基づいて、第１の移行関数ＭＩＧ１は、第１のデータサブ要素ＧＡ１のメモリ位置ＰＧＡ１と第２のデータサブ要素ＧＢ１のメモリ位置ＰＧＢ１を導出することができる。更に、第１の移行関数ＭＩＧ１は、第２のデータ要素ＧＢのメモリ位置ＰＧＢと、第２のメモリ領域ＳＰＢにおける第２のデータサブ要素ＧＢ１のメモリ位置ＰＧＢ１とを知っている。
続いて、第１の移行関数ＭＩＧ１は、第１の部分移行ステップにおいて、第１のデータサブ要素ＧＡ１を第２のデータサブ要素ＧＢ１にマッピングするための第２の移行関数ＭＩＧ２にアクセスする。更に、第１の移行関数ＭＩＧ１は、第１のメモリ領域ＳＰＡ内の第１のデータサブ要素ＧＡ１のメモリ位置ＰＧＡ１と、第２のメモリ領域ＳＰＢ内の第１のデータサブ要素ＧＢ１のメモリ位置ＰＧＢ１を第２の移行関数ＭＩＧ２に渡す。
その後、第２の読み出しステップ２３３において、第２の移行関数ＭＩＧ２は、第１のメモリ領域ＳＰＡ内の第１のデータサブ要素ＧＡ１の位置ＰＧＡ１で、第１のデータサブ要素ＧＡ１の値を読み出す。続いて、第２の変換ステップ２３５（図７には図示せず）において、第２の移行関数ＭＩＧ２は、第１のデータサブ要素ＧＡ１の読み出し値を第３のデータ型から第２のデータサブ要素ＧＢ１の第４のデータ型の値に変換する。
以下において、第２の移行関数ＭＩＧ２は、第２の書き込みステップ２３７において、第１のデータサブ要素ＧＡ１の変換された値を、第２のメモリ領域ＳＰＢ内の第２のデータサブ要素ＧＢ１のメモリ位置ＰＧＢ１に書き込む。従って、第１のデータサブ要素ＧＡ１の値は、第２のデータサブ要素ＧＢ１にマッピングされる。
以下において、第１の終了ステップ２３８において、第２の移行関数ＭＩＧ２は、終了し、第１の移行関数ＭＩＧ１は、実行し続ける。
以下において、第１の移行関数ＭＩＧ１は、第１の書き込みステップ２２１において、第２のメモリ領域ＳＰＢ内の第２のデータ要素ＧＢのメモリ位置ＰＧＢに第１のデータ要素ＧＡの値を書き込む。従って、第１のデータ要素ＧＡの値は、第２のデータ要素ＧＢにマッピングされ、移行処理は、完了する。本実施形態において、第１のデータ要素ＧＡは、第１のデータサブ要素ＧＡ１のみを含み、第２のデータ要素ＧＢは、第２のデータサブ要素ＧＢ１のみを含む。本発明による方法２００は、それに限定されることを意図せず、第１のデータ要素ＧＡ及び第２のデータ要素ＧＢの両方は、より複雑なデータ構造を有することができ、それぞれ、複数の第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１を含むことができ、これらは、同様に、複雑なデータ構造を有することができ、一方で、複数の第１の構成要素ＭＡ及び／又は第１の要素と、複数の第２の構成要素ＭＢ及び／又は複数の第２の要素とをそれぞれ含むことができる。
方法２００は、再帰的に継続するが、これは、明確にするために図７には示されていない。複数の第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１を考慮すると、第１の移行関数ＭＩＧ１によって第２の移行関数ＭＩＧ１は、連続して複数回アクセスされる。代替的に、第２の移行関数ＭＩＧ２は、続けて複数回アクセスされる。次に、第２の移行関数は、第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４に、場合によっては複数回アクセスする。第２の移行関数ＭＩＧ２は、第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４が全て完了するまで実行される。第１の移行関数ＭＩＧ１は、全ての第２の移行関数ＭＩＧ２が完了するまで実行される。
図８は、更なる実施形態による自動化システム１００の制御プログラムＡのデータ要素の移行プロセスの模式図を示す。
図８は、移行プロセスの更なる実施形態を示す。図７の実施形態から逸脱すると、図８の第１のデータ要素ＧＡは、第１のデータサブ要素ＧＡ１と、第１のデータサブ要素ＧＡ１１を含み、第１のデータサブ要素ＧＡ１は、複合型であり、３つの第１の構成要素ＭＡを含む。更なる第１のデータサブ要素ＧＡ１１は、異なる第３のデータ型であり、これは、以下の説明において何の役割も果たさず、従って、無視される。
第２のデータサブ要素ＧＢは、同様に、第２のデータサブ要素ＧＢ１及び更なる第２のデータサブ要素ＧＢ１１を含み、そのうちの第２のデータサブ要素ＧＢ１は同様に、複合型であり、３つの第２の構成要素ＭＢを含む。更なる第２のデータサブ要素ＧＢ１１は、更に異なる、第４のデータ型であり、これは、更なる説明において役割を果たさず、従って、無視される。
第１のデータサブ要素ＧＡ１と第２のデータサブ要素ＧＢ１は、第１の関係Ｒ１を介して互いに関連づけられる。更なる第１のデータサブ要素ＧＡ１１は、関係を介して、第２のデータサブ要素ＧＢ１及び更なる第２のデータサブ要素ＧＢ１１に関連付けられていない。同じことが、第１のデータサブ要素ＧＡ１及び更なる第１のデータサブ要素ＧＡ１１のいずれにも関連付けられていない、更なる第２のデータサブ要素ＧＢ１１にも適用される。
第１のデータサブ要素ＧＡ１の２つの第１の構成要素ＭＡは、第２の関係Ｒ２を介して第２のデータサブ構成要素ＧＢ１の２つの第２の構成要素ＭＢと関連付けられる。第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡは、第２のデータサブ要素ＧＢ１の第２の構成要素ＭＢに関連付けられていない。同じことは、更に第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡのいずれとも関連付けられていない第２のデータサブ要素ＧＢ１の第２の構成要素ＭＢに適用される。
第１のデータサブ要素ＧＡ１を、第１の関係Ｒ１を介してこの第１のデータサブ要素ＧＡ１に関連する第２のデータサブ要素ＧＢ１にマッピングするために、第２の移行関数ＭＩＧ２は、Ｒ２を介して関連付けられた第１の構成要素ＭＡ及び第２の構成要素ＭＢの各ペアに対して第３の移行関数ＭＩＧ３にアクセスし、各第１の構成要素ＭＡ及び第２の構成要素ＭＢのメモリアドレスは、渡される。以前に、第２の移行関数ＭＩＧ２は、図７について説明したように、第１の移行関数ＭＩＧ１によってアクセスされており、第１のデータサブ要素ＧＡ１及び第２のデータサブ要素ＧＢ１の対応するメモリ位置は、第２の移行関数ＭＩＧ２に転送されていたが、これは明確にするために図８には示されていない。
第２の移行関数ＭＩＧ２は、第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡのデータ型と、第２のデータサブ要素ＧＢ１の第２の構成要素ＭＡのデータ型との知識を用いて生成された。結果として、第２の部分移行ステップ２４５において、第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡのデータ型と、第２のデータサブ要素ＧＢ１の第２の構成要素ＭＡのデータ型との知識を用いて、第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡを第２のデータサブ要素ＧＢ１の第１の第２の構成要素ＭＢにマッピングするための対応する第３の移行関数ＭＩＧ３にアクセスする。第３の移行関数ＭＩＧ３は、最初に、第１の構成要素ＭＡを第２の構成要素ＭＢに、例えば左の第１の構成要素ＭＡを左の第２の構成要素ＭＢにマッピングし、最初にその上で終了する。第１の構成要素ＭＡ及び第２の構成要素ＭＢがそれぞれ同じデータ型である場合、第３の移行関数ＭＩＧ２は、再びアクセスされ、右側の第１の構成要素ＭＡが中央の第２の構成要素ＭＢにマッピングされる。その後、第３の移行関数ＭＩＧ３は、第２の終了ステップ２５２において終了し、第２の移行関数ＭＩＧ２は、実行を継続する。第１の構成要素ＭＡと第２の構成要素ＭＢがそれぞれ同じデータ型でない場合、２つの異なる第３の移行関数にアクセスし、第１の構成要素ＭＡを第２の構成要素ＭＢにマッピングする。
第３の移行関数ＭＩＧ３は、第２の移行関数ＭＩＧ２から、第１のメモリ領域ＳＰＡ内の左の第１の構成要素ＭＡのメモリ位置と、第２のメモリ領域ＳＰＢ内の左の第２の構成要素ＭＢのメモリ位置を受信する。第２の関係Ｒ２を介して第２のデータサブ要素ＧＢ１の左の２つの第２の構成要素ＭＢに関連する左の第１の構成要素ＭＡのみが、第３の移行関数ＭＩＧ３によってマッピングされる。その後、第３の移行関数ＭＩＧ３は、終了し、第２の移行関数ＭＩＧ２によって再びアクセスされ、右の第１の構成要素ＭＡを中央の第２の構成要素ＭＢにマッピングする。この目的のために、第３の移行関数ＭＩＧ３は、第１のメモリ領域ＳＰＡ内の右の第１の構成要素ＭＡのメモリ位置と、第２のメモリ領域ＳＰＢ内の中央の第２の構成要素ＭＢのメモリ位置とを、第２の移行関数ＭＩＧ２から受信する。第３の移行関数ＭＩＧ３のこのバージョンにおいて、右側の第１の構成要素ＭＡのみは、マッピングされる。
マッピングのために、いずれの場合において、第３の移行関数ＭＩＧ３は、第３の読み出しステップ２４７において、第１のデータサブ要素ＧＡ１の第１の構成要素ＭＡの値をそれぞれ読み出す。第３の変換ステップ２４９（図８には示されていない）において、第３の移行関数は、第１の構成要素ＭＡの読み出し値を、第２のデータサブ要素ＧＢ１の第２の構成要素ＭＢの第６のデータ型に変換する。第３の書き込みステップ２５１において、第３の移行関数ＭＩＧ３は、変換された値を第２のメモリ領域ＳＰＢ内の第２の構成要素ＭＢの位置に書き込む。これは、第１構成要素ＭＡの値を第２構成要素ＭＢにマッピングする。
中央の第１の構成要素ＭＡは、第２の関係Ｒ２を介して第２のデータサブ構成要素ＧＢ１の第２の構成要素ＭＢに関連付けられておらず、第３の移行関数ＭＩＧ３を介して第２のデータサブ構成要素ＧＢ１にマッピングされていない。従って、中央の第１の構成要素ＭＡの情報は、第２のデータサブ要素ＧＢに転送することができない。
２つの第１の構成要素ＭＡを２つの第２の構成要素ＭＢにマッピングした後、第３の移行関数ＭＩＧ３は、第２の終了ステップ２５２において終了され、第２の移行関数ＭＩＧ２は、引き続き実行される。更なる第１の構成要素ＭＡが更なる第２の構成要素ＭＢにマッピングされる、又は更なる第１の構成要素が更なる第２の構成要素にマッピングされる場合、第２の移行関数ＭＩＧ２は、これを実行し、更なる第３の移行関数ＭＩＧ３及び／又は第４の移行関数ＭＩＧ４にアクセスする。更なる構成要素又は要素が移行されるべきでない場合、第２の移行関数は、第１の終了ステップ２３８において終了される。これは、第１のデータサブ要素ＧＡ１の値が第２のデータサブ要素ＧＢ１にマッピングする。
更に第１のデータサブ要素ＧＡ１１は、第１の関係Ｒ１を介して第２のデータサブ要素ＧＢ１、ＧＢ１１のいずれにも関連付けられておらず、データ移行において第２のデータサブ要素ＧＢ１、ＧＢ１１にマッピングされない。従って、更なる第１のデータサブ要素ＧＡ１１の情報は、第２のデータ要素ＧＢに転送されなくてもよい。
第１のデータサブ要素ＧＡ１のいずれにも関連付けられていない、更なる第２のデータサブ要素ＧＢ１１と、第１の構成要素ＭＡのいずれにも関連付けられていない右の第２の構成要素ＭＢとは、初期化ステップ２６９において初期化され、更なる第２のデータサブ要素ＧＢ１１の値と第２の構成要素ＭＢの値とは、初期値にセットされる。代替的に、移行関数を実行する前に、全ての第２のデータ要素ＧＢ１、第２の構成要素ＭＢ及び／又は第２のデータ要素ＧＢの第２の構成要素は、初期化されてよい。移行関数の移行又は実行は、第２のデータサブ要素ＧＢ１、第２の構成要素ＭＢ及び／又は第２のデータ要素ＧＢの第２の要素の初期値を、対応する第１のデータサブ要素ＧＡ１、第１の構成要素ＭＡ及び／又は第１のデータ要素ＧＡの第１の要素の値で上書きする。
これは、第１のデータサブ要素ＧＡ１から第２のデータサブ要素ＧＢ１への移行を完了する。第２の移行関数と第３の移行関数を複合型である第１のデータサブ要素ＧＡ１に適用することにより、第１のデータ要素ＧＡの値で表現される第１の制御プログラムＡのグローバル状態の一部を第２のデータ要素ＧＢにマッピングすることができた。第２のデータ要素ＧＢに対応しない第１のデータ要素ＧＡのオブジェクト、特に、第１の関係Ｒ１を介して、任意の第２のデータサブ要素ＧＢ１にも関連しない第１のデータサブ要素ＧＡ１１を表現し、第２の関係Ｒ２を介して、任意の第２の構成要素ＭＢにも関連しない表現された中央の第１の構成要素ＭＡを、移行プロセスにおいてマッピングすることができなかった。
移行プロセスを完了した後、第２のデータ要素ＧＢは、対応する移行関数を適用することによってマッピングすることができる第１の要素のオブジェクトの値を含み、その値が初期値を含むオブジェクト、特に、第１の関係Ｒ１を介して、任意の第１のデータサブ要素ＧＡ１にも関連付けられていない第２のデータサブ要素ＧＢ１１と、第２の関係Ｒ２を介して、任意の第１の構成要素ＭＡにも関連付けられていない右の第２の構成要素ＭＢとを含む。
第１の制御プログラムＡを根拠として実行される最後の制御サイクルの時点で第１のデータ要素ＧＡの値によって表現される、第１の制御プログラムＡと自動化システム１００のグローバル状態を完全に移行するために必要とされ得る更なるステップは、図８に記載されていない。フィールド型の第１のデータサブ要素ＧＡ１の同じフィールド型の第２のデータサブ要素ＧＢ１へのデータ移行は、図８に記載されている移行プロセスと同様に実行される。上記の複合型の移行との相違は、フィールド型のデータサブ要素ＧＡ１の第１の要素が全て同じデータ型を有するという事実から生じ、このことは、そのフィールドタイプのデータサブ要素ＧＡ１の第１の要素にも適用する。結果として、第４の移行関数ＭＩＧ４のみが必要とされ、これは、ループ内で、又はネスティングされたループ内で実行され、第１の要素を第２の要素に連続的に個別にマッピングする。
〔参照番号の一覧〕

１００ 自動化システム
１０１ コントローラ
１０３ マスター加入者
１０５ スレーブ加入者
１０７ バスシステム
１０９ コンパイラモジュール

Ａ 第１の制御プログラム
Ｐａ 第１の実行可能コード
ＭＡＢ 移行コード
ＳＰＳ メモリ
ＳＰＡ 第１のメモリ領域
ＧＡ 第１のデータ要素
ＰＧＡ 第１のデータ要素のメモリ位置
ＴＧＡＤ 第１のデータ型の定義
ＧＡ１ 第１のデータサブ要素
ＧＡ１１ 更なる第１のデータサブ要素
ＰＧＡ１ 第１のデータサブ要素のメモリ位置
ＭＡ 第１の構成要素
ＰＭＡ 第１の構成要素のメモリ位置
Ｂ 第２の制御プログラム
ＱＢ 第２の制御プログラムのソーステキスト
ＰＢ 第２の実行可能コード
ＳＰＢ 第１のメモリ領域
ＧＢ 第２のデータ要素
ＰＧＢ 第２のデータ要素のメモリ位置
ＴＧＢＤ 第２のデータ型の定義
ＧＢ１ 第２のデータサブ要素
ＧＢ１１ 更なる第２のデータサブ要素
ＰＧＢ１ 第２のデータサブ要素のメモリ位置
ＭＢ 第２の構成要素
ＰＭＢ 第２の構成要素のメモリ位置
Ｒ１ 第１の関係
Ｒ２ 第２の関係

ＭＩＧ１ 第１の移行関数
ＭＩＧ２ 第２の移行関数
ＭＩＧ３ 第３の移行関数
ＭＩＧ４ 第４の移行関数

２００ 制御プログラムの更新のための方法
２０１ 第１の生成ステップ
２０２ 交換ステップ
２０３ 中断ステップ
２０４ 第１の読み出し／書き込みステップ
２０５ 第１の決定ステップ
２０６ 第２の読み出し／書き込みステップ
２０７ 移行ステップ
２０９ 第１の検証ステップ
２１１ 第１の制御ステップ
２１３ 第２の制御ステップ
２１５ 第２の検証ステップ
２１７ 第１の読み出しステップ
２１９ 第１の変換ステップ
２２１ 第１の書き込みステップ
２２３ 第１の識別ステップ
２２５ 第２の識別ステップ
２２７ 第３の識別ステップ
２２９ 第２の生成ステップ
２３１ 第１の部分移行ステップ
２３３ 第２の読み出しステップ
２３５ 第２の変換ステップ
２３７ 第２の書き込みステップ
２３８ 第１の終了ステップ
２３９ 第４の識別ステップ
２４１ 第５の識別ステップ
２４３ 第３の生成ステップ
２４５ 第２の部分移行ステップ
２４７ 第３の読み出しステップ
２４９ 第３の変換ステップ
２５１ 第３の書き込みステップ
２５２ 第２の終了ステップ
２５３ 第６の識別ステップ
２５５ 第７の識別ステップ
２５７ 第４の生成ステップ
２５９ インデックス決定ステップ
２６１ 第３の部分移行ステップ
２６３ 第４の読み出しステップ
２６５ 第４の変換ステップ
２６７ 第４の書き込みステップ
２６８ 第３のリターンステップ
２６９ 初期化ステップ

３０１ コンパイルプロセス
３０３ 変換ステップ
３０５ 第１の生成ステップ
３０７ 第２の生成ステップ
３０９ 入力ステップ
３１１ 出力ステップ

Claims (15)

  1. 自動化システム（１００）の制御プログラムを、前記制御プログラムのプログラム状態のデータ移行で更新する方法（２００）であって、前記自動化システム（１００）のコントローラ（１０１）は、第１の制御プログラム（Ａ）及び第２の制御プログラム（Ｂ）を含み、前記第１の制御プログラム（Ａ）は、前記自動化システム（１００）を制御するためにサイクリックに実行され、前記第２の制御プログラム（Ｂ）は、前記第１の制御プログラム（Ａ）の更新であり、前記第１の制御プログラム（Ａ）は、前記第１の制御プログラム（Ａ）のプログラム状態を記述し、前記コントローラ（１０１）の第１のメモリ領域（ＳＰＡ）に保存された、第１のデータ型の第１のデータ要素（ＧＡ）を含み、前記第１のデータ要素（ＧＡ）は、前記第１の制御プログラム（Ａ）を実行するために必要とされる複数の第１のデータサブ要素（ＧＡ１）を含み、前記第２の制御プログラム（Ｂ）は、前記第２の制御プログラム（Ｂ）のプログラム状態を記述し、第２のメモリ領域（ＳＰＢ）に保存された、第２のデータ型の第２のデータ要素（ＧＢ）を含み、前記第２のデータ要素（ＧＢ）は、前記第２の制御プログラム（Ｂ）を実行するために必要とされる複数の第２のデータサブ要素を含み、
    前記方法（１００）は、
    初期化ステップ（２６９）において、前記第２のデータ要素（ＧＢ）を初期化するステップであって、初期化するステップは、前記第２のデータ要素（ＧＢ）の値を事前定義された初期の値にセットするステップを含み、前記第２のデータ要素（ＧＢ）の初期化するステップは、前記第２のデータ要素の全ての第２のデータサブ要素（ＧＢ１）を初期化するステップを含む、ステップ、
    第１の生成ステップ（２０１）において、前記第１のデータ要素（ＧＡ）を前記第２のデータ要素（ＧＢ）にマッピングするための第１の移行関数（ＭＩＧ１）を生成するステップ、
    中断ステップ（２０３）において、前記第１の制御プログラム（Ａ）の前記サイクリック実行を中断するステップ、
    第１の決定ステップ（２０５）において、前記第１のデータ要素（ＧＡ）の値を決定するステップであって、前記第１のデータ要素（ＧＡ）の前記決定された値は、前記中断時の前記第１の制御プログラム（Ａ）のプログラム状態を記述する、ステップ、及び
    移行ステップ（２０７）において、前記第１の移行関数（ＭＩＧ１）を実行することによって前記第１のデータ要素（ＧＡ）の前記値を前記第２のデータ要素（ＧＢ）にマッピングし、第１のデータサブ要素（ＧＡ１）の値を、初期の値によって初期化された第２のデータサブ要素（ＧＢ１）に書き込むステップであって、前記初期化ステップ（２６９）は、時間的には、前記移行ステップ（２０７）より前に実行される、ステップ、を含むことを特徴とする、方法（２００）。
  2. 第１の検証ステップ（２０９）において、前記第１のデータ要素（ＧＡ）の前記値が前記第２のデータ要素（ＧＢ）に十分に正確にマッピングされ得るかどうかを検証するステップであって、前記第１のデータ要素（ＧＡ）の前記値が前記第２のデータ型で表され得る場合、前記第１のデータ要素（ＧＡ）の前記値が第２のデータ要素（ＧＡ）に十分に正確にマッピングされ得る、ステップ、
    前記第１のデータ要素（ＧＡ）の前記値が前記第２のデータ要素（ＧＢ）にマッピングされ得る場合、第１の制御ステップ（２１１）において、前記第２のデータ要素（ＧＢ）を考慮に入れる前記第２の制御プログラム（Ｂ）にサイクリックに実行し、且つ、前記第２の制御プログラム（Ｂ）に基づいて前記自動化システム（１００）を制御するステップ、及び
    前記第１のデータ要素（ＧＡ）の前記値が前記第２のデータ要素（ＧＢ）にマップされることができない場合、第２の制御ステップ（２１３）において、前記第１のデータ要素（ＧＡ）を考慮に入れ、前記第１の制御プログラム（Ａ）の前記サイクリック実行を継続し、前記第１の制御プログラム（Ａ）に基づいて前記自動化システム（１００）を制御するステップ、
    を更に含む、請求項１に記載の方法（２００）。
  3. 前記移行ステップ（２０７）における前記第１のデータ要素（ＧＡ）の前記値を前記第２のデータ要素（ＧＢ）にマッピングすることが所定の期間を超える場合、前記第１のデータ要素（ＧＡ）の前記値は、前記第２のデータ要素（ＧＢ）に更に十分に正確にマッピングすることができない、請求項１又は２に記載の方法（２００）。
  4. 第２の検証ステップ（２１５）において、前記第１の移行関数（ＭＩＧ１）が前記第１の生成ステップ（２０１）において生成され得るかどうかを検証するステップ、及び
    前記第１の移行関数（ＭＩＧ１）が前記第１の生成ステップ（２０１）において生成されることができない場合、第２の制御ステップ（２１３）において、前記第１のデータ要素（ＧＡ）を考慮して前記第１の制御プログラム（Ａ）の前記サイクリック実行を継続し、前記第１の制御プログラム（Ａ）に基づいて前記自動化システム（１００）を制御するステップ、
    を更に含む、請求項１、２、又は３に記載の方法（２００）。
  5. 前記第１の移行関数（ＭＩＧ１）は、前記第１のメモリ領域（ＳＰＡ）内の前記第１のデータ型のデータを読み出し、前記第１のデータ型の読み出しデータを前記第２のデータ型のデータに変換し、且つ前記第２のデータ型に変換されたデータを前記第２のメモリ領域（ＳＰＢ）に保存するように構成され、
    前記移行ステップ（２０７）は、
    第１の読み出しステップ（２１７）において、前記第１の移行関数（ＭＩＧ１）を使用して、前記第１のメモリ領域（ＳＰＡ）内の前記第１のデータ要素（ＧＡ）のメモリ位置（ＰＧＡ）にある前記第１のデータ要素（ＧＡ）の前記値を読み出すステップ、
    第１の変換ステップ（２１９）において、前記移行関数（ＭＩＧ１）を使用して、前記第１のデータ要素（ＧＡ）の前記値を前記第２のデータ型の値に変換するステップ、及び 第１の書き込みステップ（２２１）において、前記第１の移行関数（ＭＩＧ１）を使用して、前記第２のメモリ領域（ＳＰＢ）内の前記第２のデータ要素（ＧＢ）のメモリ位置（ＰＧＢ）に、前記第２のデータ型に変換された前記第１のデータ要素（ＧＡ）の前記値を書き込むステップ、を含む、請求項１～４の何れか１項に記載の方法（２００）。
  6. 前記第１の生成ステップ（２０１）は、
    第１の識別ステップ（２２３）において、前記第１のデータ要素（ＧＡ）の前記データ型を、前記第１のデータ型として識別し、且つ前記第２のデータ要素（ＧＢ）の前記データ型を前記第２のデータ型として識別するステップであって、前記識別された第１のデータ型及び前記識別された第２のデータ型に基づいて前記第１の移行関数（ＭＩＧ１）が生成される、ステップ、
    を更に含む、請求項１～５の何れか１項に記載の方法（２００）。
  7. 前記第１の生成ステップ（２０１）は、
    前記第１のデータ要素（ＧＡ）の前記第１のデータ型及び前記第２のデータ要素（ＧＢ）の前記第２のデータ型が、それぞれ複合型である場合、及び前記第１のデータ要素（ＧＡ）が、第３のデータ型の少なくとも１つの第１のデータサブ要素（ＧＡ１）を含み、且つ前記第２のデータ要素が、第４のデータ型の少なくとも１つの第２のデータサブ要素（ＧＢ１）を含む場合、
    第２の識別ステップ（２２５）において、前記第１のデータサブ要素（ＧＡ１）の前記データ型を前記第３のデータ型として、且つ前記第２のデータサブ要素（ＧＢ１）の前記データ型を前記第４のデータ型として識別するステップ、
    第２の生成ステップ（２２９）において、前記識別された第３のデータ型と前記識別された第４のデータ型を根拠として、前記第１のデータサブ要素（ＧＡ１）を前記第２のデータサブ要素（ＧＢ１）にマッピングするための第２の移行関数（ＭＩＧ２）を生成するステップであって、前記第２の移行関数（ＭＩＧ２）は、前記第１のメモリ領域（ＳＰＡ）内の前記第３のデータ型のデータ要素を読み出し、前記第３のデータ型の読み出されたデータを前記第４のデータ型に変換し、且つ前記第２のメモリ領域（ＳＰＢ）内に前記第４のデータ型に変換されたデータを保存するように構成されている、ステップ、
    を更に含む、請求項１～６の何れか１項に記載の方法（２００）。
  8. 前記移行ステップ（２０７）は、
    第１の部分移行ステップ（２３１）において、前記第１の移行関数（ＭＩＧ１）を介して前記第２の移行関数（ＭＩＧ２）に実行するステップ、及び前記第２の移行関数（ＭＩＧ２）を実行し、前記第１のデータサブ要素（ＧＡ１）の値を前記第２のデータサブ要素（ＧＢ１）にマッピングするステップであって、前記第１の部分移行ステップ（２３１）は、
    第２の読み出しステップ（２３３）において、前記第２の移行関数（ＭＩＧ２）を使用して、前記第１のメモリ領域（ＳＰＡ）内の前記第１のデータサブ要素（ＧＡ１）のメモリ位置（ＰＧＡ１）で前記第１のデータサブ要素（ＧＡ１）の値を読み出すステップ、
    第２の変換ステップ（２３５）において、前記第２の移行関数（ＭＩＧ２）を使用して、前記第１のデータサブ要素（ＧＡ１）の前記値を、前記第４のデータ型に変換するステップ、及び
    第２の書き込みステップ（２３７）において、前記第２の移行関数（ＭＩＧ２）を使用して、前記第４のデータ型に変換された前記第１のデータサブ要素（ＧＡ１）の前記値を、前記第２のメモリ領域（ＳＰＢ）内の前記第２のデータサブ要素（ＧＢ１）のメモリ位置（ＰＧＢ１）に書き込むステップ、
    を含む、請求項７に記載の方法。
  9. 前記第１の生成ステップ（２０１）は、
    前記第１のデータサブ要素（ＧＡ１）の前記第３のデータ型及び前記第２のデータサブ要素（ＧＢ１）の前記第４のデータ型は、複合型である場合、及び
    前記第１のデータサブ要素（ＧＡ１）は、第５のデータ型の少なくとも第１の構成要素（ＭＡ）を含み、前記第２のデータサブ要素（ＧＢ１）は、第６のデータ型の少なくとも第２の構成要素（ＭＢ）を含む場合、
    第４の識別ステップ（２３９）において、前記第１の構成要素（ＭＡ）の前記データ型を前記第５のデータ型として、且つ前記第２の構成要素（ＭＢ）のデータ型を前記第６のデータ型として識別するステップ、及び
    第３の生成ステップ（２４３）において、前記識別された第５のデータ型及び第６のデータ型に基づいて、前記第１の構成要素（ＭＡ）を前記第２の構成要素（ＭＢ）にマッピングするための第３の移行関数（ＭＩＧ３）を生成するステップであって、前記第３の移行関数（ＭＩＧ３）は、前記第１のメモリ領域（ＳＰＡ）内の前記第５のデータ型のデータを読み出し、読み出されたデータを第６のデータ型に変換し、且つ第２のメモリ領域（ＳＰＢ）に前記第６のデータ型に変換されたデータを保存するように構成されている、ステップ、
    を更に含む、請求項７又は８に記載の方法。
  10. 移行ステップ（２０７）は、
    第２の部分移行ステップ（２４５）において、前記第２の移行関数（ＭＩＧ２）を介して、前記第３の移行関数（ＭＩＧ３）に実行し、且つ前記第３の移行関数（ＭＩＧ３）を実行するステップであって、前記第２の部分移行ステップ（２４５）は、
    第３の読み出しステップ（２４７）において、前記第３の移行関数（ＭＩＧ３）を使用して、前記第１のメモリ領域（ＳＰＡ）内の前記第１の構成要素（ＭＡ）のメモリ位置（ＰＭＡ）での前記第１の構成要素（ＭＡ）の値を読み出すステップ、
    第３の変換ステップ（２４９）において、前記第３の移行関数（ＭＩＧ３）を使用して、前記第１の構成要素（ＭＡ）の前記値を、前記第６のデータ型に変換するステップ、及び
    第３の書き込みステップ（２５１）において、前記第３の移行関数（ＭＩＧ３）を使用して、前記第６のデータ型に変換された前記第１の構成要素（ＭＡ）の前記値を、前記第２のメモリ領域（ＳＰＢ）内の前記第２の構成要素（ＭＢ）のメモリ位置（ＰＭＢ）に書き込むステップ、を含むこと、
    を含む、請求項９に記載の方法。
  11. 前記第１の生成ステップ（２０１）は、
    前記第３のデータ型及び前記第４のデータ型は、フィールド型である場合、及び
    前記第１のデータサブ要素（ＧＡ１）及び前記第２のデータサブ要素（ＧＢ１）は、同一の数の次元を含む場合であって、少なくとも１つの次元内の前記第１のデータサブ要素（ＧＡ１）が、第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた第７のデータ型の第１の要素を含み、且つ少なくとも１つの次元の前記第２のデータサブ要素（ＧＢ１）が、第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた第８のデータ型の第２の要素を含む、場合、及び
    少なくとも１つの次元のために、前記第１のインデックス範囲［Ｕ０，．．．，ＵＭ］と前記第２のインデックス範囲［Ｘ０，．．．，ＸＮ］とが等しい場合、
    第６の識別ステップ（２５３）において、前記第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた各第１の要素の前記データ型を、前記第７のデータ型として、且つ前記第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた各第２の要素の前記データ型を、前記第８のデータ型として、識別するステップ、
    第４の生成ステップ（２５７）において、前記識別された第７のデータ型及び第８のデータ型に基づいて、第１の要素を第２の要素にマッピングするための第４の移行関数を生成するステップであって、前記第４の移行関数は、前記第１のメモリ領域（ＳＰＡ）内の前記第７のデータ型のデータを読み出し、読み出したデータを前記第８のデータ型の値に変換し、且つ前記第２のメモリ領域（ＳＰＢ）に、変換されたデータを保存するように構成された、ステップ、
    を更に含む、請求項７～１０のいずれか１項に記載の方法。
  12. 前記第１の生成ステップ（２０１）は、
    第１のインデックス範囲［Ｕ０，．．．，ＵＭ］と第２のインデックス範囲［Ｘ０，．．．，ＸＮ］とが等しくない場合、インデックス決定ステップ（２５９）において、Ｒ＝ｍａｘ（Ｘ０，Ｕ０）及びＳ＝ｍｉｎ（ＸＮ、ＵＭ）を有する前記第１のデータサブ要素（ＧＡ１）及び前記第２のデータサブ要素（ＧＢ１）の前記インデックス範囲における間隔［Ｒ、Ｓ］を決定するステップであって、Ｒは、前記２つの値Ｘ０及びＵ０の最大値に対応し、Ｓは、前記２つの値ＸＮ及びＵＭの最小値に対応する、ステップ、
    第６の識別ステップ（２５３）において、前記間隔［Ｒ、Ｓ］又は前記第１のインデックス範囲［Ｕ０，．．．，ＵＭ］に従ってインデックス付けされた各第１の要素の前記データ型を、前記第７のデータ型として、間隔［Ｒ、Ｓ］又は前記第２のインデックス範囲［Ｘ０，．．．，ＸＮ］に従ってインデックス付けされた各第２の要素の前記データ型を、前記第８のデータ型として識別するステップ、及び
    第４の生成ステップ（２５７）において、前記識別された第７のデータ型及び前記第８のデータ型に基づいて第１の要素を第２の要素にマッピングするための第４の移行関数を生成するステップであって、前記第４の移行関数は、前記第１のメモリ領域（ＳＰＡ）内の前記第７のデータ型のデータを読み出し、前記第８のデータ型に読み出したデータを変換し、且つ前記第２のメモリ領域（ＳＰＢ）内に第８のデータ型に変換されたデータを保存するように設定される、ステップ、
    を更に含む、請求項１１に記載の方法。
  13. 前記第１の部分移行ステップ（２３１）は、
    第３の部分移行ステップ（２６１）において、第２の移行関数（ＭＩＧ２）を介して、前記第４の移行関数を実行するステップ、及び前記第４の移行関数（ＭＩＧ４）を実行し、前記第１の要素を前記第２の要素にマッピングするステップを含み、前記第３の部分移行ステップ（２６１）は、
    第４の読み出しステップ（２６３）において、前記第４の移行関数によって、前記第１のメモリ領域（ＳＰＡ）内の前記第１の要素のメモリ位置にある第１の要素の値を読み出すステップ、
    第４の変換ステップ（２６５）において、前記第４の移行関数を介して、前記第１の要素の前記値を前記第８のデータ型に変換するステップ、及び
    第４の書き込みステップ（２６７）において、前記第４の移行関数を介して、前記第２のメモリ領域（ＳＰＢ）内の前記第２の要素のメモリ位置に、前記第８のデータ型に変換された前記第１の要素の前記値を書き込むステップ、
    を含む、請求項８を引用する１１又は８を引用する１２に記載の方法。
  14. 前記第１のデータサブ要素（ＧＡ１）の値が、第２のデータサブ要素（ＧＢ１）に十分に正確にマッピング可能でない場合、及び／又は第１の構成要素（ＭＡ）の値が、第２の構成要素（ＭＢ）に十分に正確にマッピング可能でない場合、及び／又は第１の要素の値が、第２の要素に十分に正確にマッピング可能でない場合、前記第１のデータ要素（ＧＡ）の前記値は、前記第２のデータ型の値に更に十分に正確にマッピング可能ではなく、前記第１の検証ステップ（２０９）は、
    第１のデータサブ要素（ＧＡ１）の値が第２のデータサブ要素（ＧＢ１）に十分に正確にマッピングされ得るかどうかを検証するステップ、第１の構成要素（ＭＡ）の値が第２の構成要素（ＭＢ）に十分に正確にマッピングされ得るかどうかを検証するステップ、及び第１の要素の値が、十分に正確に第２の要素にマッピングされ得ることを検証するステップ、
    を更に含む、請求項２、および２を引用する３～１３のいずれか１項に記載の方法（２００）。
  15. 前記コントローラは、制御プログラムを変換するための変換モジュール（１０９）を更に含み、前記第１の生成ステップ（２０１）は、前記変換モジュール（１０９）によって実行される、請求項１～１４のいずれか１項に記載の方法。
JP2022535845A 2019-12-13 2020-12-11 制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新するための方法 Active JP7270112B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
DE102019134373.9A DE102019134373A1 (de) 2019-12-13 2019-12-13 Verfahren zum Aktualisieren eines Steuerprogramms eines Automatisierungssystems mit Datenmigration eines Programmzustands des Steuerprogramms
DE102019134373.9 2019-12-13
PCT/EP2020/085799 WO2021116429A1 (de) 2019-12-13 2020-12-11 Verfahren zum aktualisieren eines steuerprogramms eines automatisierungssystems mit datenmigration eines programmzustands des steuerprogramms

Publications (2)

Publication Number Publication Date
JP2022551342A JP2022551342A (ja) 2022-12-08
JP7270112B2 true JP7270112B2 (ja) 2023-05-09

Family

ID=73834538

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2022535845A Active JP7270112B2 (ja) 2019-12-13 2020-12-11 制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新するための方法

Country Status (6)

Country Link
US (1) US20220276616A1 (ja)
EP (1) EP4055473B1 (ja)
JP (1) JP7270112B2 (ja)
CN (1) CN114787769B (ja)
DE (1) DE102019134373A1 (ja)
WO (1) WO2021116429A1 (ja)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2000137604A (ja) 1998-10-30 2000-05-16 Oki Electric Ind Co Ltd データ引き継ぎシステム
JP2002507020A (ja) 1998-03-12 2002-03-05 テレフオンアクチーボラゲツト エル エム エリクソン（パブル） 障害を生じることなくデータを更新する技術
US20020120601A1 (en) 2001-02-26 2002-08-29 Elmendorf Peter C. Dynamic seamless reconfiguration of executing parallel software
US20110224809A1 (en) 2010-03-09 2011-09-15 Siemens Aktiengesellschaft Method for Operating an Automation System
WO2018159691A1 (ja) 2017-02-28 2018-09-07 日本電信電話株式会社 通信処理装置、情報処理装置、及び、通信処理装置の制御方法

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19535306A1 (de) * 1995-09-22 1997-03-27 Siemens Ag Verfahren zum Konvertieren sich unterscheidender Datenformate
US20160335025A1 (en) * 2015-05-11 2016-11-17 Kaminario Technologies Ltd. Data migration system and method thereof
US10908886B2 (en) * 2016-07-12 2021-02-02 Oracle International Corporation Accessing a migrated member in an updated type

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002507020A (ja) 1998-03-12 2002-03-05 テレフオンアクチーボラゲツト エル エム エリクソン（パブル） 障害を生じることなくデータを更新する技術
JP2000137604A (ja) 1998-10-30 2000-05-16 Oki Electric Ind Co Ltd データ引き継ぎシステム
US20020120601A1 (en) 2001-02-26 2002-08-29 Elmendorf Peter C. Dynamic seamless reconfiguration of executing parallel software
US20110224809A1 (en) 2010-03-09 2011-09-15 Siemens Aktiengesellschaft Method for Operating an Automation System
WO2018159691A1 (ja) 2017-02-28 2018-09-07 日本電信電話株式会社 通信処理装置、情報処理装置、及び、通信処理装置の制御方法

Also Published As

Publication number Publication date
US20220276616A1 (en) 2022-09-01
EP4055473C0 (de) 2023-07-26
JP2022551342A (ja) 2022-12-08
CN114787769A (zh) 2022-07-22
DE102019134373A1 (de) 2021-06-17
CN114787769B (zh) 2023-08-08
WO2021116429A1 (de) 2021-06-17
EP4055473A1 (de) 2022-09-14
EP4055473B1 (de) 2023-07-26

Similar Documents

Publication Publication Date Title
US5805899A (en) Method and apparatus for internal versioning of objects using a mapfile
US6212578B1 (en) Method and apparatus for managing dependencies in a distributed computing environment for ensuring the safety of remote procedure calls
TWI453671B (zh) 用於程式碼轉換期間之本機碼和目標碼的組合執行之方法與裝置
US8464214B2 (en) Apparatus, method and system for building software by composition
EP0390900B1 (en) Generic code sharing arrangement for digital data processing system
US8776035B2 (en) Providing performance tuned versions of compiled code to a CPU in a system of heterogeneous cores
JPH06266683A (ja) 並列処理装置
EP0509623A2 (en) Program processing system and method
US7412710B2 (en) System, method, and medium for efficiently obtaining the addresses of thread-local variables
KR100301274B1 (ko) 컴퓨터시스템및프로그램제품전송방법
US7337435B2 (en) Efficient configuration data migration technique
CN112882718B (zh) 编译处理方法、装置、设备及存储介质
CN114090013A (zh) 确定可执行代码文件的变更集的方法及装置
CN108694049B (zh) 一种更新软件的方法和设备
EP3380899B1 (en) Program randomization for cyber-attack resilient control in programmable logic controllers
JP7270112B2 (ja) 制御プログラムのプログラム状態のデータ移行で自動化システムの制御プログラムを更新するための方法
Resmerita et al. Applying real-time programming to legacy embedded control software
US20120005460A1 (en) Instruction execution apparatus, instruction execution method, and instruction execution program
US11748078B1 (en) Generating tie code fragments for binary translation
US6496976B1 (en) Method and system for dynamic recompilation of statements of a first language embedded in a program having statements of a second language
JP7303389B2 (ja) オートメーションシステムの制御プログラムのプログラム状態のデータ移行の過程でのポインタ要素のデータ移行の方法
CN112148283B (zh) 一种跨平台的abi兼容c++组件框架的实现方法
US7024664B2 (en) Symbolic assembly language
WO2016167797A1 (en) Morphed instruction according to configuration update
US11886839B2 (en) Non-transitory computer-readable recording medium, function generation method, and information processing device

Legal Events

Date Code Title Description
A529 Written submission of copy of amendment under article 34 pct

Free format text: JAPANESE INTERMEDIATE CODE: A529

Effective date: 20220808

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20220808

A871 Explanation of circumstances concerning accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A871

Effective date: 20220808

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20230117

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20230228

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: 20230411

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20230424

R150 Certificate of patent or registration of utility model

Ref document number: 7270112

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150