特開 2024-104381 モデル情報確認システム及びモデル情報確認方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024104381

(43)【公開日】2024-08-05

(54)【発明の名称】モデル情報確認システム及びモデル情報確認方法

(51)【国際特許分類】

   G06F 8/35 20180101AFI20240729BHJP

【ＦＩ】

G06F8/35

【審査請求】未請求

【請求項の数】6

【出願形態】ＯＬ

(21)【出願番号】P 2023008543

(22)【出願日】2023-01-24

【公序良俗違反の表示】

（特許庁注：以下のものは登録商標）

１．ＭＡＴＬＡＢ

(71)【出願人】

【識別番号】509186579

【氏名又は名称】日立Ａｓｔｅｍｏ株式会社

(74)【代理人】

【識別番号】110001678

【氏名又は名称】藤央弁理士法人

(72)【発明者】

【氏名】小笠原 麻希

(72)【発明者】

【氏名】高田 浩行

(72)【発明者】

【氏名】塚原 健太

(72)【発明者】

【氏名】伊藤 慎悟

(72)【発明者】

【氏名】北田 英俊

【テーマコード（参考）】

5B376

【Ｆターム（参考）】

5B376BC08

5B376BC32

5B376BC38

(57)【要約】

【課題】関数名や変数名及び定数名の重複を制御モデル上で確認する。
【解決手段】モデル情報確認システムであって、演算処理を実行する演算部と、前記演算部がアクセス可能な記憶部とを有する計算機によって構成され、前記演算部が、制御モデルから取得した設定値がデータベースに登録された設定値と一致するかを比較する設定値比較部と、前記演算部が、比較した結果を出力する比較結果出力部と、前記演算部が、データベースに未登録の設定値を前記データベースに登録する設定値登録部とを有する。
【選択図】図１

【特許請求の範囲】

【請求項1】

モデル情報確認システムであって、
演算処理を実行する演算部と、前記演算部がアクセス可能な記憶部とを有する計算機によって構成され、
前記演算部が、制御モデルから取得した設定値がデータベースに登録された設定値と一致するかを比較する設定値比較部と、
前記演算部が、比較した結果を出力する比較結果出力部と、
前記演算部が、前記データベースに未登録の設定値を前記データベースに登録する設定値登録部とを有することを特徴とするモデル情報確認システム。

【請求項2】

請求項１に記載のモデル情報確認システムであって、
前記演算部が、前記設定値を取得する設定値取得部を有し、
前記設定値取得部は、
入力された制御モデルを解析し、
前記制御モデルに、データを送受信するデータ送受信ブロック、データを演算するデータ演算ブロック、及び複数の前記データ演算ブロックで構成される制御機能ブロックが使用されているかを判定し、
前記データ送受信ブロックに設定された変数名、前記データ演算ブロックに設定された定数名、及び前記制御機能ブロックに設定された関数名を前記設定値として取得することを特徴とするモデル情報確認システム。

【請求項3】

請求項２に記載のモデル情報確認システムであって、
前記設定値比較部は、
前記データ送受信ブロックに設定された変数名が前記データベースに登録されている変数名と一致する場合、当該変数名及び当該変数名に関連付けられたデータ型、サイズ、係数情報及び初期値を出力し、
前記データ演算ブロックに設定された定数名が前記データベースに登録されている定数名と一致する場合、当該定数名及び当該定数名に関連付けられたデータ型、サイズ及び係数情報を出力し、
前記制御機能ブロックに設定された関数名が前記データベースに登録されている関数名と一致する場合、当該関数名を出力することを特徴とするモデル情報確認システム。

【請求項4】

請求項２に記載のモデル情報確認システムであって、
前記演算部が、前記制御モデルを修正する修正実行部を有し、
前記設定値比較部は、前記制御モデルから取得した設定値と前記データベースに登録された設定値が一致するかを判定し、
前記修正実行部は、前記制御モデルから取得した設定値と前記データベースに登録された設定値が一致している場合、当該設定値を修正した制御モデルを出力することを特徴とするモデル情報確認システム。

【請求項5】

請求項４に記載のモデル情報確認システムであって、
前記修正実行部は、前記データ送受信ブロックに設定された変数名が前記データベースに登録された変数名と一致する、前記データ演算ブロックに設定された定数名が前記データベースに登録された変数名と一致する、又は前記制御機能ブロックに設定された関数名が前記データベースに登録された関数名と一致する場合、当該変数名、当該定数名及び当該関数名をユーザが指定した設定値に修正した制御モデルを出力することを特徴とするモデル情報確認システム。

【請求項6】

モデル情報確認システムが実行するモデル情報確認方法であって、
前記モデル情報確認システムは、演算処理を実行する演算部と、前記演算部がアクセス可能な記憶部とを有する計算機によって構成され、
前記モデル情報確認方法は、
前記演算部が、制御モデルから取得した設定値がデータベースに登録された設定値と一致するかを比較する設定値比較手順と、
前記演算部が、比較した結果を出力する比較結果出力手順と、
前記演算部が、前記データベースに未登録の設定値を前記データベースに登録する設定値登録手順とを有することを特徴とするモデル情報確認方法。

【発明の詳細な説明】

【技術分野】

【0001】

技術分野は、モデル情報確認システムに関する。

【背景技術】

【0002】

モデルベース開発プロセスでは、制御ロジックや制御対象をブロック線図で視覚的に表現した制御モデルから自動ソースコード生成ツールなどを用いてソースコードを生成する。生成されるソースコードのＦｕｎｃｔｉｏｎ（関数）は、制御モデルの中でブロック線図を一つの制御機能毎にまとめたブロックに設定された名前で表される。

【0003】

また、他制御機能とのデータ送受信に用いられるブロック（Import、Outportブロック等）に設定された名称はソースコードでは、値の読み書きが可能な変数として定義され、データを演算するために用いられるブロック（Gain、Look-up Tableブロック等）に設定された名称はデータに固有の名前を付与した定数として定義され、定数に設定された値は変更が不可となる。

【0004】

本技術分野の背景技術として、以下の先行技術がある。特許文献１（特開２０２２－０１１２６４号公報）には、第１のプロセッサを有するソフトウェア開発支援装置は、制御モデルの実行順序を含んでソフトウェアの制御仕様を含む特徴モデルを入力し、特徴モデル内の制御モデルを解析して演算周期と実行順序を解析して実行順序情報を出力する特徴モデル解析部と、制御モデルを入力して、演算周期を含んでファイル名が制御モデルと同一のモデルソースを生成するモデルソース生成部と、制御モデルと同名のモデルソースを収集するモデルソース収集部と、複数コアを有する第２のプロセッサの情報を入力して、前記収集されたモデルソースに対して、ソフトウェアを複数のコアの処理へ最適化するために演算周期と実行順序情報に基づいてコア毎の処理の割り当て情報を生成する並列処理生成部と、を有するソフトウェア開発支援装置が記載されている。

【先行技術文献】

【特許文献】

【0005】

【特許文献1】特開２０２２－０１１２６４号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

前述した特許文献１に記載された技術では、制御モデルに対してデータ型やビットレートなど情報の追加を実施してソースコード生成までを自動化している。しかし、複数の制御モデルから生成したソースコードを結合した場合、同じ関数名、変数名及び定数名を含むソースコードが結合される可能性がある。

【0007】

複数の制御モデルにおいて同じ関数名、変数名及び定数名が異なるブロックで意図せずに使用されている場合、各制御モデルから生成したソースコードで関数名、変数名及び定数名の重複が発生する。関数名の重複によって意図しない処理が実行される可能性があり、変数名や定数名の重複によって意図しない参照や更新も発生する可能性がある。また、異なる設定値情報（例えば、配列の要素数などのデータ型、サイズ、浮動小数点で表現される物理値を固定小数点で表現する為に整数に対して付与する勾配やバイアスなどの係数情報、初期値、意味、単位など）において同じ名称の変数や定数を定義できない。

【0008】

前述のような複数の制御モデルで関数名、変数名及び定数名の意図しない使用を確認するタイミングとして、制御モデル作成時、ソースコード作成時、ソースコードの実装時がある。しかし、制御モデルから関数情報、変数情報及び定数情報を取得し、別の制御モデルでの使用有無を確認する仕組みが無く、制御モデル作成時の確認は困難である。また、ソースコードは制御モデル単位で生成するため、ソースコード作成時での確認は困難である。そのため、関数情報、変数情報及び定数情報の重複や不一致がソースコードを結合する段階で発見されることになる。

【0009】

ソースコードを結合する段階で名称や設定値情報の意図しない重複が発見されると、制御モデルを作成し直す必要があり、修正の為の手戻り工数が増加する問題がある。

【0010】

本発明は、制御モデルを修正する際の手戻り工数の削減を目的とする。

【課題を解決するための手段】

【0011】

本願において開示される発明の代表的な一例を示せば以下の通りである。すなわち、モデル情報確認システムであって、演算処理を実行する演算部と、前記演算部がアクセス可能な記憶部とを有する計算機によって構成され、前記演算部が、制御モデルから取得した設定値がデータベースに登録された設定値と一致するかを比較する設定値比較部と、前記演算部が、比較した結果を出力する比較結果出力部と、前記演算部が、データベースに未登録の設定値を前記データベースに登録する設定値登録部とを有することを特徴とする。

【発明の効果】

【0012】

本発明の一態様によれば、設定値の重複を制御モデル段階で確認でき、制御モデルを修正する際の手戻り工数を削減できる。前述した以外の課題、構成及び効果は、以下の実施例の説明によって明らかにされる。

【図面の簡単な説明】

【0013】

【図1】本実施例のモデル情報確認システムの概要を示す図である。

【図2】本実施例の制御モデルの詳細な構成を示す図である。

【図3】本実施例の設定値取得部が実行する設定値取得処理のフローチャートである。

【図4A】本実施例の設定値比較部が実行する関数及び変数に対する設定値比較処理のフローチャートである。

【図4B】本実施例の設定値比較部が実行する定数に対する設定値比較処理のフローチャートである。

【図5】本実施例の比較結果出力部が実行する比較結果出力処理のフローチャートである。

【図6】本実施例の設定値登録部が実行する設定値登録処理のフローチャートである。

【図7】本実施例の修正実行部が実行する修正実行処理のフローチャートである。

【図8】本実施例のモデル設定値格納データベースの構成を示す図である。

【発明を実施するための形態】

【0014】

まず、本発明の実施例の概要を説明する。本発明の実施例で採用される一つ目の技術は制御モデルを作成するためのルールを定めることである。例えば、一つの制御を表現するブロックの配置場所及び命名ルールや、変数を設定可能なブロックの指定及び命名ルール、定数を設定可能なブロックの指定及び命名ルールを設けることにより、制御モデルから必要な設定値を抽出可能とする。

【0015】

二つ目の技術は、制御モデルの設定値を集約するデータベースを構築することである。データベースには、制御モデルの名前や制御モデル内に配置された特定のブロックに設定された情報が格納される。データベースに格納される設定値の一例として、制御モデル名やソースコード上で関数名、変数、定数となるブロックに設定された名前や情報がある。制御モデルの設定値が格納されたデータベースを構築することにより、別の制御モデルで設定した設定値と重複する設定値の有無を比較可能となる。

【0016】

三つ目の技術は、前述したルールに則って作成された制御モデルから設定値の確認及び修正が可能にする。これにより、設定値の重複を制御モデルで確認し、設定値が重複する場合は制御モデルを修正できる。

【0017】

図１は、本実施例のモデル情報確認システム１０１の概要を示す図である。

【0018】

本実施例のモデル情報確認システム１０１は、モデルベース開発に利用される計算機システムであり、モデル情報確認システム１０１で実行されるプログラムによって各機能が実現される。

【0019】

モデル情報確認システム１０１には、制御モデル１１３が入力される。制御モデル１１３は、制御ロジックや制御対象をブロック線図で視覚的に表現したモデルであり、内部のブロックには設定値１１４が定義されている。設定値１１４には、ソースコードに設定される制御機能ブロックの関数名１２２、設定される変数の変数名１１５、設定される定数の定数名１１６が含まれる。

【0020】

モデル設定値格納データベース１１７は、制御モデル１１３に設定された設定値１１４のリスト１１８を格納する。

【0021】

モデル情報確認システム１０１は、設定値取得部１０２と、設定値比較部１０３と、比較結果出力部１０４と、設定値登録部１０５と、修正実行部１０６を有する。

【0022】

設定値取得部１０２は、モデル解析部１０７と、結果出力部１０８を有する。モデル解析部１０７は、入力された制御モデル１１３を解析し、制御モデル１１３内に定義された設定値１１４を取得する。結果出力部１０８は、制御モデル１１３内に定義された設定値１１４を出力する。

【0023】

設定値比較部１０３は、データベース解析部１０９と結果出力部１１０を有する。データベース解析部１０９は、モデル設定値格納データベース１１７を検索して、設定値取得部１０２から出力された制御モデル１１３の設定値１１４とモデル設定値格納データベース１１７に格納された設定値を比較する。結果出力部１１０は、データベース解析部１０９による設定値の比較結果を出力する。例えば、設定値比較部１０３は、制御モデル１１３の設定値（関数、変数、定数）が重複しているかを判定し、重複している関数名、変数名、定数名を出力する。

【0024】

比較結果出力部１０４は、設定値比較部１０３の出力に基づいて比較結果ファイル１２０を出力する。

【0025】

設定値登録部１０５は、設定値取得部１０２の出力をモデル設定値格納データベース１１７に登録する。

【0026】

修正実行部１０６は、モデル解析部１１１と、設定修正部１１２を有する。モデル解析部１１１は、設定値比較部１０３による設定値の比較結果に基づいて制御モデル１１３の修正が必要かを判定する。設定修正部１１２は、モデル解析部１１１によって修正が必要であると判定された場合に、制御モデル１１３をモデル作成支援ツール１２３（例えばＭａｔｌａｂ／Ｓｉｍｕｌｉｎｋ（登録商標）等の専用ソフトウェア）を用いて読み込ませる。読み込んだ制御モデル１１３の設定値（関数、変数、定数）を任意の設定値に修正し、設定値修正済制御モデル１２１を出力する。修正実行部１０６によって、意図しない参照や更新の可能性がある関数、変数、及び定数を修正できる。

【0027】

モデル情報確認システム１０１は、これらの機能によって制御システム内の設定値が重複により意図しない参照や更新の恐れがある関数、変数、及び定数を検査し、設定値の重複が発見された場合は、制御モデル１１３を任意の設定値に修正し、成果物１１９を出力するシステムである。

【0028】

本実施例のモデル情報確認システム１０１は、プロセッサ（ＣＰＵ）、メモリ、補助記憶装置、及び通信インターフェースを有する計算機によって構成される。モデル情報確認システム１０１は、入力インターフェース及び出力インターフェースを有してもよい。

【0029】

プロセッサは、メモリに格納されたプログラムを実行する演算装置である。プロセッサが、各種プログラムを実行することによって、モデル情報確認システム１０１の各機能部（例えば、設定値取得部１０２、設定値比較部１０３、比較結果出力部１０４、設定値登録部１０５、修正実行部１０６など）による機能が実現される。なお、プロセッサがプログラムを実行して行う処理の一部を、他の演算装置（例えば、ＡＳＩＣ、ＦＰＧＡ等のハードウェア）で実行してもよい。

【0030】

