JP6540561B2 - 評価システム、評価プログラムおよび評価方法 - Google Patents
評価システム、評価プログラムおよび評価方法 Download PDFInfo
- Publication number
- JP6540561B2 JP6540561B2 JP2016049933A JP2016049933A JP6540561B2 JP 6540561 B2 JP6540561 B2 JP 6540561B2 JP 2016049933 A JP2016049933 A JP 2016049933A JP 2016049933 A JP2016049933 A JP 2016049933A JP 6540561 B2 JP6540561 B2 JP 6540561B2
- Authority
- JP
- Japan
- Prior art keywords
- value
- output
- input
- evaluated
- evaluation
- 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
Links
- 238000011156 evaluation Methods 0.000 title claims description 216
- 238000000034 method Methods 0.000 claims description 51
- 238000012545 processing Methods 0.000 claims description 39
- 230000008569 process Effects 0.000 claims description 28
- 230000008859 change Effects 0.000 claims description 24
- 230000005856 abnormality Effects 0.000 claims description 17
- 230000002159 abnormal effect Effects 0.000 claims description 16
- 238000004364 calculation method Methods 0.000 claims description 12
- 230000006870 function Effects 0.000 description 54
- 238000010586 diagram Methods 0.000 description 22
- 238000004458 analytical method Methods 0.000 description 6
- 238000013461 design Methods 0.000 description 6
- 238000000605 extraction Methods 0.000 description 6
- 238000003860 storage Methods 0.000 description 6
- 238000012854 evaluation process Methods 0.000 description 5
- 239000000284 extract Substances 0.000 description 5
- 230000003287 optical effect Effects 0.000 description 4
- 230000004044 response Effects 0.000 description 4
- 230000000903 blocking effect Effects 0.000 description 3
- 238000004891 communication Methods 0.000 description 3
- 230000008676 import Effects 0.000 description 3
- 230000006399 behavior Effects 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
- 238000003466 welding Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
-
- 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
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/054—Input/output
-
- 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
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
- G05B19/0428—Safety, monitoring
-
- 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
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/048—Monitoring; Safety
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/26—Functional testing
- G06F11/273—Tester hardware, i.e. output processing circuits
- G06F11/277—Tester hardware, i.e. output processing circuits with comparison between actual response and known fault-free response
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
-
- 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
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/11—Plc I-O input output
- G05B2219/1105—I-O
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Automation & Control Theory (AREA)
- General Engineering & Computer Science (AREA)
- Quality & Reliability (AREA)
- Computer Hardware Design (AREA)
- Software Systems (AREA)
- Programmable Controllers (AREA)
- Safety Devices In Control Systems (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Storage Device Security (AREA)
Description
まず、本実施の形態に従う評価システムの概要について説明する。評価システムは、任意の安全プログラムの機能安全を評価する。
次に、評価システム1のハードウェア構成について例示する。図2は、本実施の形態に従う評価システム1のハードウェア構成の一例を示す模式図である。
次に、評価システム1のソフトウェア構成について例示する。図3は、本実施の形態に従う評価システム1のソフトウェア構成の一例を示す模式図である。図3を参照して、評価システム1は、そのソフトウェアコンポーネントとして、実行モジュール生成部152と、エミュレータ154と、入力値変更部156と、比較部158と、結果出力部160と、評価条件生成部170とを含む。
次に、本実施の形態に従う評価システム1が対象とする安全プログラムの一例について説明する。本実施の形態においては、一例として、国際基準IEC 61131−3(JIS B 3503)に従うファンクションブロックダイアグラム(FBD:Function Block Diagram)を用いて記述する例を示す。
次に、図5に示す安全プログラム10に含まれる非常停止FBに設定されるリセット種別について説明する。上述したように、非常停止FBに、一例として、「オートリセット」および「マニュアルリセット」を選択的に設定できるようになっている。
次に、本実施の形態に従う評価システム1が提供する機能安全評価の全体手順について説明する。
本実施の形態に従う評価システム1は、図8に示すような機能安全評価を自動的に実行する。以下、機能安全評価の自動実行に必要な評価条件20の設定方法などについて説明する。
次に、本実施の形態に従う機能安全評価の処理手順について説明する。図9に示すような設定画面300において、評価対象の入力変数と対応する出力期待値との組が設定されると、以下のような手順に従って、対象の安全プログラムの機能安全が評価される。
次に、図12および図13に示す機能安全評価の評価結果について説明する。
次に、図9に示すような設定画面300にて入力される評価条件の設定を支援するための構成について説明する。以下に説明する処理は、図1に示す解析・抽出機能6によって提供される。
本実施の形態によれば、安全プログラムに含まれる入力信号と、当該入力信号に対応付けられた1または複数の出力信号との組み合わせを規定するとともに、各組み合わせにおける各出力信号値の期待値(出力期待値)が設定される。また、各入力信号に対応付けられたリセット種別も設定される。その上で、入力信号の値(入力値)を3つのフェーズ(初期化フェーズ、遮断フェーズ、復帰フェーズ)に応じて変化させるとともに、各フェーズにおいて算出される出力値が、予め設定された出力期待値およびリセット種別に応じた値であるか否かが判断されることで、安全プログラムの総合的な機能安全が自動的に評価される。そのため、安全プログラムの機能安全をより容易に評価できる。
Claims (10)
- 予め定められた条件が成立すると対象機器を安全が保たれるように動作させるための安全プログラム、の機能安全を評価する評価システムであって、前記安全プログラムは、1または複数の入力信号に対して、1または複数の出力信号の値を決定するための命令の組み合わせを含み、
1または複数の入力信号に基づいて、前記安全プログラムに従う演算を実行することで、対応する1または複数の出力信号の値を決定する処理実行手段と、
評価対象の入力信号と、評価対象の出力信号と、前記評価対象の入力信号の値の変化に対応して出力されるべき前記評価対象の出力信号の値である出力期待値とを含む、評価条件を受付ける設定手段と、
前記評価対象の入力信号の値を初期値である第1の入力値から第2の入力値に変化させるとともに、前記処理実行手段により決定される前記評価対象の出力信号の第1の出力値が前記出力期待値と一致しているか否かに基づいて異常の有無を判断する第1の判断手段と、
前記評価対象の入力信号の値を前記第2の入力値から前記第1の入力値に戻すとともに、前記処理実行手段により決定される前記評価対象の出力信号の第2の出力値が前記第1の出力値と一致しているか否かに基づいて異常の有無を判断する第2の判断手段と、
前記評価対象の入力信号に関連付けて、前記第1の判断手段および前記第2の判断手段での判断結果を出力する出力手段とを備え、
前記評価条件は、前記入力信号の値が前記第2の入力値から前記第1の入力値に戻ったときに、対応する出力信号の出力値を連動して元の値に戻すことを示す第1の種別と、予め定められたリセット条件が成立するまでは出力信号の出力値を元の値に戻さないことを示す第2の種別とのうち、いずれかの設定を含み、
前記第2の判断手段は、
前記第1の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値と一致しているときに異常と判断し、
前記第2の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値とは異なっているときに異常と判断する、評価システム。 - 前記評価条件は、前記第2の種別の前記予め定められたリセット条件として、リセット信号の設定を含み、
前記評価システムは、前記第2の判断手段による判断後、前記リセット信号を有効化するとともに、前記処理実行手段により決定される前記評価対象の出力信号の第3の出力値が前記第1の出力値と一致しているか否かを判断する第3の判断手段をさらに備える、請求項1に記載の評価システム。 - 前記第1の判断手段による判断の前に、前記評価対象の入力信号の値を前記第1の入力値に設定するとともに、前記処理実行手段により決定される前記評価対象の出力信号の第4の出力値が初期値と一致しているか否かを判断する第4の判断手段をさらに備える、請求項1または2に記載の評価システム。
- 前記初期値である第1の入力値は、前記安全プログラムを実行する安全コントローラに供給される電源が喪失したときと同様のメモリの状態において示される値とは異なる値が用いられる、請求項1〜3のいずれか1項に記載の評価システム。
- 前記出力手段は、いずれの判断手段により異常であると判断されたのかを特定する情報を前記判断結果に含める、請求項1〜4のいずれか1項に記載の評価システム。
- 前記評価条件は、前記評価対象の入力信号と、前記評価対象の出力信号と、前記出力期待値とからなる組を複数含み、前記判断手段による判断は各組について実行され、
前記出力手段は、いずれの組の入力信号について異常であると判断されたのかを特定する情報を前記判断結果に含める、請求項1〜5のいずれか1項に記載の評価システム。 - 前記評価条件は、前記評価対象の入力信号と、複数の前記評価対象の出力信号と、それぞれ対応する複数の前記出力期待値とからなる組を含み、前記判断手段による判断は前記複数の出力期待値の各々について実行され、
前記出力手段は、いずれの出力信号について異常であると判断されたのかを特定する情報を前記判断結果に含める、請求項1〜6のいずれか1項に記載の評価システム。 - 前記出力手段は、異常であると判断された判断手段に応じたコメントを前記判断結果に含める、請求項1〜7のいずれか1項に記載の評価システム。
- 予め定められた条件が成立すると対象機器を安全が保たれるように動作させるための安全プログラム、の機能安全を評価する評価プログラムであって、前記安全プログラムは、1または複数の入力信号に対して、1または複数の出力信号の値を決定するための命令の組み合わせを含み、前記評価プログラムはコンピュータに
1または複数の入力信号に基づいて、前記安全プログラムに従う演算を実行することで、対応する1または複数の出力信号の値を決定するステップと、
評価対象の入力信号と、評価対象の出力信号と、前記評価対象の入力信号の値の変化に対応して出力されるべき前記評価対象の出力信号の値である出力期待値とを含む、評価条件を受付けるステップと、
前記評価対象の入力信号の値を初期値である第1の入力値から第2の入力値に変化させるとともに、前記安全プログラムに従う演算により決定される前記評価対象の出力信号の第1の出力値が前記出力期待値と一致しているか否かに基づいて異常の有無を判断する第1の判断ステップと、
前記評価対象の入力信号の値を前記第2の入力値から前記第1の入力値に戻すとともに、前記安全プログラムに従う演算により決定される前記評価対象の出力信号の第2の出力値が第1の期待値と一致しているか否かに基づいて異常の有無を判断する第2の判断ステップと、
前記評価対象の入力信号に関連付けて、前記第1の判断ステップおよび前記第2の判断ステップでの判断結果を出力するステップとを実行させ、
前記評価条件は、前記入力信号の値が前記第2の入力値から前記第1の入力値に戻ったときに、対応する出力信号の出力値を連動して元の値に戻すことを示す第1の種別と、予め定められたリセット条件が成立するまでは出力信号の出力値を元の値に戻さないことを示す第2の種別とのうち、いずれかの設定を含み、
前記第2の判断ステップは、
前記第1の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値と一致しているときに異常と判断するステップと、
前記第2の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値とは異なっているときに異常と判断するステップとを含む、評価プログラム。 - 予め定められた条件が成立すると対象機器を安全が保たれるように動作させるための安全プログラム、の機能安全を評価する評価プログラムに指令されてコンピュータが実行する評価方法であって、前記安全プログラムは、1または複数の入力信号に対して、1または複数の出力信号の値を決定するための命令の組み合わせを含み、
1または複数の入力信号に基づいて、前記安全プログラムに従う演算を実行することで、対応する1または複数の出力信号の値を決定するステップと、
評価対象の入力信号と、評価対象の出力信号と、前記評価対象の入力信号の値の変化に対応して出力されるべき前記評価対象の出力信号の値である出力期待値とを含む、評価条件を受付けるステップと、
前記評価対象の入力信号の値を初期値である第1の入力値から第2の入力値に変化させるとともに、前記安全プログラムに従う演算により決定される前記評価対象の出力信号の第1の出力値が前記出力期待値と一致しているか否かに基づいて異常の有無を判断する第1の判断ステップと、
前記評価対象の入力信号の値を前記第2の入力値から前記第1の入力値に戻すとともに、前記安全プログラムに従う演算により決定される前記評価対象の出力信号の第2の出力値が前記第1の出力値と一致しているか否かに基づいて異常の有無を判断する第2の判断ステップと、
前記評価対象の入力信号に関連付けて、前記第1の判断ステップおよび前記第2の判断ステップでの判断結果を出力するステップとを備え、
前記評価条件は、前記入力信号の値が前記第2の入力値から前記第1の入力値に戻ったときに、対応する出力信号の出力値を連動して元の値に戻すことを示す第1の種別と、予め定められたリセット条件が成立するまでは出力信号の出力値を元の値に戻さないことを示す第2の種別とのうち、いずれかの設定を含み、
前記第2の判断ステップは、
前記第1の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値と一致しているときに異常と判断するステップと、
前記第2の種別が設定されている場合には、前記評価対象の出力信号の第2の出力値が前記第1の出力値とは異なっているときに異常と判断するステップとを含む、評価方法。
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016049933A JP6540561B2 (ja) | 2016-03-14 | 2016-03-14 | 評価システム、評価プログラムおよび評価方法 |
CN201710024895.6A CN107193251B (zh) | 2016-03-14 | 2017-01-13 | 评价***和评价方法 |
EP17153126.2A EP3220220B1 (en) | 2016-03-14 | 2017-01-25 | Evaluation system, evaluation method, and evaluation program |
US15/417,443 US10180892B2 (en) | 2016-03-14 | 2017-01-27 | Evaluation system, non-transitory storage medium storing thereon evaluation program, and evaluation method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2016049933A JP6540561B2 (ja) | 2016-03-14 | 2016-03-14 | 評価システム、評価プログラムおよび評価方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2017167652A JP2017167652A (ja) | 2017-09-21 |
JP6540561B2 true JP6540561B2 (ja) | 2019-07-10 |
Family
ID=57914775
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016049933A Active JP6540561B2 (ja) | 2016-03-14 | 2016-03-14 | 評価システム、評価プログラムおよび評価方法 |
Country Status (4)
Country | Link |
---|---|
US (1) | US10180892B2 (ja) |
EP (1) | EP3220220B1 (ja) |
JP (1) | JP6540561B2 (ja) |
CN (1) | CN107193251B (ja) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6540561B2 (ja) * | 2016-03-14 | 2019-07-10 | オムロン株式会社 | 評価システム、評価プログラムおよび評価方法 |
KR20200044206A (ko) | 2018-10-10 | 2020-04-29 | 삼성전자주식회사 | 전자 장치 및 이의 제어 방법 |
EP4105741A1 (en) * | 2021-06-15 | 2022-12-21 | ABB Schweiz AG | Collecting data on an industrial automation device |
JP2023027509A (ja) * | 2021-08-17 | 2023-03-02 | オムロン株式会社 | サポート装置、サポートプログラムおよび制御システム |
Family Cites Families (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH083740B2 (ja) * | 1987-06-19 | 1996-01-17 | 株式会社ゼクセル | 制御装置 |
US5182755A (en) * | 1987-06-19 | 1993-01-26 | Diesel Kiki Co., Ltd. | Malfunction checking system for controller |
JPS643748A (en) * | 1987-06-26 | 1989-01-09 | Hitachi Ltd | Test device for software logical device |
DE4304215A1 (de) * | 1993-02-12 | 1994-08-25 | Bosch Gmbh Robert | Elektronische Steuervorrichtung für einen elektromotorischen Antrieb, insbesondere Garagentorantrieb |
DE19917208A1 (de) * | 1999-04-16 | 2000-10-19 | Bosch Gmbh Robert | Verfahren und Vorrichtung zur Überwachung eines Rechenelements in einem Kraftfahrzeug |
EP1460497B1 (en) * | 2003-02-12 | 2012-11-14 | Omron Corporation | Safety controller |
US7328370B2 (en) * | 2003-09-12 | 2008-02-05 | Rockwell Automation Technologies, Inc. | Safety controller with simplified interface |
US7213168B2 (en) * | 2003-09-16 | 2007-05-01 | Rockwell Automation Technologies, Inc. | Safety controller providing for execution of standard and safety control programs |
US7634813B2 (en) * | 2004-07-21 | 2009-12-15 | Microsoft Corporation | Self-certifying alert |
JP4550641B2 (ja) * | 2005-03-30 | 2010-09-22 | 大陽日酸エンジニアリング株式会社 | データ照合装置及び方法 |
JP3918950B2 (ja) * | 2005-04-19 | 2007-05-23 | オムロン株式会社 | セーフティデバイス |
US20070006197A1 (en) * | 2005-06-30 | 2007-01-04 | Murphy Brian R | Safety verification of computer program |
EP2260385A4 (en) * | 2008-02-27 | 2017-08-30 | Wurldtech Security Technologies | Testing framework for control devices |
DE102009011679A1 (de) * | 2009-02-23 | 2010-08-26 | Pilz Gmbh & Co. Kg | Verfahren und Vorrichtung zum Erstellen eines Anwenderprogrammes für eine Sicherheitssteuerung |
DE102009014698A1 (de) * | 2009-03-27 | 2010-10-07 | Abb Ag | System und Verfahren zur automatischen Prüfung eines Programms für sicherheitsgerichtete Automatisierungssysteme |
WO2013065161A1 (ja) * | 2011-11-02 | 2013-05-10 | 株式会社日立製作所 | 安全性評価方法及び安全性評価計算機 |
JP6111675B2 (ja) * | 2013-01-15 | 2017-04-12 | オムロン株式会社 | 安全コントローラのユーザプログラムの設計を支援する方法、装置およびプログラム |
US20160055079A1 (en) * | 2014-08-22 | 2016-02-25 | Rommana Software, LLC | Software application lifecycle management |
JP5902778B1 (ja) * | 2014-09-03 | 2016-04-13 | ファナック株式会社 | 周辺機器を安全に制御する機能を有する工作機械 |
CN104536436B (zh) * | 2014-12-19 | 2017-03-08 | 东北大学 | 一种工业生产过程控制逻辑的自动测试***及方法 |
US10025287B2 (en) * | 2015-03-30 | 2018-07-17 | Rockwell Automation Germany Gmbh & Co. Kg | Method for assignment of verification numbers |
US9897990B2 (en) * | 2015-05-04 | 2018-02-20 | Rockwell Automation Germany Gmbh & Co. Kg | Safety controller with rapid backup and configuration |
US10197985B2 (en) * | 2015-10-29 | 2019-02-05 | Rockwell Automation Germany Gmbh & Co. Kg | Safety controller module |
US20170147427A1 (en) * | 2015-11-23 | 2017-05-25 | Honeywell International, Inc. | System and method for software simulation for testing a safety manager platform |
JP6520772B2 (ja) * | 2016-03-14 | 2019-05-29 | オムロン株式会社 | 評価システム、評価プログラムおよび評価方法 |
JP6540561B2 (ja) * | 2016-03-14 | 2019-07-10 | オムロン株式会社 | 評価システム、評価プログラムおよび評価方法 |
-
2016
- 2016-03-14 JP JP2016049933A patent/JP6540561B2/ja active Active
-
2017
- 2017-01-13 CN CN201710024895.6A patent/CN107193251B/zh active Active
- 2017-01-25 EP EP17153126.2A patent/EP3220220B1/en active Active
- 2017-01-27 US US15/417,443 patent/US10180892B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
JP2017167652A (ja) | 2017-09-21 |
EP3220220A1 (en) | 2017-09-20 |
US10180892B2 (en) | 2019-01-15 |
US20170262357A1 (en) | 2017-09-14 |
CN107193251B (zh) | 2019-08-20 |
EP3220220B1 (en) | 2020-11-25 |
CN107193251A (zh) | 2017-09-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6520772B2 (ja) | 評価システム、評価プログラムおよび評価方法 | |
JP6540561B2 (ja) | 評価システム、評価プログラムおよび評価方法 | |
US10545471B2 (en) | Evaluation system, safety controller, computer readable storage medium, and evaluation method | |
US9411333B2 (en) | Method and tool for automatic distribution of control code in a safety system | |
JP6096414B2 (ja) | バッチ構成を試験するための方法、装置、およびプログラム | |
US9829866B2 (en) | Method and apparatus for automatically creating an executable safety function for a device | |
CN108572611B (zh) | 信息处理装置、信息处理方法及计算机可读取记录媒体 | |
CN107193249B (zh) | 程序开发辅助装置以及程序开发辅助方法 | |
Park et al. | Software FMEA analysis for safety-related application software | |
JP7000703B2 (ja) | 情報処理装置、情報処理方法、および、情報処理プログラム | |
Selvik et al. | How to interpret safety critical failures in risk and reliability assessments | |
Fan et al. | Empirical analysis of software-induced failure events in the nuclear industry | |
JP6290147B2 (ja) | 制御機器プログラムコードを作成するコンピュータ実装方法および関連するメッセージ管理システム | |
KR20190094779A (ko) | Plc 명령어 컴파일러 테스트케이스 자동 생성 장치 | |
JP5174798B2 (ja) | 安全制御プログラムの安全性診断装置及び安全性診断方法 | |
CN111552263A (zh) | 用于检查工业设施的方法、计算机可读存储介质和*** | |
JP2009181180A (ja) | プログラム生成ツールの検査プログラムおよびプログラム生成ツールの検査方法ならびにプログラム生成ツールの検査装置 | |
JP6653205B2 (ja) | プログラムソース変換方法、プログラムソース変換装置、情報処理装置、情報処理方法、および、プログラム | |
JP2022027966A (ja) | 情報処理装置、情報処理方法、および情報処理プログラム | |
Tengtrirat et al. | Applying Exception Handling Patterns for User Interface Customization in Software Games Modification |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20171026 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180905 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180831 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20181029 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20190402 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190417 |
|
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: 20190514 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190527 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6540561 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |