JP2011209783A - Operations management system and method for verifying facility data of the same - Google Patents
Operations management system and method for verifying facility data of the same Download PDFInfo
- Publication number
- JP2011209783A JP2011209783A JP2010074062A JP2010074062A JP2011209783A JP 2011209783 A JP2011209783 A JP 2011209783A JP 2010074062 A JP2010074062 A JP 2010074062A JP 2010074062 A JP2010074062 A JP 2010074062A JP 2011209783 A JP2011209783 A JP 2011209783A
- Authority
- JP
- Japan
- Prior art keywords
- control
- data
- display
- computer
- bit position
- 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.)
- Pending
Links
Images
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
Description
本発明は、複数の計算機から構成される運行管理システムの設備データ検証方法に係わり、特に個別に開発される計算機ソフトウェア、特にデータベースの設備情報の整合性を検証するのに好適な運行管理システム及びその設備データ検証方法に関する。 The present invention relates to a facility data verification method for an operation management system composed of a plurality of computers, and particularly, an operation management system suitable for verifying the consistency of facility software information, particularly computer software developed individually. It relates to the equipment data verification method.
近年、制御用計算機システムはPC(パーソナルコンピュータ)やネットワーク技術の強化にともなって、従来の中央計算機集中型の計算機構成から、分散型の計算機構成へと急速展開している。このように分散化されることによって、最近はシステムを1社だけでまとめるのではなく、各PCの担当会社が異なる、いわゆるマルチベンダー化が進んでいる。 In recent years, with the strengthening of PC (personal computer) and network technology, control computer systems are rapidly expanding from a conventional central computer centralized computer configuration to a distributed computer configuration. Due to such decentralization, the so-called multi-vendorization is progressing recently, in which the system is not integrated by only one company but the companies in charge of each PC are different.
このマルチベンダー化に伴って、制御用計算機システムのアーキテクチャは大きく変更せざるを得なくなった。すなわち、計算機がPCで分散化されたり、入出力装置がPCでインテリジェント化されたりすることによって、各分散されたPCが独立した機能を果すために、各PC毎に設備情報および表示/制御情報をかかえ込んでいる。そして各PCに装備する設備情報は、必ずしも全く同じではなく、各PCの役割に応じて必要な情報のみが格納されていることが多い。 Along with this multi-vendorization, the architecture of the control computer system has to be changed greatly. That is, since the computers are distributed by the PC and the input / output devices are made intelligent by the PC, each distributed PC performs an independent function, so that the facility information and display / control information for each PC. Is holding in. The equipment information installed in each PC is not necessarily the same, and in many cases, only necessary information is stored according to the role of each PC.
このようなシステムの開発を1つのベンダーで行う時には、一般には顧客から運行管理システムの設備情報表および表示/制御情報表がそのベンダーに与えられ、ベンダーはこれを元に展開ツールなどを自作して、そのツールにより分散PCの各々に必要な情報を配布するという形態を取る。また、設備情報および表示/制御情報の追加変更があるときも、その都度展開ツールを利用した情報の配布により、各PCの設備情報および表示/制御情報のバージョンを一致化することが容易である。 When such a system is developed by a single vendor, the customer is generally given the facility management information table and display / control information table of the operation management system to the vendor, and the vendor creates their own development tools based on this information. The necessary information is distributed to each distributed PC by the tool. In addition, even when there is an additional change in equipment information and display / control information, it is easy to make the version of equipment information and display / control information on each PC consistent by distributing information using a deployment tool. .
ところが、このようなシステムの開発が、最近多くなったマルチベンダー形態になると、種々のトラブルが発生する。すなわち、顧客から与えられた同じ設備情報および表示/制御情報を各ベンダーが受け取って構成した各社のPCをネットワークで接続して動かすと、正常に動作しない場合が殆どである。その原因には、〔特許文献1〕に記載された3つの原因がある。 However, when the development of such a system becomes a multi-vendor form which has recently increased, various troubles occur. That is, in most cases, when the vendors' PCs configured by receiving the same facility information and display / control information given by the customer are connected and operated via a network, they do not operate normally. There are three causes described in [Patent Document 1].
〔特許文献1〕に記載の従来の技術では、このようなデータ不一致をチェックするため、制御用計算機のデータ検証部により設備情報データベース及び表示データベースから設備名称を設備番号と組みにしたデータを作成して管理用計算機へ送信し、データ検証部は、この送信されてきたデータと、設備情報データベース及び表示情報データベースから生成した同様のデータと比較し、不一致の有無を検出するようにしている。 In the prior art described in [Patent Document 1], in order to check such a data mismatch, the data verification unit of the control computer creates data in which the equipment name is combined with the equipment number from the equipment information database and the display database. Then, the data verification unit compares the transmitted data with the same data generated from the facility information database and the display information database, and detects whether there is a mismatch.
〔特許文献1〕に記載の従来の技術では、設備情報データベース及び表示データベースから設備名称を設備番号と組みにしたデータを用いているため、設備番号と設備名称とのデータベース上の対応づけが、マルチベンダーのベンダーごとに異なっていると、正確なチェックが行えず、このために誤った制御が実行されてしまう可能性がある。 In the conventional technique described in [Patent Document 1], since the data in which the equipment name is combined with the equipment number from the equipment information database and the display database is used, the correspondence between the equipment number and the equipment name on the database is If it is different for each multi-vendor, an accurate check cannot be performed, which may cause incorrect control.
本発明の目的は、運行管理システムの複数の計算機で共通に用いられる表示/制御情報(設備名称)とビット位置の不一致を確実に検出できる機能を備えた運行管理システムの設備データ検証方法を提供することにある。 An object of the present invention is to provide a facility data verification method for an operation management system having a function capable of reliably detecting a mismatch between display / control information (equipment name) commonly used by a plurality of computers of the operation management system and a bit position. There is to do.
上記の目的を達成するために、本発明の運行管理システムは、ネットワークに接続され、各々に、ビット位置と該ビット位置に対応する関連設備を含む設備属性を記憶する設備情報データベースとビット位置とビット位置に対応する表示名称(表示文字)と制御データを記憶する表示/制御情報データベースを具備する管理用計算機及び制御用計算機と、各制御用計算機は自計算機に設けられた設備情報データベース及び表示/制御情報データベースを用いて制御を実行する運行管理システムであって、管理用計算機が、データ検証時に、管理用計算機からビット位置情報を送信し、制御用計算機から検証用データとして送信された表示/制御情報及び自計算機に設けられた設備情報データベースをマージして第2マージデータとして記録し、自計算機に設けられた設備情報データベース及び表示/制御情報データベースから取り込んだデータをマージした第1マージデータを記録する比較用データベースと、比較要データベースに記録された第1マージデータと前記第2マージデータとを制御用計算機ごとに比較して不一致があればそれを検出して問題ファイルに格納するデータ検証部を備えているものである。 In order to achieve the above object, an operation management system of the present invention is connected to a network, and each includes a facility information database for storing facility attributes including a bit position and related facilities corresponding to the bit position, and a bit position. Management computer and control computer having a display / control information database for storing display names (display characters) corresponding to bit positions and control data, and each control computer has an equipment information database and a display provided in its own computer / The operation management system that executes control using the control information database, and the management computer transmits the bit position information from the management computer at the time of data verification, and the display transmitted as the verification data from the control computer / Merge control information and equipment information database provided in own computer and record as second merge data Comparison database for recording first merge data obtained by merging data fetched from the facility information database and display / control information database provided in the own computer, the first merge data recorded in the database requiring comparison, and the second merge A data verification unit is provided that compares data with each control computer and detects any inconsistency and stores it in the problem file.
又、運行管理システムのデータ検証方法は、ネットワークに接続された管理用計算機及び制御用計算機の各々にビット位置とビット位置に対応する関連設備を含む設備属性を記憶する設備情報データベースとビット位置とビット位置に対応する表示名称(表示文字)と制御データを記憶する表示/制御情報データベースを具備し、各制御用計算機は自計算機に設けられた設備情報データベース及び表示/制御情報データベースを用いて制御を実行する運行管理システムであって、データ検証時は、前記管理用計算機からビット位置情報を送信し、制御用計算機から検証用データとして送信された表示/制御情報及び自計算機に設けられた設備情報データベースをマージして第2マージデータとして管理用計算機の比較用データベースに入力し、自計算機に設けられた設備情報データベース及び表示/制御情報データベースから取り込んだデータをマージした第1マージデータを前記比較用データベースに入力し、管理用計算機のデータ検証部は、前記比較用データベースに入力した第1マージデータと前記第2マージデータとを制御用計算機ごとに比較して不一致があればそれを検出して問題ファイルに格納するものである。 Further, the data verification method of the operation management system includes a facility information database for storing facility attributes including a bit position and related facilities corresponding to the bit position in each of a management computer and a control computer connected to the network, and a bit position. A display / control information database for storing display names (display characters) corresponding to bit positions and control data is provided, and each control computer is controlled using an equipment information database and a display / control information database provided in its own computer. The operation management system for executing the above-mentioned, at the time of data verification, the bit position information is transmitted from the management computer, the display / control information transmitted as verification data from the control computer, and the equipment provided in the own computer Merge the information database and enter it as the second merge data into the comparison database of the management computer The first merge data obtained by merging the data acquired from the facility information database and the display / control information database provided in the own computer is input to the comparison database, and the data verification unit of the management computer is input to the comparison database. The first merge data and the second merge data are compared for each control computer, and if there is a mismatch, it is detected and stored in the problem file.
本発明によれば、個別に開発されたソフトウェア間での設備情報と表示/制御情報の不整合性が容易に検出・修正できるので、一度のデータ検証処理により各社間のI/F試験において分散型制御システムにおける誤制御を防止できる効果がある。 According to the present invention, since inconsistencies between facility information and display / control information between individually developed software can be easily detected and corrected, it is distributed in I / F tests between companies by a single data verification process. This is effective in preventing erroneous control in the mold control system.
本発明の一実施例を図1から図11により説明する。図1は、本実施例の運行管理システムの構成図である。 An embodiment of the present invention will be described with reference to FIGS. FIG. 1 is a configuration diagram of an operation management system according to the present embodiment.
図1に示すように、運行管理システムは、制御対象3を制御する一個又は複数の制御用計算機2と、制御用計算機2に接続され、制御用計算機2に必要な情報を入力したり、制御用計算機2の動作状態を表示するマンマシン装置5と、制御用計算機2とネットワーク6を介して接続され、制御用計算機2の情報を用いてシステム全体を管理する管理用計算機1と、管理用計算機1に接続され、管理用計算機1に必要な情報を入出力するマンマシン装置4で構成されている。
As shown in FIG. 1, the operation management system is connected to one or a plurality of
管理用計算機1は、システム全体の管理を行うための全体管理部14,ビット位置とビット位置に対応する関連設備を含む設備属性を記憶する設備情報データベース11,ビット位置とビット位置に対応する表示名称(表示文字)と制御データを記憶する表示/制御情報データベース12,マンマシン装置4より表示情報を受信し、ビット位置へ変換して全体管理部14へ伝送する、或いは全体管理部14からビット位置を受信して、表示情報へ変換してマンマシン装置4へ伝える表示制御部15,管理用計算機1と制御用計算機2とのビット位置と表示名称の相互チェックを行うデータ検証部13,ネットワーク6との通信インターフェイス16で構成されている。データ検証部13には、処理のために用いるワーク用の比較用データベース17と問題ファイル18が接続されている。
The management computer 1 includes an
制御用計算機2は、管理用計算機1より受信したビット位置をもとに個別制御を行う個別制御部24,ビット位置とビット位置に対応する関連設備を含む設備属性を記憶する設備情報データベース21,ビット位置とビット位置に対応する表示名称(表示文字)と制御データを記憶する表示/制御情報データベース22,マンマシン装置5より表示情報を受信しビット位置へ変換して個別制御部24へ伝送したり、個別制御部24からビット位置を受信し表示情報へ変換してマンマシン装置5へ伝える表示制御部25,管理用計算機1から受取ったビット位置をもとに、制御用計算機2の関連設備を含むビット位置と表示名称を管理用計算機1へ送信するデータ検証部23,ネットワーク6の通信インターフェイス26で構成されている。
The
上述した全体管理部14,個別制御部24,データ検証部13,23,表示制御部15,25は、実行されるプログラムとして各計算機に組み込まれている。
The above-described
図2は、設備の簡単な例を示す模式図である。図2に示す設備の例では、区間は、区間番号「111」,「121」,「122」,「131」の4つの区間に分けられており、各区間には、名称「DIT」,「51T」,「1RAT」,「1RBT」,「62T」,「13RT」で示される回路が敷設されている。また、回路が分岐或いは合流する近くには、信号機が設けられている。図2に示す例では、名称「1RA」,「1RB」,「12R」,「13R」の4つの信号機が設置されている。 FIG. 2 is a schematic diagram showing a simple example of equipment. In the example of the equipment shown in FIG. 2, the section is divided into four sections having section numbers “111”, “121”, “122”, and “131”, and each section has a name “DIT”, “ Circuits indicated by “51T”, “1RAT”, “1RBT”, “62T”, and “13RT” are laid. In addition, a traffic signal is provided near where the circuit branches or merges. In the example shown in FIG. 2, four traffic lights with names “1RA”, “1RB”, “12R”, and “13R” are installed.
図3は、設備データのうち図2に示す信号機情報を示す図である。図2に示される4つの信号機「1RA」,「1RB」,「12R」,「13R」の各々が関連する設備データ、すなわち外方回路,第1内方回路,最終内方回路,外方区間,内方区間がビット位置で信号機情報として格納されている。 FIG. 3 is a diagram showing the traffic signal information shown in FIG. 2 in the equipment data. Equipment data associated with each of the four traffic lights “1RA”, “1RB”, “12R”, “13R” shown in FIG. 2, that is, an outer circuit, a first inner circuit, a final inner circuit, and an outer section. , The inner section is stored as signal information at bit positions.
例えば、設備名称が1群1ビットで表示名称が1RAの信号機は、外方回路が3郡1ビット(DIT)、第一内方回路が3群3ビット(51T)、最終内方回路が3群2ビット(1RAT)、外方区間が111、内方区間が121の関連する設備データが記録されている。
For example, in a traffic light whose equipment name is 1 group 1 bit and whose display name is 1 RA, the outer circuit is 3 groups 1 bit (DIT), the first inner circuit is 3
図4は、図2に示す設備データのうち区間情報を示す図である。図2に示される4つの区間「111」,「121」,「122」,「131」の種別が区間情報として格納されている。種別は、いずれも列番表示位置である。 FIG. 4 is a diagram showing section information in the facility data shown in FIG. The types of four sections “111”, “121”, “122”, and “131” shown in FIG. 2 are stored as section information. Each type is a column number display position.
図5は、図2に示す設備データのうち表示情報を示す図である。図2に示す列車設備における表示情報として、信号機及び回路の各々の表示コードと種別が格納されている。例えば、信号機「1RA」の表示コードは「1群1ビット」であり、種別は「信号機」として格納されている。 FIG. 5 is a diagram showing display information in the facility data shown in FIG. As display information in the train facility shown in FIG. 2, display codes and types of traffic lights and circuits are stored. For example, the display code of the traffic light “1RA” is “1 group 1 bit”, and the type is stored as “traffic light”.
図6は、図2に示す設備データのうち制御情報を示す図である。図2に示す列車設備における制御コードとして、信号機の制御コードが記憶装置内に格納されている。例えば、信号機「1RA」の制御コードとして「1群1ビット」が格納されている。 FIG. 6 is a diagram showing control information in the facility data shown in FIG. As a control code in the train facility shown in FIG. For example, “1 group 1 bit” is stored as the control code of the traffic light “1RA”.
例えば、図6に示す信号機「1RA」の制御コード「1群1ビット」をオンした制御情報が出力されると、図5の信号機「1RA」の表示コード「1群1ビット」がオンされて制御対象3から送信される。
For example, when the control information indicating that the control code “1 group 1 bit” of the traffic signal “1RA” shown in FIG. 6 is turned on is output, the display code “1 group 1 bit” of the traffic signal “1RA” of FIG. It is transmitted from the
そのとき、マンマシン装置5には、信号機「1RA」を進行現示で表示する。また、図3に示す第一内方回路「3群2ビット」と最終内方回路「3群3ビット」の色を変えて進路を表示する。
At that time, the traffic light “1RA” is displayed on the man-machine device 5 in a progress display. Further, the route is displayed by changing the colors of the first inner circuit “3
列車の位置が、図3に示す外方回路「3群1ビット」がオンから図3に示す第一内方回路「3群2ビット」がオンへ変わると、変わったタイミングで図4に示す表示位置を「111」から「121」へ進める。
When the position of the train is changed from the ON state of the outer circuit “3 group 1 bit” shown in FIG. 3 to the ON state of the first inner circuit “3
図7は、制御用計算機2に記録されている表示情報に誤りがある場合の例を示す図である。図7に示す表示情報は、図5で説明した表示情報と同様であるが、表示コード「3群4ビット」の表示名称は「1RCT」と誤って入力されており、表示コード「3群4ビット」は図5に示す表示名称「1RBT」と異なっている。ここで、「3群4ビット」をビット位置ともいう。
FIG. 7 is a diagram showing an example when there is an error in the display information recorded in the
なお、制御用計算機2に記録されている設備情報データベース21は、図3に示す設備情報データベース11と同じで誤りはないものとする。
The
管理用計算機1のデータ検証部13で行うデータの検証動作を図8を用いて説明する。図8は、管理用計算機1のデータ検証部13の処理を示すフローチャートである。
The data verification operation performed by the
ステップ801で、ネットワーク6を経由して各制御用計算機2へ自計算機の設備情報データベース11に記録されているビット位置情報を送信し、ステップ802で、各制御用計算機2から検証用データとして、上述した表示/制御情報が送信されてくるとこれを受信し、ステップ803で、受信したデータを第2マージデータとして比較用データベース17へ入力する。
In step 801, the bit position information recorded in the
ステップ804で、管理用計算機1から各制御用計算機2へ送信したビット位置「1群1ビット」および「1群2ビット」をキーに設備情報データベース11より、ビット位置「1群1ビット」および「1群2ビット」とその関連設備「外方回路」や「最終内方回路」などの設備情報をメモリエリアwk1に入力する。
In
ステップ805で、ビット位置「1群1ビット」および「1群2ビット」とその関連設備に対応する表示/制御情報をメモリエリアwk2に入力する。
In
ステップ806で、ステップ804,805にて設備情報データベース11,表示/制御情報データベース12より取り込んだ設備情報および表示/制御情報をマージし、第1マージデータとして比較用データベース17へ格納する。
In
図9(a)は、図3に示すデータベースの場合に生成される比較用データベース17の内容を示した図である。図9(a)は、図8のステップ804,805によって設備情報データベース11及び表示/制御情報データベース12から取り込んだデータを、ステップ806でマージした第1マージデータであり、ビット位置と表示文字とが対応づけられている。
FIG. 9A is a diagram showing the contents of the
図9(a)に示す例は、図3に示した正常な設備情報と表示/制御情報をマージしたものである。一方、図9(b)に示す例は、1つの制御用計算機2の表示/制御情報データベース22が図7に示すように誤って設定されたときに、図8のステップ803により入力された第2マージデータで、ビット位置「3群4ビット」の表示名称が「1RCT」と設定されている他は図9(a)に示す例と同じである。
The example shown in FIG. 9A is obtained by merging the normal facility information and the display / control information shown in FIG. On the other hand, in the example shown in FIG. 9B, the display /
図8に示すフローのステップ807で、上述したようにして、制御用計算機2のデータベースをマージして送られてきた第2マージデータと、管理用計算機1のデータベースをマージして生成されたデータとの比較が行われる。
In
制御用計算機2が複数個ある場合は、その計算機毎に第2マージデータがあり、ここでの比較も制御用計算機ごとに行われる。比較の方法は、例えば、第1,第2マージデータで表示文字をキーとして対応するビット位置が一致するかを調べ、次にビット位置をキーとして対応する表示文字が一致するかを調べる。そしてその結果を問題ファイル18へ格納する。オペレータはこれを表示することで問題があればその修正を行う。
When there are a plurality of
図10は、図9に示すマージデータの比較を行って生成された問題ファイルを示しており、上述した比較によって、ビット位置「1群2ビット」の最終内方回路表示文字が第1マージデータでは「1RBT」であるのに、第2マージデータでは「1RCT」となっていて不一致であり、この検出結果が不一致となった表示文字位置に「不一致」と入力されている。
FIG. 10 shows a problem file generated by comparing the merge data shown in FIG. 9, and the final inner circuit display character at the bit position “
図10に示すチェック結果の欄には、設備と関連設備がひとまとめにして表示されており、「不一致」を生じた設備「1群2ビット」のチェック結果として「NG」が入力される。一方、設備「1群1ビット」とその関連設備に関しては誤りがないので、チェック結果は「OK」が入力される。 In the check result column shown in FIG. 10, facilities and related facilities are collectively displayed, and “NG” is input as a check result of the “group 1 bit” in which “mismatch” has occurred. On the other hand, since there is no error regarding the equipment “group 1 bit” and the related equipment, “OK” is input as the check result.
以上のようにして、データ検証時に表示/制御情報を設備情報とともに管理用計算機1へ送信してデータベースの内容をチェックし、修正しておけば、実際の制御運転時にはビット位置を送信することにより、表示/制御情報との食い違いが生じることなく正しい制御が行える。 As described above, the display / control information is transmitted to the management computer 1 together with the facility information at the time of data verification, the contents of the database are checked, and if corrected, the bit position is transmitted at the time of actual control operation. Thus, correct control can be performed without any discrepancy with the display / control information.
このように、設備名称として個々に区別できるビット位置を用い、表示名称,表示コード及び制御コードを比較しているので、正確なチェックが行え、誤った制御が実行されるのを防止することができる。 In this way, since the display position, display code, and control code are compared using individually distinguishable bit positions as equipment names, accurate checks can be performed and erroneous control can be prevented from being executed. it can.
図11は、管理用計算機1における、データ検証部13の全体処理を示すフローチャートである。この全体処理では、信号機情報検証処理111と、区間情報検証処理112と、接近検知情報検証処理113と、進路制御情報検証処理114と、進路設備情報検証処理115とが用意されており、説明した信号機の他に区間情報,接近検知情報,進路制御情報の検証が行えるようになっている。
FIG. 11 is a flowchart showing the overall processing of the
1 管理用計算機
2 制御用計算機
3 制御対象
4,5 マンマシン装置
6 ネットワーク
11,21 設備情報データベース
12,22 表示/制御情報データベース
13,23 データ検証部
14 全体管理部
15,25 表示制御部
16,26 インターフェイス
24 個別制御部
DESCRIPTION OF SYMBOLS 1
Claims (3)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010074062A JP2011209783A (en) | 2010-03-29 | 2010-03-29 | Operations management system and method for verifying facility data of the same |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010074062A JP2011209783A (en) | 2010-03-29 | 2010-03-29 | Operations management system and method for verifying facility data of the same |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2011209783A true JP2011209783A (en) | 2011-10-20 |
Family
ID=44940814
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010074062A Pending JP2011209783A (en) | 2010-03-29 | 2010-03-29 | Operations management system and method for verifying facility data of the same |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2011209783A (en) |
-
2010
- 2010-03-29 JP JP2010074062A patent/JP2011209783A/en active Pending
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101236574B (en) | Method, system for simulating processing in data processing system | |
WO2012124163A1 (en) | Design assistance device of network system | |
US20040073890A1 (en) | Method and system for test management | |
ITTO980720A1 (en) | PROCEDURE FOR INSTALLING AND VERIFYING THE SOFTWARE FOR A CUSTOM MADE COMPUTER SYSTEM. | |
JP7559452B2 (en) | Method, system and computer program for commissioning a field device in a control system - Patents.com | |
CN102867010A (en) | Systems and methods of extracting, storing, and serving device definition file information | |
EP1170667A1 (en) | Software package verification | |
US20030126504A1 (en) | Method for checking a computer system configuration | |
KR102232876B1 (en) | Breakdown type analysis system and method of digital equipment | |
CN108427383B (en) | Engineering device, engineering method, and storage medium | |
WO2009144826A1 (en) | Verification file generating program, verification file generating device, and verification file generating method | |
US20150149944A1 (en) | Method for automatic display of possible connections and automatic connection of model components of a model of a technical system | |
US7308376B2 (en) | Computer platform automatic testing method and system | |
US9261877B2 (en) | Multiple machine interface | |
JP2011209783A (en) | Operations management system and method for verifying facility data of the same | |
JP2012174179A (en) | Operation definition generation device for monitoring control system | |
JP2006059108A (en) | Support system for development test of information system | |
JP2014137748A (en) | Document data management system, document data management method and document data management program | |
CN110389871A (en) | A kind of safety computer platform having system integrity confirmation function | |
JP5653112B2 (en) | Command execution result abnormality detection system and method | |
CN108763061A (en) | A kind of computer software product quality control management system | |
CN110447028B (en) | System design support device and system design support method | |
JP2001216020A (en) | Distributed control system and data verification method therefor | |
CN104809111A (en) | Method, device and system for verifying validation of automatic system database file | |
CN105335284A (en) | Data processing method and apparatus for continuous integration system |