メモリは、不揮発性の記憶素子であるＲＯＭ及び揮発性の記憶素子であるＲＡＭを含む。ＲＯＭは、不変のプログラム（例えば、ＢＩＯＳ）などを格納する。ＲＡＭは、ＤＲＡＭ（Dynamic Random Access Memory）のような高速かつ揮発性の記憶素子であり、プロセッサが実行するプログラム及びプログラムの実行時に使用されるデータを一時的に格納する。

【0031】

補助記憶装置は、例えば、磁気記憶装置（ＨＤＤ）、フラッシュメモリ（ＳＳＤ）等の大容量かつ不揮発性の記憶装置である。また、補助記憶装置は、プロセッサがプログラムの実行時に使用するデータ、及びプロセッサが実行するプログラムを格納する。すなわち、プログラムは、補助記憶装置から読み出されて、メモリにロードされて、プロセッサによって実行されることによって、モデル情報確認システム１０１の各機能を実現する。

【0032】

通信インターフェースは、所定のプロトコルに従って、他の装置との通信を制御するネットワークインターフェース装置である。

【0033】

入力インターフェースは、キーボードやマウスなどの、ユーザからの入力を受けるインターフェースである。例えば、入力インターフェースは、コストデータが記録され、補助記憶装置に格納されるファイルの入力を受け付ける。また、入力インターフェースは、ＧＵＩを提供し、ユーザからコストデータの入力を受け付けてもよい。

【0034】

出力インターフェースは、ディスプレイ装置やプリンタなどの、プログラムの実行結果をユーザが視認可能な形式で出力するインターフェースである。例えば、本実施例のモデル情報確認システム１０１では、出力インターフェースは、成果物１１９を出力する。また、出力インターフェースは、プログラムの実行結果をユーザが視認可能な形式で出力するデータ出力ポートでもよい。

【0035】

なお、モデル情報確認システム１０１にネットワークを介して接続された端末が入力インターフェース及び出力インターフェースを提供してもよい。

【0036】

プロセッサが実行するプログラムは、リムーバブルメディア（ＣＤ－ＲＯＭ、フラッシュメモリなど）又はネットワークを介してモデル情報確認システム１０１に提供され、非一時的記憶媒体である不揮発性の補助記憶装置に格納される。このため、モデル情報確認システム１０１は、リムーバブルメディアからデータを読み込むインターフェースを有するとよい。

【0037】

モデル情報確認システム１０１は、物理的に一つの計算機上で、又は、論理的又は物理的に構成された複数の計算機上で構成される計算機システムであり、複数の物理的計算機資源上に構築された仮想計算機上で動作してもよい。例えば、設定値取得部１０２、設定値比較部１０３、比較結果出力部１０４、設定値登録部１０５、及び修正実行部１０６は、各々別個の物理的又は論理的計算機上で動作するものでも、複数が組み合わされて一つの物理的又は論理的計算機上で動作するものでもよい。

【0038】

図２は、制御モデル１１３の詳細な構成を示す図である。

【0039】

制御モデル１１３は、データを送受信するデータ送受信ブロック２０１、２０５と、データを演算する少なくとも一つのデータ演算ブロック２０７を用いて一つの制御機能を表現する制御機能ブロック２０３を有する。制御機能ブロック２０３が提供する関数の構成は前述した以外のものでもよい。また、制御モデル１１３の確認対象となる設定値を、データ送受信ブロック２０１、２０５に設定された変数、データ演算ブロック２０７に設定された定数名、及び制御機能ブロック２０３に設定された関数名として以下説明するが、他の項目を確認対象となる設定値としてもよい。

【0040】

制御機能ブロック２０３には様々な設定値を定義でき、制御モデル１１３からソースコードを生成する際に、定義された設定値が使用される。例えば、制御機能ブロック２０３に設定された関数名１２２は、ソースコード上では関数名として定義され、データ送受信ブロック２０１、２０５に設定された変数名１１５はソースコード上で変数名として定義される。データ演算ブロック２０７に設定された定数名１１６はソースコード上で定数名として定義される。

【0041】

図３は、設定値取得部１０２が実行する設定値取得処理のフローチャートである。

【0042】

設定値取得部１０２のモデル解析部１０７は、制御モデル１１３を読み込み（Ｓ３０１）、以下のブロックが制御モデル１１３内で使用されているかを検索する（Ｓ３０２）。
・制御機能ブロック２０３
・データ送受信ブロック２０１、２０５
・データ演算ブロック２０７

【0043】

モデル解析部１０７は、制御モデル１１３でこれらのブロック２０３、２０１、２０５、２０７が使用されているか否かを判定する（Ｓ３０３）。モデル解析部１０７は、制御モデル１１３で制御機能ブロック２０３が使用されている場合（Ｓ３０３：ＹＥＳ）、制御機能ブロック２０３に設定された関数名１２２を取得する（Ｓ３０４）。また、モデル解析部１０７は、制御モデル１１３でデータ送受信ブロック２０１、２０５が使用されている場合（Ｓ３０３：ＹＥＳ）、データ送受信ブロック２０１、２０５に設定された変数名１１５及び各種パラメータ（データ型、サイズ、係数情報、初期値等）を取得する（Ｓ３０４）。また、モデル解析部１０７は、制御モデル１１３でデータ演算ブロック２０７が使用されている場合（Ｓ３０３：ＹＥＳ）、データ演算ブロック２０７に設定された定数名１１６及び各種パラメータ（データ型、サイズ、係数情報等）を取得する（Ｓ３０４）。

