DE112021005655B4 - Datenvergleichsgerät, Datenvergleichssystem und Datenvergleichsverfahren - Google Patents

Datenvergleichsgerät, Datenvergleichssystem und Datenvergleichsverfahren

Info

Publication number
DE112021005655B4
DE112021005655B4 DE112021005655.7T DE112021005655T DE112021005655B4 DE 112021005655 B4 DE112021005655 B4 DE 112021005655B4 DE 112021005655 T DE112021005655 T DE 112021005655T DE 112021005655 B4 DE112021005655 B4 DE 112021005655B4
Authority
DE
Germany
Prior art keywords
comparison
data
expected value
value information
clock period
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
DE112021005655.7T
Other languages
German (de)
English (en)
Other versions
DE112021005655T5 (de
Inventor
Shunya Hasegawa
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Publication of DE112021005655T5 publication Critical patent/DE112021005655T5/de
Application granted granted Critical
Publication of DE112021005655B4 publication Critical patent/DE112021005655B4/de
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • 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—Program-control systems
    • G05B19/02—Program-control systems electric
    • G05B19/04—Program 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Programmable Controllers (AREA)
DE112021005655.7T 2021-02-17 2021-02-17 Datenvergleichsgerät, Datenvergleichssystem und Datenvergleichsverfahren Active DE112021005655B4 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2021/005884 WO2022176054A1 (ja) 2021-02-17 2021-02-17 データ照合装置、データ照合システム、及びデータ照合方法

Publications (2)

Publication Number Publication Date
DE112021005655T5 DE112021005655T5 (de) 2023-08-10
DE112021005655B4 true DE112021005655B4 (de) 2025-09-18

Family

ID=82740437

Family Applications (1)

Application Number Title Priority Date Filing Date
DE112021005655.7T Active DE112021005655B4 (de) 2021-02-17 2021-02-17 Datenvergleichsgerät, Datenvergleichssystem und Datenvergleichsverfahren

Country Status (4)

Country Link
JP (1) JP7113988B1 (https=)
CN (1) CN116710858B (https=)
DE (1) DE112021005655B4 (https=)
WO (1) WO2022176054A1 (https=)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN118672202B (zh) * 2024-07-25 2026-03-17 哈尔滨宇龙自动化有限公司 一种plc控制器数据收发调节方法及系统
JP7840498B1 (ja) * 2024-12-18 2026-04-03 三菱電機株式会社 シミュレーションシステム、シミュレーション方法およびシミュレーションプログラム

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE112017003607T5 (de) * 2017-06-23 2019-05-02 Mitsubishi Electric Corporation Programmverifikationssystem, Steuervorrichtung und Programmverifikationsverfahren

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6368904A (ja) * 1986-09-10 1988-03-28 Asahi Chem Ind Co Ltd プログラマブルコントロ−ラのチエツク方法及び装置
JP3126493B2 (ja) * 1991-06-25 2001-01-22 松下電工株式会社 設備故障診断方法
JPH0511835A (ja) * 1991-07-08 1993-01-22 Omron Corp 故障診断装置
JP3277247B2 (ja) * 1996-09-20 2002-04-22 松下電工株式会社 自動化設備システムに於ける異常診断基準パターンの作成方法およびその基準パターンを用いた自動診断装置
US5951704A (en) * 1997-02-19 1999-09-14 Advantest Corp. Test system emulator
JPH10254510A (ja) * 1997-03-07 1998-09-25 Meidensha Corp シーケンサ
JP2002163020A (ja) * 2000-11-27 2002-06-07 Matsushita Electric Works Ltd プログラマブルコントローラにおける異常検出方法およびその装置
JP4550641B2 (ja) 2005-03-30 2010-09-22 大陽日酸エンジニアリング株式会社 データ照合装置及び方法
CN103246596A (zh) * 2012-02-06 2013-08-14 镇江灵芯软件实验室有限公司 一种对基于时间控制的plc程序自动测试的方法
CN104881363B (zh) * 2015-06-24 2017-12-12 中国航空工业集团公司西安飞机设计研究所 一种控制律软件的测试方法
JP6770802B2 (ja) * 2015-12-28 2020-10-21 川崎重工業株式会社 プラント異常監視方法およびプラント異常監視用のコンピュータプログラム
CN110471394B (zh) * 2019-07-30 2020-10-20 中车青岛四方机车车辆股份有限公司 任务测试方法及装置、系统、存储介质和处理器

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE112017003607T5 (de) * 2017-06-23 2019-05-02 Mitsubishi Electric Corporation Programmverifikationssystem, Steuervorrichtung und Programmverifikationsverfahren

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
LIGGESMEYER, Peter: Software-Qualität - Testen, Analysieren und Verifizieren von Software. Spektrum, 2009. S. 179 – 184, 192 – 197, 215 – 219, 223, 376 – 378, 443 – 445. DOI: https://doi.org/10.1007/978-3-8274-2203-3 *
Logic analyzer. Wikipedia, die freie Enzyklopädie. Stand: 27.12.2020 [Online] https://en.wikipedia.org/w/index.php?title=Logic_analyzer&oldid=996501622 *
PROCHASKA, Ermenfried: Digital simulation. In: The electronic design automation handbook. Boston : Kluwer academic publishers, 2003. S. 247-282. – ISBN 978-1-4419-5369-8 *
Testbewertung / Testauswertung in TPT. Website: Piketex - software engineering [Online] https://piketec.com/de/tpt/testauswertung/ [englische Version: https://piketec.com/tpt/test-assessment/] [archiviert am 24.01.2021 in https://web.archive.org/web/20210124121034/https://piketec.com/de/tpt/testauswertung/] *

Also Published As

Publication number Publication date
JP7113988B1 (ja) 2022-08-05
CN116710858B (zh) 2024-05-03
CN116710858A (zh) 2023-09-05
WO2022176054A1 (ja) 2022-08-25
JPWO2022176054A1 (https=) 2022-08-25
DE112021005655T5 (de) 2023-08-10

Similar Documents

Publication Publication Date Title
DE3751949T2 (de) Verfahren zum Starten eines Untersystems in einem verteilten Verarbeitungssystem
DE2258917B2 (de) Regelvorrichtung mit mindestens zwei parallelen signalkanaelen
DE3702408C2 (https=)
DE112021005655B4 (de) Datenvergleichsgerät, Datenvergleichssystem und Datenvergleichsverfahren
DE112011102727T5 (de) Steuerprogramm-Erzeugungsvorrichtung, Steuerprogramm-Erzeugungsprogramm und Steuerprogramm-Erzeugungsverfahren
EP0966703A1 (de) Verfahren zur rechnergestützten fehleranalyse von sensoren und/oder aktoren in einem technischen system
DE19811864A1 (de) Redundante Steuerungsvorrichtung und Fehlererholungsverfahren für diese
DE112008001590B4 (de) Prozessorbetriebsinspektionssystem und Betriebsinspektionsschaltung
DE112017003607T5 (de) Programmverifikationssystem, Steuervorrichtung und Programmverifikationsverfahren
WO2017080793A2 (de) Verfahren zum betrieb eines mehrkernprozessors
WO2023066624A1 (de) Datenverarbeitungsnetzwerk zur datenverarbeitung
DE112018006331B4 (de) Testfallgenerierungsvorrichtung, Testfallgenerierungsverfahren und Testfallgenerierungsprogramm
WO2017190956A1 (de) Verfahren zum bestimmen eines modells
EP1701266A1 (de) Testvorrichtung zur Überprüfung einer Stapelverarbeitung
DE102019131638A1 (de) Verfahren zur adaptiven Anpassung eines Testablaufs, Verfahren zum Trainieren einer künstlichen Intelligenz, Test- und/oder Messgerät, Computerprogramm sowie computerlesbarer Datenträger
DE102017104049B4 (de) Verfahren und vorrichtung zum überprüfen der zuverlässigkeit eines chips
DE10325513A1 (de) Verfahren und Vorrichtung zum Erstellen eines Modells einer Schaltung zur formalen Verifikation
DE102019216676A1 (de) Prognose eines Messwerts einer Messgröße eines technischen Systems
DE112014003069T5 (de) Funktionseinheit, Analogeingabeeinheit und programmierbares Steuerungssystem
DE10148032A1 (de) Verfahren zum Überprüfen eines Rechnerkerns eines Mikroprozessors oder eines Mikrocontrollers
DE102018214980A1 (de) Rechnersystem und Betriebsverfahren dafür mit verbesserter Zuverlässigkeit
EP3770709B1 (de) Verfahren zum betrieb einer automatisierten technischen anlage
DE3024275A1 (de) Hierarchisch aufgebautes anlagensteuersystem
AT522186B1 (de) Computerimplementiertes Verfahren zur rechnergestützten Erzeugung eines ausführbaren Steuerungsprogramms zur Steuerung und/oder Regelung eines technischen Prozesses
DE2505475C3 (de) Verfahren und Vorrichtung zur Fehlerprüfung bei einem programmierbaren Logikwerk für die Ausführung logischer Operationen

Legal Events

Date Code Title Description
R012 Request for examination validly filed
R016 Response to examination communication
R016 Response to examination communication
R018 Grant decision by examination section/examining division