JP2018530077A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2018530077A5 JP2018530077A5 JP2018518521A JP2018518521A JP2018530077A5 JP 2018530077 A5 JP2018530077 A5 JP 2018530077A5 JP 2018518521 A JP2018518521 A JP 2018518521A JP 2018518521 A JP2018518521 A JP 2018518521A JP 2018530077 A5 JP2018530077 A5 JP 2018530077A5
- Authority
- JP
- Japan
- Prior art keywords
- result
- test
- block
- cem
- blocks
- 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.)
- Granted
Links
- 238000000034 method Methods 0.000 claims 12
- 230000000875 corresponding Effects 0.000 claims 11
- 238000004886 process control Methods 0.000 claims 7
- 239000011159 matrix material Substances 0.000 claims 6
- 230000004044 response Effects 0.000 claims 3
- 230000003213 activating Effects 0.000 claims 2
- 230000000694 effects Effects 0.000 claims 2
Claims (26)
- プロセスプラントのプロセス制御システムの構成を決定するコンピュータ実装の方法であって、前記プロセス制御システムが、一組の機能ブロックとして実装され、前記方法が、
前記一組の機能ブロックの各々について、(i)前記機能ブロックの一組の出力、(ii)前記機能ブロックの論理、及び(iii)前記機能ブロックの一組の入力、に基づいて、前記機能ブロック構成を決定することと、
前記機能ブロック構成に基づいて、一組の試験原因及び一組の試験結果を有する試験原因結果マトリックス(CEM)を発生させることであって、前記一組の試験原因及び前記一組の試験結果のうちの少なくともいくつかが、試験原因−結果の対として関連される、発生させることと、
入力としての一組の原因及び出力としての一組の結果を有する要求定義CEMにアクセスすることであって、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、前記対応する条件の発生に応答して前記対応する結果を起動させる、アクセスすることと、
前記試験CEMと前記要求定義CEMとを比較して、一組の不一致が存在するかどうかを判定することと、を含む、コンピュータ実装の方法。 - 前記一組の不一致が存在するとき、前記方法が、
前記一組の不一致をユーザインターフェースに表示することをさらに含む、請求項1に記載のコンピュータ実装の方法。 - 前記ユーザインターフェースを介して、前記一組の不一致のうちの1つの不一致の選択を受信することと、
前記不一致に対応する複数の相互に接続された前記機能ブロックのうちの1つの機能ブロックを決定することと、
決定された前記機能ブロックの指示を前記ユーザインターフェースに表示することと、をさらに含む、請求項2に記載のコンピュータ実装の方法。 - 前記機能ブロック構成を決定することが、
前記機能ブロックの前記一組の出力を識別することと、
前記機能ブロックの前記一組の入力を識別することと、
前記機能ブロックの、前記機能ブロックの入力を前記機能ブロックの出力に変換する前記論理を決定することと、
を含む、請求項1から3のいずれか1項に記載のコンピュータ実装の方法。 - 前記機能ブロック構成に基づいて、前記試験原因結果マトリックス(CEM)を発生させることが、
複数の前記機能ブロックのうち第一のものの一組の入力を識別することと、
複数の前記機能ブロックのうち第二のものの一組の出力を識別することであって、複数の前記機能ブロックのうち前記第二のものの前記一組の出力の一つは、複数の前記機能ブロックのうち前記第一のものへの入力である、識別することと、
複数の前記機能ブロックのうち前記第一および前記第二のものの論理を結合して、複数の前記機能ブロックのうち前記第二のものの1または複数の前記入力から、複数の前記機能ブロックのうち前記第一のものの1または複数の前記出力に関する論理式を決定し、結合された論理を生成することと、
前記結合された論理を使って前記試験CEMの1または複数の原因と結果の組を決定することと、
を含む、請求項1から4のいずれか1項に記載のコンピュータ実装の方法。 - 前記一組の機能ブロックが、一組の監視ブロック及び一組の結果ブロックを含む、請求項1から5のいずれか1項に記載のコンピュータ実装の方法。
- 前記監視ブロックおよび前記結果ブロックが相互に接続する
請求項6に記載のコンピュータ実装の方法。 - 前記機能ブロックの前記構成を決定することが、
前記機能ブロックの前記入力を前記機能ブロックの前記出力に変換するブーリアン論理を決定することを含む、
請求項1から7のいずれか1項に記載のコンピュータ実装の方法。 - 前記試験CEMを発生させることが、
前記試験原因−結果の対で前記試験CEMをポピュレートすることを含む、請求項8に記載のコンピュータ実装の方法。 - 前記機能ブロックの前記論理は、前記機能ブロックの前記一組の入力の少なくとも1つの前記入力と、前記機能ブロックの前記一組の出力の少なくとも1つの前記出力との間の関係を示す数値表現として実装される、
請求項1から9のいずれか1項に記載のコンピュータ実装の方法。 - プロセスプラントのプロセス制御システムの構成を決定するためのシステムであって、前記プロセス制御システムが、複数の相互に接続された機能ブロックとして実装され、該システムが、
(i)一組のコンピュータ実行可能命令、及び(ii)一組の入力としての原因及び一組の出力としての結果を有する要求定義CEMを記憶するように構成されたメモリであって、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって
、1または複数の対応する原因の発生に応答して前記対応する結果を起動させる、メモリと、
前記メモリとインターフェースされたプロセッサであって、前記一組のコンピュータ実行可能命令を実行して、前記プロセッサに、
相互に接続された複数の前記機能ブロックの各々について、(i)前記機能ブロックの一組の出力、(ii)前記機能ブロックの論理、及び(iii)前記機能ブロックの一組の入力、に基づいて、前記機能ブロックの構成を決定させ、
前記機能ブロックの構成に基づいて、一組の入力としての試験原因及び一組の出力としての試験結果を有する、相互に接続された複数の前記機能ブロックの操作を定義する試験原因結果マトリックス(CEM)を発生させ、前記一組の試験原因及び前記一組の試験結果のうちの少なくともいくつかが、前記試験CEM内の試験原因−結果の対として関連され、
前記要求定義CEMにアクセスさせ、
前記試験CEMと前記要求定義CEMとを比較して、一組の不一致が存在するかどうかを判定させ、
ユーザに前記一組の不一致を通知するように構成される、プロセッサと、を備える、システム。 - ユーザインターフェースをさらに備え、
前記一組の不一致が存在するときに、前記プロセッサが、
前記ユーザインターフェースに、前記一組の不一致を表示させるようにさらに構成される、請求項11に記載のシステム。 - 前記プロセッサが、
前記ユーザインターフェースを介して、前記一組の不一致のうちの1つの不一致の選択を受信し、
前記不一致に対応する複数の相互に接続された前記機能ブロックのうちの1つの機能ブロックを決定し、そして、
前記ユーザインターフェースに、決定された前記機能ブロックの指示を表示させるようにさらに構成される、請求項12に記載のシステム。 - 前記機能ブロックの構成を決定するために、前記プロセッサが、
前記機能ブロックの前記一組の出力を識別し、
前記機能ブロックの前記一組の入力を識別し、
前記機能ブロックの、前記機能ブロックの入力を前記機能ブロックの出力に変換する前記論理を決定するように構成される、請求項11から13のいずれか1項に記載のシステム。 - 前記一組の機能ブロックが、一組の監視ブロック及び一組の結果ブロックを含む、請求項11から14のいずれか1項に記載のシステム。
- 前記機能ブロックの前記構成を決定するために、前記プロセッサが、
前記機能ブロックの前記入力を前記機能ブロックの前記出力に変換するブーリアン論理を決定するように構成される、請求項11から15のいずれか1項に記載のシステム。 - 前記試験CEMを発生させるために、前記プロセッサが、
前記試験原因−結果の対で前記試験CEMをポピュレートするように構成される、請求項16に記載のシステム。 - 命令を記憶する非一時的コンピュータ可読媒体であって、該命令が、機械の1つ以上の
プロセッサによって実行されたときに、前記機械に、
プロセスプラントのプロセス制御システムを実装する複数の相互に接続された機能ブロックの各々について、(i)前記機能ブロックの一組の出力、(ii)前記機能ブロックの論理、及び(iii)前記機能ブロックの一組の入力、に基づいて、前記機能ブロックの構成を決定させ、
前記機能ブロックの構成に基づいて、一組の入力としての試験原因及び一組の出力としての試験結果を有する試験原因結果マトリックス(CEM)を発生させ、前記一組の試験原因及び前記一組の試験結果のうちの少なくともいくつかが、試験原因−結果の対として関連され、
一組の原因及び一組の結果を有する要求定義CEMにアクセスさせ、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、1または複数の前記対応する原因の発生に応答して前記対応する結果を起動させ、
前記試験CEMと前記要求定義CEMとを比較して、一組の不一致が存在するかどうかを判定させ、
ユーザに前記一組の不一致を通知する、
非一時的コンピュータ可読媒体。 - プロセス制御システムの安全論理を検証するコンピュータ実装の方法であって、
前記プロセス制御システムの安全制御論理にアクセスすることであって、前記安全制御論理は一組の原因と一組の結果に基づいて制御を行い、各々の前記一組の原因はプロセスプラント内の状態を表し、各々前記一組の結果は前記プロセスプラント内で実行される結果を表し、前記一組の原因と前記一組の結果の少なくとも一部が原因−結果の組として関連付けられ、それにより、1または複数の対応する前記原因の発生に応じて対応する前記結果が起動され、前記安全制御論理は複数の相互に接続された機能ブロックとして実装され、複数の相互に接続された前記機能ブロックの各々は、一組の入力、一組の出力および、前記一組の入力を前記一組の出力に関連付ける機能ブロック論理を有し、複数の前記機能ブロックのうちの1つの機能ブロックの少なくとも1つの出力は、複数の前記機能ブロックのうちの少なくとも1つの他の機能ブロックへの入力として接続され、前記原因の各々は、複数の相互に接続された前記機能ブロックの少なくとも1つへの入力であり、前記結果の各々は、複数の相互に接続された前記機能ブロックの少なくとも1つの出力である、ことと、
前記安全制御論理の複数の前記機能ブロックに基づいて、一組の試験原因及び一組の試験結果を有する試験原因結果マトリックス(CEM)を生成することであって、前記一組の試験原因および前記一組の試験結果は、試験の原因−結果の組として関連付けられる、ことと、
前記試験CEMと要求定義CEMを比較して、一組の不一致が存在するかどうかを判定することと、
を含む、コンピュータ実装の方法。 - 1つまたは複数の前記機能ブロックは、1つまたは複数の監視ブロックおよび1つまたは複数の結果ブロックを含み、前記1つまたは複数の監視ブロックの各々は、第1の組の入力、第1の組の出力、および監視ブロック論理を含み、前記1つまたは複数の結果ブロックの各々が、第2の組の入力、第2の組の出力、および結果ブロック論理を含み、前記安全制御論理が少なくとも1つの監視ブロックの監視ブロック論理内と、少なくとも1つの結果ブロックの結果ブロック論理内に分散される、
請求項19に記載のコンピュータ実装の方法。 - 1つまたは複数の前記監視ブロックまたは前記結果ブロックは相互に接続されている
請求項20に記載のコンピュータ実装の方法。 - 前記監視ブロックまたは前記結果ブロックのうちの1つまたは複数が、階層化、入れ子、ループ、または連鎖を介して相互に接続される、
請求項21に記載のコンピュータ実装の方法。 - 前記試験CEMを生成するために、1つまたは複数の相互に接続された監視または結果ブロックを通過させること、をさらに含む
請求項22に記載のコンピュータ実装の方法。 - 前記試験CEMを生成するために1つまたは複数の相互に接続された監視または結果ブロックを通過させることは、
第1の監視ブロックへの第1の入力を識別することと、
前記第1の監視ブロックの前記第1の入力に論理的に結合された前記第1の監視ブロックの第1の出力を識別することと、
第1の結果ブロックへの第2の入力を識別することであって、前記第1の結果ブロックへの前記第2の入力は、前記第1の監視ブロックの第1の出力に論理的に結合されることと、
前記第1の結果ブロックの前記第2の入力に論理的に結合された前記第1の結果ブロックの第2の出力を識別することと、
前記第1の監視ブロックの前記第1の入力を前記第1の結果ブロックの前記第2の出力に関連付ける論理式を決定して、結合された論理を生成することと、
前記結合された論理を使用して、前記試験CEMの1つまたは複数の原因と結果の組を決定することと、を含む、
請求項23に記載のコンピュータ実装の方法。 - 前記要求定義CEMは、プロセスプラントが必要とする安全論理の正確な表現を定義するマトリックスである、
請求項19から24のいずれか1項に記載のコンピュータ実装の方法。 - 前記一組の不一致の各々の不一致について、
前記要求定義CEMに対応する原因−効果の組とは異なる前記試験CEMの原因−効果の組に対応する、複数の前記機能ブロックのうちの1つまたは複数の機能ブロックを識別することと、
識別された前記1つまたは複数の機能ブロックを表示することと、を含む
請求項19から25のいずれか1項に記載のコンピュータ実装の方法。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201562239657P | 2015-10-09 | 2015-10-09 | |
US62/239,657 | 2015-10-09 | ||
PCT/US2016/056024 WO2017062787A1 (en) | 2015-10-09 | 2016-10-07 | System and method for verifying the safety logic of a cause and effect matrix |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2018530077A JP2018530077A (ja) | 2018-10-11 |
JP2018530077A5 true JP2018530077A5 (ja) | 2019-11-14 |
JP6918791B2 JP6918791B2 (ja) | 2021-08-11 |
Family
ID=57190237
Family Applications (8)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018518520A Active JP6980651B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの分離された監視及び結果ブロックを構成するためのシステム及び方法 |
JP2018518488A Active JP6959228B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの安全論理に対応するインターリンクされたユーザインターフェースを提供するためのシステム、非一時的コンピュータ可読媒体及び方法 |
JP2018518482A Active JP7227002B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの安全イベントの視覚化を経時的に提供するためのシステム及び方法 |
JP2018518473A Active JP6947478B2 (ja) | 2015-10-09 | 2016-10-07 | 原因結果マトリックスから一組の監視及び結果ブロックを作成するためのシステム及び方法 |
JP2018518521A Active JP6918791B2 (ja) | 2015-10-09 | 2016-10-07 | 原因結果マトリックスの安全論理を検証するためのシステム及び方法 |
JP2018518489A Active JP6961581B2 (ja) | 2015-10-09 | 2016-10-07 | 一組の数値表現として原因結果マトリックスを表すためのシステム及び方法 |
JP2021079982A Active JP7225304B2 (ja) | 2015-10-09 | 2021-05-10 | 原因結果マトリックスから一組の監視及び結果ブロックを作成するためのシステム及び方法 |
JP2022178406A Pending JP2023012542A (ja) | 2015-10-09 | 2022-11-07 | プロセス制御システムの安全イベントの視覚化を経時的に提供するためのシステム及び方法 |
Family Applications Before (4)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018518520A Active JP6980651B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの分離された監視及び結果ブロックを構成するためのシステム及び方法 |
JP2018518488A Active JP6959228B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの安全論理に対応するインターリンクされたユーザインターフェースを提供するためのシステム、非一時的コンピュータ可読媒体及び方法 |
JP2018518482A Active JP7227002B2 (ja) | 2015-10-09 | 2016-10-07 | プロセス制御システムの安全イベントの視覚化を経時的に提供するためのシステム及び方法 |
JP2018518473A Active JP6947478B2 (ja) | 2015-10-09 | 2016-10-07 | 原因結果マトリックスから一組の監視及び結果ブロックを作成するためのシステム及び方法 |
Family Applications After (3)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2018518489A Active JP6961581B2 (ja) | 2015-10-09 | 2016-10-07 | 一組の数値表現として原因結果マトリックスを表すためのシステム及び方法 |
JP2021079982A Active JP7225304B2 (ja) | 2015-10-09 | 2021-05-10 | 原因結果マトリックスから一組の監視及び結果ブロックを作成するためのシステム及び方法 |
JP2022178406A Pending JP2023012542A (ja) | 2015-10-09 | 2022-11-07 | プロセス制御システムの安全イベントの視覚化を経時的に提供するためのシステム及び方法 |
Country Status (6)
Country | Link |
---|---|
US (7) | US11709472B2 (ja) |
JP (8) | JP6980651B2 (ja) |
CN (11) | CN113093679A (ja) |
DE (6) | DE112016004613T5 (ja) |
GB (13) | GB2597870B (ja) |
WO (6) | WO2017062791A1 (ja) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6747104B2 (ja) * | 2016-06-30 | 2020-08-26 | オムロン株式会社 | セーフティシステム、プログラム、および方法 |
US11188069B2 (en) * | 2017-08-16 | 2021-11-30 | Covidien Lp | Preventative maintenance of robotic surgical systems |
EP3457234B1 (de) * | 2017-09-19 | 2023-07-12 | ABB Schweiz AG | Verfahren zum computerunterstützten bereitstellen einer in form von computercode vorliegenden information zu einem prozessmodul |
US10788972B2 (en) * | 2017-10-02 | 2020-09-29 | Fisher-Rosemount Systems, Inc. | Systems and methods for automatically populating a display area with historized process parameters |
US11061374B2 (en) | 2019-03-06 | 2021-07-13 | Ademco Inc. | Multi-factor event sequencing and analytics systems |
CN110609529B (zh) * | 2019-09-23 | 2020-11-24 | 西门子工厂自动化工程有限公司 | 控制一个或多个工业设备的方法、系统和控制器 |
EP3896593A1 (en) * | 2020-04-14 | 2021-10-20 | ABB Schweiz AG | Method for analyzing effects of operator actions in industrial plants |
CN114137919A (zh) * | 2021-11-26 | 2022-03-04 | 浙江中控技术股份有限公司 | 工业控制系统的控制方法及装置、处理设备和存储介质 |
Family Cites Families (107)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4730259A (en) * | 1985-03-01 | 1988-03-08 | Gallant Stephen I | Matrix controlled expert system producible from examples |
US4815014A (en) | 1987-02-27 | 1989-03-21 | Westinghouse Electric Corp. | Machine assisted execution of process operating procedures |
JPH0572004A (ja) * | 1991-09-10 | 1993-03-23 | Mitsubishi Heavy Ind Ltd | プラントの異常診断装置 |
US5631825A (en) | 1993-09-29 | 1997-05-20 | Dow Benelux N.V. | Operator station for manufacturing process control system |
JP3394376B2 (ja) | 1995-11-15 | 2003-04-07 | パロマ工業株式会社 | ガス燃焼器 |
US6868538B1 (en) | 1996-04-12 | 2005-03-15 | Fisher-Rosemount Systems, Inc. | Object-oriented programmable controller |
US6154684A (en) | 1997-06-14 | 2000-11-28 | Rockwell Technologies, Llc | Template language for industrial controller programming |
US6448982B1 (en) * | 1998-04-23 | 2002-09-10 | Siemens Energy & Automation, Inc. | System for graphically generating logic for a cause and effects matrix |
JPH11344589A (ja) | 1998-06-02 | 1999-12-14 | Hitachi Ltd | プラント診断システム |
WO2000038040A1 (en) | 1998-12-23 | 2000-06-29 | Triconex Corporation | Cause effect diagram program maintenance development and test system |
JP3943760B2 (ja) | 1999-06-04 | 2007-07-11 | 株式会社東芝 | 設備管理システム |
US6268853B1 (en) | 1999-09-30 | 2001-07-31 | Rockwell Technologies, L.L.C. | Data structure for use in enterprise controls |
GB0004194D0 (en) * | 2000-02-22 | 2000-04-12 | Nat Power Plc | System and method for monitoring a control process in a process plant |
US6941261B1 (en) * | 2000-05-01 | 2005-09-06 | General Electric Company | Cause and effect logic application implementation |
US6748279B2 (en) * | 2001-01-31 | 2004-06-08 | Red X Technologies, Inc. | Method for improving a manufacturing process by conducting a full factorial experiment to optimize process variable settings |
US6907435B2 (en) | 2001-02-27 | 2005-06-14 | Microsoft Corporation | Converting numeric values to strings for optimized database storage |
JP4083018B2 (ja) | 2001-03-01 | 2008-04-30 | フィッシャー−ローズマウント システムズ, インコーポレイテッド | プロセスプラントにおける劣化レベルを推定・利用する基準技術 |
US7389204B2 (en) | 2001-03-01 | 2008-06-17 | Fisher-Rosemount Systems, Inc. | Data presentation system for abnormal situation prevention in a process plant |
DE10197097B4 (de) | 2001-03-29 | 2012-02-23 | Mitsubishi Denki K.K. | Programmierwerkzeug |
WO2004019147A2 (en) | 2002-08-20 | 2004-03-04 | Tokyo Electron Limited | Method for processing data based on the data context |
US7165226B2 (en) * | 2002-08-23 | 2007-01-16 | Siemens Aktiengesellschaft | Multiple coupled browsers for an industrial workbench |
US7376472B2 (en) * | 2002-09-11 | 2008-05-20 | Fisher-Rosemount Systems, Inc. | Integrated model predictive control and optimization within a process control system |
US7146231B2 (en) | 2002-10-22 | 2006-12-05 | Fisher-Rosemount Systems, Inc.. | Smart process modules and objects in process plants |
US7237109B2 (en) * | 2003-01-28 | 2007-06-26 | Fisher- Rosemount Systems, Inc. | Integrated security in a process plant having a process control system and a safety system |
US7587710B2 (en) * | 2003-02-14 | 2009-09-08 | Siemens Aktiengesellschaft | Method for determining the processing sequence of function blocks of an automated system and corresponding automated system |
US6898468B2 (en) * | 2003-03-28 | 2005-05-24 | Fisher-Rosemount Systems, Inc. | Function block implementation of a cause and effect matrix for use in a process safety system |
US7130703B2 (en) | 2003-04-08 | 2006-10-31 | Fisher-Rosemount Systems, Inc. | Voter logic block including operational and maintenance overrides in a process control system |
US7096078B2 (en) | 2003-05-30 | 2006-08-22 | Fisher-Rosemount Systems, Inc. | Boolean logic function block |
US7730415B2 (en) | 2003-09-05 | 2010-06-01 | Fisher-Rosemount Systems, Inc. | State machine function block with a user modifiable state transition configuration database |
SE527441C2 (sv) * | 2003-12-23 | 2006-03-07 | Abb Research Ltd | Förfarande vid ett säkerhetssystem för styrning av en process eller utrustning |
US7676287B2 (en) | 2004-03-03 | 2010-03-09 | Fisher-Rosemount Systems, Inc. | Configuration system and method for abnormal situation prevention in a process plant |
US7729789B2 (en) | 2004-05-04 | 2010-06-01 | Fisher-Rosemount Systems, Inc. | Process plant monitoring based on multivariate statistical analysis and on-line process simulation |
JP2007536634A (ja) | 2004-05-04 | 2007-12-13 | フィッシャー−ローズマウント・システムズ・インコーポレーテッド | プロセス制御システムのためのサービス指向型アーキテクチャ |
US8051148B2 (en) * | 2005-01-13 | 2011-11-01 | National Instruments Corporation | Determining differences between configuration diagrams |
US7987445B2 (en) * | 2005-01-13 | 2011-07-26 | National Instruments Corporation | Comparing a configuration diagram to an actual system |
JP2007241533A (ja) | 2006-03-07 | 2007-09-20 | Oki Electric Ind Co Ltd | システム構成情報比較装置およびコンピュータプログラム |
EP1855172A1 (de) * | 2006-05-12 | 2007-11-14 | Siemens Aktiengesellschaft | Verfahren zur Alarmunterdrückung in einer Prozessanlage |
US8112162B2 (en) | 2006-06-29 | 2012-02-07 | Honeywell International Inc. | System level function block engine |
US8171037B1 (en) * | 2006-08-01 | 2012-05-01 | United Services Automobile Association (Usaa) | System and method for reference number expansion |
US8046739B2 (en) | 2006-08-04 | 2011-10-25 | National Instruments Corporation | System and method for enabling a graphical program to propagate attributes of inputs and outputs of blocks |
JP5024294B2 (ja) * | 2006-11-01 | 2012-09-12 | 日本電気株式会社 | 状態遷移表の情報記憶検索方法と装置およびプログラム |
US20080168311A1 (en) | 2007-01-08 | 2008-07-10 | Microsoft Corporation | Configuration debugging comparison |
US8538996B2 (en) * | 2007-04-02 | 2013-09-17 | Jda Software Group, Inc. | System and method for providing an intelligent configuration rationalization solution |
JP4793588B2 (ja) * | 2007-06-13 | 2011-10-12 | オムロン株式会社 | 安全コントローラのプログラム開発支援装置 |
US20090012631A1 (en) * | 2007-07-03 | 2009-01-08 | Dale Fuller | Automation safety life cycle |
EP2183690A1 (en) * | 2007-09-07 | 2010-05-12 | ABB Technology AG | Configuration of intelligent electronic device |
CN101802826B (zh) | 2007-09-10 | 2013-09-25 | Abb技术有限公司 | 智能电子设备的配置 |
US8650306B2 (en) | 2007-10-24 | 2014-02-11 | Honeywell International Inc. | Interoperable network programmable controller generation system |
CN101499020B (zh) * | 2008-01-28 | 2011-08-31 | 财团法人工业技术研究院 | 具有动态工作管理能力的多处理器界面及其程序加载或卸载方法 |
EP4220607A2 (en) | 2008-02-15 | 2023-08-02 | AVEVA Software, LLC | System and method for autogenerating simulations for process control system checkout and operator training |
JP2009258776A (ja) * | 2008-04-11 | 2009-11-05 | Mitsubishi Electric Corp | プラント起動停止操作監視装置 |
US20090260000A1 (en) | 2008-04-14 | 2009-10-15 | Sun Microsystems, Inc. | Method, apparatus, and manufacture for software difference comparison |
US8204925B2 (en) * | 2008-05-22 | 2012-06-19 | National Instruments Corporation | Controlling or analyzing a process by solving a system of linear equations in real-time |
DE102008030592A1 (de) | 2008-06-27 | 2009-12-31 | Continental Automotive Gmbh | Verfahren und Vorrichtung zum Protokollieren von Daten zumindest einer Steuereinheit |
GB2476011B (en) * | 2008-09-29 | 2013-05-15 | Fisher Rosemount Systems Inc | Efficient design and configuration of elements in a process control system |
US8135659B2 (en) | 2008-10-01 | 2012-03-13 | Sap Ag | System configuration comparison to identify process variation |
DE102008060005A1 (de) * | 2008-11-25 | 2010-06-10 | Pilz Gmbh & Co. Kg | Sicherheitssteuerung und Verfahren zum Steuern einer automatisierten Anlage mit einer Vielzahl von Anlagenhardwarekomponenten |
DE102008060003A1 (de) | 2008-11-25 | 2010-05-27 | Pilz Gmbh & Co. Kg | Verfahren und Vorrichtung zum Erstellen eines Anwenderprogramms für eine Sicherheitssteuerung |
EP2221679B1 (de) * | 2009-02-11 | 2012-06-06 | Siemens Aktiengesellschaft | Verfahren zur logischen Verschaltung von Sicherheitskreisen in einer industriellen Automatisierungsordnung und Projektierungseinrichtung zur Durchführung des Verfahrens |
JP2010198562A (ja) * | 2009-02-27 | 2010-09-09 | Yamatake Corp | 制御プログラム作成方法および作成装置 |
CN101634851B (zh) * | 2009-08-25 | 2011-09-21 | 西安交通大学 | 基于变量因果影响关系的流程工业故障诊断方法 |
DE102009028938A1 (de) | 2009-08-27 | 2011-03-03 | Endress + Hauser Gmbh + Co. Kg | Feldgerät zur Bestimmung oder Überwachung einer physikalischen oder chemischen Variablen |
JP5618710B2 (ja) * | 2009-09-01 | 2014-11-05 | フィッシャー−ローズマウント システムズ,インコーポレイテッド | プロセス制御システムに用いる電源デバイス一体化バスコントローラ |
US9494931B2 (en) * | 2009-09-23 | 2016-11-15 | Fisher-Rosemount Systems, Inc. | Dynamic hyperlinks for process control systems |
CN102073957A (zh) * | 2009-11-24 | 2011-05-25 | 人本企业管理顾问有限公司 | 平衡计分卡的系统及其建立方法 |
US9557735B2 (en) | 2009-12-10 | 2017-01-31 | Fisher-Rosemount Systems, Inc. | Methods and apparatus to manage process control status rollups |
US9134720B2 (en) * | 2010-02-12 | 2015-09-15 | Rockwell Automation Technologies, Inc. | Macro function block for encapsulating device-level embedded logic |
US9535413B2 (en) | 2010-02-12 | 2017-01-03 | Rockwell Automation Technologies, Inc. | Automatic device parameter binding method and system |
US8892218B2 (en) * | 2010-02-12 | 2014-11-18 | Rockwell Automation Technologies, Inc. | Multiple boolean inputs and outputs for device function blocks |
DE102010010014B3 (de) | 2010-03-03 | 2011-04-21 | Sick Ag | Sicherheitsvorrichtung mit einer konfigurierbaren Sicherheitssteuerung |
US20110270644A1 (en) * | 2010-04-29 | 2011-11-03 | Selex Sistemi Integrati S.P.A. | System and method to estimate the effects of risks on the time progression of projects |
US8706263B2 (en) | 2010-06-08 | 2014-04-22 | Rockwell Automation Technologies, Inc. | Synchronization of execution of sequential function charts using transition groups |
WO2011160695A1 (en) * | 2010-06-24 | 2011-12-29 | Abb As | Method and tool for automatic distribution of control code in a safety system |
WO2012013217A1 (en) * | 2010-07-26 | 2012-02-02 | Abb As | Method and viewer for a cause and effect matrix in a safety system |
CN102637019B (zh) * | 2011-02-10 | 2014-04-02 | 武汉科技大学 | 一种工业生产过程智能集成故障诊断方法及装置 |
US9772617B2 (en) | 2011-06-30 | 2017-09-26 | General Electric Company | Systems and methods for function block instantiation |
JP5410480B2 (ja) * | 2011-08-04 | 2014-02-05 | 株式会社日立製作所 | プラントの制御装置 |
US8986101B2 (en) * | 2011-08-10 | 2015-03-24 | Igt | Gaming device having positional symbol awards |
CN103034159A (zh) * | 2011-09-30 | 2013-04-10 | 西门子公司 | 互锁控制方法、系统及装置和配置装置 |
US20130096979A1 (en) | 2011-10-12 | 2013-04-18 | Acm Automation Inc. | System for monitoring safety protocols |
US8732112B2 (en) * | 2011-12-19 | 2014-05-20 | GM Global Technology Operations LLC | Method and system for root cause analysis and quality monitoring of system-level faults |
WO2013124522A1 (en) * | 2012-02-22 | 2013-08-29 | Nokia Corporation | A system, and a method for providing a predition for controlling a system |
US11774927B2 (en) | 2012-10-08 | 2023-10-03 | Fisher-Rosemount Systems, Inc. | Methods and apparatus to provide a role-based user interface |
CN103065054A (zh) * | 2013-01-14 | 2013-04-24 | 中国科学院合肥物质科学研究院 | 一种基于概率安全分析的放疗精确性数据处理方法 |
US9804588B2 (en) | 2014-03-14 | 2017-10-31 | Fisher-Rosemount Systems, Inc. | Determining associations and alignments of process elements and measurements in a process |
US10428637B2 (en) * | 2013-03-04 | 2019-10-01 | Fereidoun Abbassian | System and console for monitoring and managing well site operations |
US20140280528A1 (en) | 2013-03-12 | 2014-09-18 | Rockwell Automation Technologies, Inc. | State machine configurator |
US9678484B2 (en) | 2013-03-15 | 2017-06-13 | Fisher-Rosemount Systems, Inc. | Method and apparatus for seamless state transfer between user interface devices in a mobile control room |
US10514668B2 (en) | 2013-03-15 | 2019-12-24 | Fisher-Rosemount Systems, Inc. | Graphical process variable trend monitoring in a process control system using a navigation pane |
US9933772B2 (en) | 2013-03-31 | 2018-04-03 | Schneider Electric USA, Inc. | Analyzing SCADA systems |
US10026049B2 (en) | 2013-05-09 | 2018-07-17 | Rockwell Automation Technologies, Inc. | Risk assessment for industrial systems using big data |
US9982025B2 (en) * | 2013-06-05 | 2018-05-29 | The United States Of America, As Represented By The Secretary, Department Of Health And Human Services | Monomeric griffithsin tandemers |
US9086688B2 (en) * | 2013-07-09 | 2015-07-21 | Fisher-Rosemount Systems, Inc. | State machine function block with user-definable actions on a transition between states |
GB201314722D0 (en) | 2013-08-05 | 2013-10-02 | Kbc Process Technology Ltd | Simulating processes |
KR102153042B1 (ko) * | 2013-08-29 | 2020-09-07 | 삼성전자주식회사 | 적어도 하나 이상의 블록들을 결합하여 기능을 수행하는 방법 및 장치. |
US20160239608A1 (en) * | 2013-09-13 | 2016-08-18 | Vivago Oy | Arrangement and a method for creating a synthesis from numerical data and textual information |
CN103745261B (zh) * | 2013-12-24 | 2015-04-15 | 张湛 | 一种构造立体ducg智能系统用于动态故障诊断的方法 |
US10020151B2 (en) | 2013-12-31 | 2018-07-10 | Rockwell Automation Technologies, Inc. | Safety relay configuration system with multiple test pulse schemes using graphical interface |
US9361073B2 (en) * | 2013-12-31 | 2016-06-07 | Rockwell Automation Technologies, Inc. | Development environment for a safety relay configuration system |
GB2522338B (en) | 2014-01-03 | 2020-12-16 | Fisher Rosemount Systems Inc | Reusable graphical elements with quickly editable features for use in user displays of plant monitoring systems |
CN103807980B (zh) * | 2014-03-04 | 2016-03-30 | 施晓亚 | 一种预测中央空调异常的方法 |
US20160080173A1 (en) | 2014-09-15 | 2016-03-17 | Ebay Inc. | Complex event processing as digital signals |
US9508028B2 (en) * | 2014-09-24 | 2016-11-29 | Nuance Communications, Inc. | Converting text strings into number strings, such as via a touchscreen input |
US20160116894A1 (en) * | 2014-10-28 | 2016-04-28 | Flow Data, Inc. | Control system with a network of controllers using linked cause-and-effect matrices |
CN104536436B (zh) * | 2014-12-19 | 2017-03-08 | 东北大学 | 一种工业生产过程控制逻辑的自动测试系统及方法 |
CN106327773A (zh) * | 2015-07-01 | 2017-01-11 | 西门子瑞士有限公司 | 火灾报警控制器的配置装置及其配置方法 |
JP6624008B2 (ja) * | 2016-10-27 | 2019-12-25 | 横河電機株式会社 | エンジニアリングツール連携装置、エンジニアリングツール連携方法、エンジニアリングツール連携プログラム及び記録媒体 |
-
2016
- 2016-10-07 JP JP2018518520A patent/JP6980651B2/ja active Active
- 2016-10-07 WO PCT/US2016/056031 patent/WO2017062791A1/en active Application Filing
- 2016-10-07 WO PCT/US2016/056047 patent/WO2017062801A1/en active Application Filing
- 2016-10-07 GB GB2115996.7A patent/GB2597870B/en active Active
- 2016-10-07 CN CN202110371074.6A patent/CN113093679A/zh active Pending
- 2016-10-07 DE DE112016004613.8T patent/DE112016004613T5/de active Pending
- 2016-10-07 JP JP2018518488A patent/JP6959228B2/ja active Active
- 2016-10-07 DE DE112016004597.2T patent/DE112016004597T5/de active Pending
- 2016-10-07 GB GB2118466.8A patent/GB2599575B/en active Active
- 2016-10-07 US US15/766,904 patent/US11709472B2/en active Active
- 2016-10-07 GB GB1805478.3A patent/GB2558820B/en active Active
- 2016-10-07 JP JP2018518482A patent/JP7227002B2/ja active Active
- 2016-10-07 CN CN201680059979.7A patent/CN108139729B/zh active Active
- 2016-10-07 GB GB1805352.0A patent/GB2558817B/en active Active
- 2016-10-07 CN CN201680059065.0A patent/CN108139726B/zh active Active
- 2016-10-07 GB GB1805354.6A patent/GB2558818B/en active Active
- 2016-10-07 DE DE112016004638.3T patent/DE112016004638T5/de active Pending
- 2016-10-07 WO PCT/US2016/056018 patent/WO2017062785A1/en active Application Filing
- 2016-10-07 JP JP2018518473A patent/JP6947478B2/ja active Active
- 2016-10-07 CN CN202110231594.7A patent/CN112987692A/zh active Pending
- 2016-10-07 US US15/766,906 patent/US11073812B2/en active Active
- 2016-10-07 GB GB2202688.4A patent/GB2601270B/en active Active
- 2016-10-07 GB GB1805355.3A patent/GB2558819B/en active Active
- 2016-10-07 DE DE112016004627.8T patent/DE112016004627T5/de active Pending
- 2016-10-07 GB GB2200469.1A patent/GB2601920B/en active Active
- 2016-10-07 DE DE112016004630.8T patent/DE112016004630T5/de active Pending
- 2016-10-07 DE DE112016004614.6T patent/DE112016004614T5/de active Pending
- 2016-10-07 GB GB2207779.6A patent/GB2604082B/en active Active
- 2016-10-07 WO PCT/US2016/056024 patent/WO2017062787A1/en active Application Filing
- 2016-10-07 GB GB2116094.0A patent/GB2597872B/en active Active
- 2016-10-07 JP JP2018518521A patent/JP6918791B2/ja active Active
- 2016-10-07 US US15/766,908 patent/US10809690B2/en active Active
- 2016-10-07 CN CN201680059056.1A patent/CN108139724B/zh active Active
- 2016-10-07 CN CN202110301432.6A patent/CN113050570B/zh active Active
- 2016-10-07 CN CN201680059066.5A patent/CN108139727B/zh active Active
- 2016-10-07 GB GB1805477.5A patent/GB2559897B/en active Active
- 2016-10-07 WO PCT/US2016/056054 patent/WO2017062805A1/en active Application Filing
- 2016-10-07 CN CN201680059067.XA patent/CN108139728B/zh active Active
- 2016-10-07 CN CN202110840918.7A patent/CN113467326A/zh active Pending
- 2016-10-07 GB GB1805353.8A patent/GB2559896B/en active Active
- 2016-10-07 US US15/766,892 patent/US10809689B2/en active Active
- 2016-10-07 US US15/766,905 patent/US20180299854A1/en active Pending
- 2016-10-07 JP JP2018518489A patent/JP6961581B2/ja active Active
- 2016-10-07 GB GB2200356.0A patent/GB2599607B/en active Active
- 2016-10-07 CN CN201680059057.6A patent/CN108139725B/zh active Active
- 2016-10-07 WO PCT/US2016/056039 patent/WO2017062796A1/en active Application Filing
- 2016-10-07 US US15/766,900 patent/US10802456B2/en active Active
- 2016-10-07 CN CN202110144569.5A patent/CN112947169A/zh active Pending
-
2021
- 2021-05-10 JP JP2021079982A patent/JP7225304B2/ja active Active
- 2021-07-15 US US17/376,984 patent/US11886159B2/en active Active
-
2022
- 2022-11-07 JP JP2022178406A patent/JP2023012542A/ja active Pending
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2018530077A5 (ja) | ||
HRP20201983T1 (hr) | Postupci i uređaj za distribuiranu bazu podataka unutar mreže | |
JP2018530074A5 (ja) | ||
JP2013506199A5 (ja) | ||
JP2018530071A5 (ja) | ||
US10108763B2 (en) | Method and simulation arrangement for simulating an automated industrial plant | |
JP2018505506A5 (ja) | ||
US20180129578A1 (en) | Verifying a graph-based coherency verification tool | |
JP2018515822A5 (ja) | ||
JP2015118468A5 (ja) | ||
Hou et al. | Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets | |
JP2018530073A5 (ja) | ||
JP2016510442A5 (ja) | ||
WO2020113526A1 (zh) | 一种芯片验证方法和装置 | |
JP2020525827A5 (ja) | ||
Unterkalmsteiner et al. | Large-scale information retrieval in software engineering-an experience report from industrial application | |
US8589894B2 (en) | Self-monitoring object-oriented applications | |
CN104461619B (zh) | 一种嵌入式软件功能可配置方法 | |
Siirtola | Bounds2: A tool for compositional multi-parametrised verification | |
US11347628B2 (en) | Test case generation apparatus, test case generation method, and computer readable medium | |
CN114207622A (zh) | 验证和推荐引擎 | |
US20190188023A1 (en) | Method for data center storage evaluation framework simulation | |
JP6473023B2 (ja) | 性能評価モジュール及びこれを組み込んだ半導体集積回路 | |
EP2945067B1 (en) | Power system monitoring and control system having thread-dependent calculation monitoring function | |
US11966371B1 (en) | Systems and methods for automated data dictionary generation and validation |