【0044】

結果出力部１０８は、制御モデル１１３から取得した設定値１２２、１１５、１１６を、設定値比較部１０３に出力する出力値に追加する（Ｓ３０５）。結果出力部１０８は、制御機能ブロック２０３、データ送受信ブロック２０１、２０５及びデータ演算ブロック２０７の何れも制御モデル１１３で使用されていない場合（Ｓ３０３：ＮＯ）、該当する設定値は無いため、設定値比較部１０３に出力する出力値への追加はない。

【0045】

結果出力部１０８は、出力値を設定値比較部１０３に出力する（３０６）。なお、設定値３０６は、繰り返し終了後に纏めて設定値比較部１０３に出力してもよい。

【0046】

設定値取得部１０２は、確認対象の設定値の分だけステップＳ３０３～Ｓ３０５の処理を繰り返し、繰り返し処理が終了した後、設定値取得処理を終了する。

【0047】

図４Ａは、本実施例の設定値比較部１０３が実行する関数及び変数に対する設定値比較処理のフローチャートであり、図４Ｂは、設定値比較部１０３が実行する定数に対する設定値比較処理のフローチャートである。

【0048】

設定値比較部１０３のデータベース解析部１０９は、制御モデル１１３から取得した設定値３０６を設定値取得部１０２から受領すると（Ｓ４０１）、モデル設定値格納データベース１１７を参照して（Ｓ４０２）、受信した設定値３０６が、モデル設定値格納データベース１１７に登録された設定値と一致するか否かを比較する（Ｓ４０３）。

【0049】

結果出力部１１０は、比較した結果、受信した設定値３０６と一致する設定値がモデル設定値格納データベース１１７に既に登録されている場合に、一致する設定値を修正実行部１０６に出力する（Ｓ４０４）。また、結果出力部１１０は、一致する設定値を、比較結果出力部１０４に出力する出力値に追加する（Ｓ４０５）。結果出力部１１０は、出力値を比較結果出力部１０４に出力する（４０６）。なお、設定値４０６は、繰り返し終了後に纏めて比較結果出力部１０４に出力してもよい。

【0050】

設定値比較部１０３は、制御モデル１１３から取得した設定値の分、及びデータベースに登録された設定値の分だけステップＳ４０３～Ｓ４０５の処理を繰り返し、繰り返し処理が終了した後、設定値比較処理を終了する。

【0051】

図８は、モデル設定値格納データベース１１７の構成を示す図である。

【0052】

モデル設定値格納データベース１１７には、制御モデル１１３のモデル名８０１と、制御モデル１１３から取得した制御機能ブロック２０３に設定された関数名８０２と、データ送受信ブロック２０１、２０５に設定された変数名８０３と、データ送受信ブロック２０１、２０５に設定された各種パラメータ（データ型８０４、サイズ８０５、係数情報８０６、初期値８０７）と、データ演算ブロック２０７に設定された定数名８０８と、データ送受信ブロック２０１、２０５に設定された各種パラメータ（データ型８０９、サイズ８１０、係数情報８１１）が制御モデル１１３毎に登録される。

【0053】

以下、設定値を比較する手順について説明する。

【0054】

（１）関数の比較
設定値比較処理を開始すると、制御モデル１１３から取得した制御機能ブロック２０３に設定された関数名１２２と、モデル設定値格納データベース１１７に登録された全ての関数名８０２を比較し、一致するか否かを判定する。

【0055】

そして、制御機能ブロック２０３に設定された関数名１２２がモデル設定値格納データベース１１７に登録されているいずれかの関数名８０２と一致する場合（Ｓ４０３：ＹＥＳ）、当該関数名８０２が使用されている制御モデル１１３のモデル名８０１及び関数名８０２を比較結果出力部１０４に出力する設定値４０６に定義する。

【0056】

制御機能ブロック２０３に設定された関数名１２２がモデル設定値格納データベース１１７に登録されているいずれの関数名８０２とも一致しない場合（Ｓ４０３：ＮＯ）、部分的に一致する関数名８０２がモデル設定値格納データベース１１７に登録されているか否かを判定する。

【0057】

制御機能ブロック２０３に設定された関数名１２２と部分的に一致する関数名８０２がモデル設定値格納データベース１１７に登録されている場合（Ｓ４０３：ＹＥＳ）、当該関数名８０２が使用されている制御モデル１１３のモデル名８０１及び関数名８０２を比較結果出力部１０４に出力する設定値４０６に定義する。

【0058】

制御機能ブロック２０３に設定された関数名１２２と部分的に一致する関数名８０２がモデル設定値格納データベース１１７に登録されていない場合（Ｓ４０３：ＮＯ）、当該関数名８０２を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0059】

（２）変数の比較
制御モデル１１３から取得したデータ送受信ブロック２０１、２０５に設定された変数名１１５及び各種パラメータ（データ型、サイズ、係数情報、初期値等）と、モデル設定値格納データベース１１７に登録された全ての設定値８０３～８０７を比較し、一致するか否かを判定する。

【0060】

そして、データ送受信ブロック２０１、２０５に設定された変数名１１５がモデル設定値格納データベース１１７に登録されているいずれかの変数名８０３と一致する場合（Ｓ４０３：ＹＥＳ）、当該変数名８０３が使用されている制御モデル１１３のモデル名８０１及び変数名８０３を比較結果出力部１０４に出力する設定値４０６に定義する。さらに、以下のモデル設定値格納データベース１１７に登録されている変数名１１５と一致した変数名８０３に関連付けられた設定値を取得する。
・モデル設定値格納データベース１１７に登録されている変数名のデータ型８０４
・モデル設定値格納データベース１１７に登録されている変数名のサイズ８０５
・モデル設定値格納データベース１１７に登録されている変数名の係数情報８０６
・モデル設定値格納データベース１１７に登録されている変数名の初期値８０７

【0061】

データ送受信ブロック２０１、２０５に設定された変数名１１５がモデル設定値格納データベース１１７に登録されているいずれの変数名８０３とも一致しない場合（Ｓ４０３：ＮＯ）、部分的に一致する変数名８０３がモデル設定値格納データベース１１７に登録されているか否かを判定する。

【0062】

データ送受信ブロック２０１、２０５に設定された変数名１１５とモデル設定値格納データベース１１７に登録されているいずれかの変数名８０３と部分的に一致する場合（Ｓ４０３：ＹＥＳ）、当該変数名８０３が使用されている制御モデル１１３のモデル名８０１及び変数名８０３を比較結果出力部１０４に出力する設定値４０６に定義する。さらに、以下のモデル設定値格納データベース１１７に登録されている変数名１１５と一致した変数名８０３に関連付けられた設定値を取得する。
・モデル設定値格納データベース１１７に登録されている変数名のデータ型８０４
・モデル設定値格納データベース１１７に登録されている変数名のサイズ８０５
・モデル設定値格納データベース１１７に登録されている変数名の係数情報８０６
・モデル設定値格納データベース１１７に登録されている変数名の初期値８０７

【0063】

データ送受信ブロック２０１、２０５に設定された変数名１１５がモデル設定値格納データベース１１７に登録されているいずれの変数名８０３とも部分一致しない場合（Ｓ４０３：ＮＯ）、当該変数名８０３を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0064】

（３）定数の比較
制御モデル１１３から取得したデータ演算ブロック２０７に設定された定数名１１６及び各種パラメータ（データ型、サイズ、係数情報等）と、モデル設定値格納データベース１１７に登録された全ての設定値８０８～８１１を比較し、一致するか否かを判定する。

【0065】

そして、データ演算ブロック２０７に設定された定数名１１６がモデル設定値格納データベース１１７に登録されているいずれかの定数名８０８と一致する場合（Ｓ４０９：ＹＥＳ）、当該定数名８０８が使用されている制御モデル１１３のモデル名８０１及び定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義する。さらに、データ演算ブロック２０７に設定された各種パラメータ（データ型、サイズ、係数情報）について、モデル設定値格納データベース１１７に登録されている定数名１１６と一致した定数名８０８に関連付けられる設定値（データ型８０９、サイズ８１０、係数情報８１１）と比較する。

【0066】

データ演算ブロック２０７に設定されたパラメータ（データ型）がモデル設定値格納データベース１１７に登録されている定数名のデータ型８０９と一致しない場合（Ｓ４１０：ＮＯ）、当該データ型８０９が使用されている制御モデル１１３のモデル名８０１及びデータ型８０９を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（データ型）がモデル設定値格納データベース１１７に登録されている定数名のデータ型８０９と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0067】

データ演算ブロック２０７に設定されたパラメータ（サイズ）がモデル設定値格納データベース１１７に登録されている定数名のサイズ８１０と一致しない場合（Ｓ４１０：ＮＯ）、当該データ型８０９が使用されている制御モデル１１３のモデル名８０１及びデータ型８０９を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（サイズ）がモデル設定値格納データベース１１７に登録されている定数名のサイズ８１０と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0068】

データ演算ブロック２０７に設定されたパラメータ（係数情報）がモデル設定値格納データベース１１７に登録されている定数名の係数情報８１１と一致しない場合（Ｓ４１０：ＮＯ）、当該係数情報８１１が使用されている制御モデル１１３のモデル名８０１及び係数情報８１１を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（係数情報）がモデル設定値格納データベース１１７に登録されている定数名の係数情報８１１と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0069】

データ演算ブロック２０７に設定された定数名１１６がモデル設定値格納データベース１１７に登録されているいずれの定数名８０８とも一致しない場合（Ｓ４０９：ＮＯ）、部分的に一致する定数名８０８がモデル設定値格納データベース１１７に登録されているか否かを判定する。

【0070】

データ演算ブロック２０７に設定された定数名１１６がモデル設定値格納データベース１１７に登録されているいずれかの定数名８０８と部分的に一致する場合（Ｓ４０９：ＹＥＳ）、当該定数名８０８が使用されている制御モデル１１３のモデル名８０１及び定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義する。さらに、データ演算ブロック２０７に設定された各種パラメータ（データ型、サイズ、係数情報）について、モデル設定値格納データベース１１７に登録されている定数名１１６と一致した定数名８０８に関連付けられる設定値（データ型８０９、サイズ８１０、係数情報８１１）と比較する。

【0071】

データ演算ブロック２０７に設定されたパラメータ（データ型）がモデル設定値格納データベース１１７に登録されている定数名のデータ型８０９と一致しない場合（Ｓ４１０：ＮＯ）、当該データ型８０９が使用されている制御モデル１１３のモデル名８０１及びデータ型８０９を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（データ型）がモデル設定値格納データベース１１７に登録されている定数名のデータ型８０９と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0072】

データ演算ブロック２０７に設定されたパラメータ（サイズ）がモデル設定値格納データベース１１７に登録されている定数名のサイズ８１０と一致しない場合（Ｓ４１０：ＮＯ）、当該データ型８０９が使用されている制御モデル１１３のモデル名８０１及びデータ型８０９を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（サイズ）がモデル設定値格納データベース１１７に登録されている定数名のサイズ８１０と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0073】

データ演算ブロック２０７に設定されたパラメータ（係数情報）がモデル設定値格納データベース１１７に登録されている定数名の係数情報８１１と一致しない場合（Ｓ４１０：ＮＯ）、当該係数情報８１１が使用されている制御モデル１１３のモデル名８０１及び係数情報８１１を比較結果出力部１０４に出力する設定値４０６に定義する。一方、データ演算ブロック２０７に設定されたパラメータ（係数情報）がモデル設定値格納データベース１１７に登録されている定数名の係数情報８１１と一致する場合（Ｓ４１０：ＹＥＳ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0074】

データ演算ブロック２０７に設定された定数名１１６がモデル設定値格納データベース１１７に登録されているいずれの定数名８０８とも部分的に一致しない場合（Ｓ４０９：ＮＯ）、定数名８０８を比較結果出力部１０４に出力する設定値４０６に定義しない。

【0075】

図５は、比較結果出力部１０４が実行する比較結果出力処理のフローチャートである。

【0076】

比較結果出力部１０４は、設定値比較部１０３からの設定値４０６が入力されると（Ｓ５０１）、結果の内容を比較結果ファイル１２０に出力（Ｓ５０２）する。比較結果ファイル１２０の出力はドキュメント生成ツールを用いて実施する。ドキュメント生成ツールは例えばＭｉｃｒｏｓｏｆｔ（商標登録）のＥｘｃｅｌ（商標登録）等の文章を作成するソフトウェアで構成されているものとする。

【0077】

具体的には、比較結果出力の処理を開始すると、ドキュメント作成ツールから新規ドキュメントを開く。

【0078】

（１）関数の場合
制御モデル１１３内の制御機能ブロック２０３に設定された関数名１２２と、モデル設定値格納データベース１１７に登録されている設定値８０２との比較結果によって、ドキュメントに出力する文言を以下の通りとする。
一致する場合：モデル設定値格納データベース１１７に登録されている設定値８０１及び８０２を出力する。
一致しない場合：該当する設定値は無いため、”該当なし”と出力する。

【0079】

（２）変数の場合
制御モデル１１３内のデータ送受信ブロック２０１、２０５に設定された変数名１１５や各種パラメータ（データ型、サイズ、係数情報、初期値等）と、モデル設定値格納データベース１１７に登録されている設定値８０３～８０７との比較結果によって、ドキュメントに出力する文言を以下の通りとする。
一致する場合：モデル設定値格納データベース１１７に登録されている設定値８０１及び８０３～８０７を出力する。
一致しない場合：該当する設定値は無いため、”該当なし”と出力する。

【0080】

（３）定数の場合
制御モデル１１３内のデータ演算ブロック２０７に設定された定数名１１６や各種パラメータ（データ型、サイズ、係数情報等）と、モデル設定値格納データベース１１７に登録されている設定値８０８～８１１との比較結果によって、ドキュメントに出力する文言を以下の通りとする。
一致する場合：モデル設定値格納データベース１１７に登録されている設定値８０１及び８０８～８１１を出力する。
一致しない場合：該当する設定値は無いため、”該当なし”と出力する。

【0081】

結果の出力が完了した後、ファイルに任意の名前を付けて保存し、比較結果ファイル１２０として出力する。

【0082】

図６は、設定値登録部１０５が実行する設定値登録処理のフローチャートである。

【0083】

設定値登録部１０５は、制御モデル１１３から取得した設定値３０６が入力されると、入力された設定値をモデル設定値格納データベース１１７に登録する。

【0084】

具体的には、設定値登録の処理を開始すると、制御モデル１１３から取得した設定値３０６を読み込んで（Ｓ６０１）、モデル設定値格納データベース１１７を参照する。そして、モデル設定値格納データベース１１７に登録されている各設定値８０１～８１１に、制御モデル１１３から取得した設定値３０６を追加登録する（Ｓ６０２）。

【0085】

図７は、修正実行部１０６が実行する修正実行処理のフローチャートである。

【0086】

修正実行部１０６は、制御モデル１１３とモデル設定値格納データベース１１７で重複する設定値について、ユーザが入力した任意の設定値７０６を用いて制御モデル１１３を修正した設定値修正済み制御モデル１２１を生成し、設定値比較部１０３に出力する。

【0087】

以下、制御モデル１１３を修正する手順について説明する。

【0088】

修正実行の処理を開始すると、制御モデル１１３をモデル作成支援ツール１２３で読み込む（Ｓ７０２）。

【0089】

（１）関数の場合
モデル解析部１１１は、モデル設定値格納データベース１１７に登録された関数名８０２と一致する制御機能ブロック２０３に設定された関数名１２２を制御モデル１１３内で検索する。該当する制御機能ブロック２０３が見つかった場合（Ｓ７０３：ＹＥＳ）、設定修正部１１２は、ユーザが任意に指定した設定値７０６の入力を受け付け（Ｓ７０４）、制御機能ブロック２０３に設定された設定値１２２をユーザが任意に指定した設定値７０６に修正した設定値修正済制御モデル１２１を出力する（Ｓ７０５）。

【0090】

（２）変数の場合
モデル解析部１１１は、モデル設定値格納データベース１１７に登録された変数名８０３と一致するデータ送受信ブロック２０１、２０５に設定された変数名１１５を制御モデル１１３内で検索する。該当するデータ送受信ブロック２０１、２０５が見つかった場合（Ｓ７０３：ＹＥＳ）、設定修正部１１２は、ユーザが任意に指定した設定値７０６の入力を受け付け（Ｓ７０４）、データ送受信ブロック２０１、２０５に設定された変数名１１５や各種パラメータ（データ型、サイズ、係数情報、初期値等）をユーザが任意に指定した設定値７０６に修正した設定値修正済制御モデル１２１を出力する（Ｓ７０５）。

【0091】

（３）定数の場合
モデル解析部１１１は、モデル設定値格納データベース１１７に登録された定数名８０８と一致するデータ演算ブロック２０７に設定された定数名１１６を制御モデル１１３内で検索する。該当するデータ演算ブロック２０７が見つかった場合（Ｓ７０３：ＹＥＳ）、設定修正部１１２は、ユーザが任意に指定した設定値７０６の入力を受け付け（Ｓ７０４）、データ演算ブロック２０７に設定された１１６や各種パラメータ（データ型、サイズ、係数情報等）をユーザが任意に指定した設定値７０６に修正した設定値修正済制御モデル１２１を出力する（Ｓ７０５）。

【0092】

修正実行部１０６は、制御モデル１１３から取得した設定値の分だけステップＳ７０３～Ｓ７０５の処理を繰り返し、繰り返し処理が終了した後、修正実行処理を終了する。なお、設定値修正済制御モデル１２１は、繰り返し終了後に纏めて出力してもよい。

【0093】

以上に説明したように、本発明の実施例によると、設定値の重複を制御モデル段階で確認でき、制御モデルを修正する際の手戻り工数を削減できる。すなわち、複数の制御モデルにおいて関数名、変数名、定数名に同じ名前が設定されていても、ソースコードで関数、変数、定数として定義される設定値を制御モデルから取得し、さらに他の制御モデルで使用している設定値を参照できるように、制御モデルから取得した設定値を集約したモデル設定値格納データベース１１７を構築し、従来ソースコード生成後に確認される関数名、変数名、定数名の重複を制御モデル段階で確認できる。

【0094】

なお、本発明は前述した実施例に限定されるものではなく、添付した特許請求の範囲の趣旨内における様々な変形例及び同等の構成が含まれる。例えば、前述した実施例は本発明を分かりやすく説明するために詳細に説明したものであり、必ずしも説明した全ての構成を備えるものに本発明は限定されない。また、ある実施例の構成の一部を他の実施例の構成に置き換えてもよい。また、ある実施例の構成に他の実施例の構成を加えてもよい。また、各実施例の構成の一部について、他の構成の追加・削除・置換をしてもよい。

【0095】

また、前述した各構成、機能、処理部、処理手段等は、それらの一部又は全部を、例えば集積回路で設計する等により、ハードウェアで実現してもよく、プロセッサがそれぞれの機能を実現するプログラムを解釈し実行することにより、ソフトウェアで実現してもよい。

【0096】

各機能を実現するプログラム、テーブル、ファイル等の情報は、メモリ、ハードディスク、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）等の記憶装置、又は、ＩＣカード、ＳＤカード、ＤＶＤ等の記録媒体に格納することができる。

【0097】

また、制御線や情報線は説明上必要と考えられるものを示しており、実装上必要な全ての制御線や情報線を示しているとは限らない。実際には、ほとんど全ての構成が相互に接続されていると考えてよい。

【符号の説明】

【0098】

１０１ モデル情報確認システム
１０２ 設定値取得部
１０３ 設定値比較部
１０４ 比較結果出力部
１０５ 設定値登録部
１０６ 修正実行部
１０７ モデル解析部
１０８ 結果出力部
１０９ データベース解析部
１１０ 結果出力部
１１１ モデル解析部
１１２ 設定修正部
１１３ 制御モデル
１１４ 設定値
１１５ 変数名
１１６ 定数名
１１７ モデル設定値格納データベース
１１８ リスト
１１９ 成果物
１２０ 比較結果ファイル
１２１ 設定値修正済制御モデル
１２２ 関数名
２０１ データ送受信ブロック
２０３ 制御機能ブロック
２０５ データ送受信ブロック
２０７ データ演算ブロック
３０６、４０６、７０６ 設定値

【図1】

【図2】

【図3】

【図4A】

【図4B】

【図5】

【図6】

【図7】

【図8】