DE102015207656B4 - Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems - Google Patents

Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems Download PDF

Info

Publication number
DE102015207656B4
DE102015207656B4 DE102015207656.3A DE102015207656A DE102015207656B4 DE 102015207656 B4 DE102015207656 B4 DE 102015207656B4 DE 102015207656 A DE102015207656 A DE 102015207656A DE 102015207656 B4 DE102015207656 B4 DE 102015207656B4
Authority
DE
Germany
Prior art keywords
model
code data
data
plant
bondgraph
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
DE102015207656.3A
Other languages
German (de)
English (en)
Other versions
DE102015207656A1 (de
Inventor
Tasuku Ishigooka
c/o Hitachi Research Labor. Narisawa Fumio
c/o Techn. Universität Suri Neeraj
c/o Techn. Universität Winter Stefan
c/o Techn. Universität Piper Thorsten
c/o Techn. Universität Saissi Habib
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.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
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 Hitachi Ltd filed Critical Hitachi Ltd
Publication of DE102015207656A1 publication Critical patent/DE102015207656A1/de
Application granted granted Critical
Publication of DE102015207656B4 publication Critical patent/DE102015207656B4/de
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2117/00—Details relating to the type or aim of the circuit design
    • G06F2117/08—HW-SW co-design, e.g. HW-SW partitioning
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Geometry (AREA)
  • Evolutionary Computation (AREA)
  • Testing And Monitoring For Control Systems (AREA)
  • Debugging And Monitoring (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Stored Programmes (AREA)
DE102015207656.3A 2014-04-29 2015-04-27 Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems Active DE102015207656B4 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
EP141663989 2014-04-29
EP14166398.9A EP2940586B1 (en) 2014-04-29 2014-04-29 Method and system for testing control software of a controlled system

Publications (2)

Publication Number Publication Date
DE102015207656A1 DE102015207656A1 (de) 2015-11-12
DE102015207656B4 true DE102015207656B4 (de) 2016-08-11

Family

ID=50624475

Family Applications (1)

Application Number Title Priority Date Filing Date
DE102015207656.3A Active DE102015207656B4 (de) 2014-04-29 2015-04-27 Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems

Country Status (4)

Country Link
US (1) US9575877B2 (enExample)
EP (1) EP2940586B1 (enExample)
JP (1) JP6320328B2 (enExample)
DE (1) DE102015207656B4 (enExample)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE102023123439A1 (de) 2023-08-31 2025-03-06 Bayerische Motoren Werke Aktiengesellschaft Verfahren zum Analysieren einer technischen Anlage sowie System

Families Citing this family (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2529478B (en) * 2014-08-22 2020-11-04 Knorr Bremse Rail Systems Uk Ltd Self testing process for a railway brake system
JP6378128B2 (ja) * 2015-04-28 2018-08-22 ルネサスエレクトロニクス株式会社 性能検証装置、システム、方法、およびコンピュータに当該方法を実行させるためのプログラム
CN106200618B (zh) * 2016-08-03 2019-02-01 北京汽车股份有限公司 汽车电子控制模块诊断功能的测试方法和系统
US10176086B2 (en) * 2016-10-03 2019-01-08 Fujitsu Limited Event-driven software test sequence determination
CN107918585B (zh) * 2016-10-07 2023-05-02 福特全球技术公司 用于测试软件程序的方法和装置
US10459435B2 (en) * 2016-10-17 2019-10-29 Yokogawa Electric Corporation Test manager for industrial automation controllers
CN106444714B (zh) * 2016-10-24 2019-01-22 北京新能源汽车股份有限公司 一种被控对象模型的搭建方法及装置
US11282009B2 (en) 2017-05-23 2022-03-22 Uatc, Llc Fleet utilization efficiency for on-demand transportation services
US10884902B2 (en) * 2017-05-23 2021-01-05 Uatc, Llc Software version verification for autonomous vehicles
CN110741353B (zh) 2017-06-23 2024-01-02 罗伯特·博世有限公司 用于配置车辆的入侵检测系统的图形用户接口工具
US11397663B2 (en) * 2017-11-02 2022-07-26 Silicon Mobility Sas Software environment for control engine debug, test, calibration and tuning
CN107908557B (zh) * 2017-11-14 2020-10-20 上海电子信息职业技术学院 一种嵌入式软件可信属性建模与验证方法
EP3493051A1 (en) * 2017-11-30 2019-06-05 The MathWorks, Inc. System and methods for evaluating compliance of implementation code with a software architecture specification
US10936474B2 (en) * 2017-12-13 2021-03-02 Arm Limited Software test program generation
DE102018003142A1 (de) 2017-12-13 2019-06-13 The Mathworks, Inc. Automatische Einstellung von Multitasking-Konfigurationen für ein Codeprüfsystem
US10983897B2 (en) 2018-01-30 2021-04-20 International Business Machines Corporation Testing embedded systems and application using hardware-in-the-loop as a service (HILAAS)
US10496529B1 (en) 2018-04-18 2019-12-03 Palantir Technologies Inc. Data unit test-based data management system
US20210342250A1 (en) * 2018-09-28 2021-11-04 Siemens Industry Software Nv Method and aparatus for verifying a software system
JP7564819B2 (ja) 2019-03-25 2024-10-09 オーロラ ラブズ リミテッド コード行挙動および関係モデルの発生ならびに署名
CN110531713B (zh) * 2019-08-07 2021-05-11 北京全路通信信号研究设计院集团有限公司 基于工业机器人的列控单板自动生产测试方法及系统
US11394612B2 (en) 2019-09-16 2022-07-19 Toyota Motor Engineering & Manufacturing North America, Inc. Distributed systems and extracting configurations for edge servers using driving scenario awareness
DE102019214162A1 (de) * 2019-09-17 2021-03-18 Robert Bosch Gmbh Verfahren und Vorrichtung zum Simulieren eines Steuergerätes
CN112653565B (zh) * 2019-10-10 2022-12-02 北京娜迦信息科技发展有限公司 用于输出信息的方法、装置、设备和计算机可读介质
CN113805848B (zh) * 2020-06-11 2024-03-26 中国航发商用航空发动机有限责任公司 目标机控制软件集成方法和系统
WO2022051974A1 (zh) * 2020-09-10 2022-03-17 深圳市大疆创新科技有限公司 应用于嵌入式平台的代码检测方法、装置、设备及计算机可读存储介质
CN112506775B (zh) * 2020-12-03 2023-03-17 东风汽车集团有限公司 一种多hil平台测试方法及系统
US11249891B1 (en) * 2021-03-22 2022-02-15 Palo Alto Research Center Incorporated Machine-learning framework for testing feedback controller robustness
CN113341917B (zh) * 2021-05-28 2023-03-14 重庆长安汽车股份有限公司 车联网远程控制端云一体自动测试系统及方法
DE102021118943A1 (de) * 2021-07-22 2023-01-26 Dspace Gmbh Schleifen-Modus für simulierte Steuergeräte
JP2023035073A (ja) * 2021-08-31 2023-03-13 横河電機株式会社 情報処理装置、予測方法および予測プログラム
CN115328082B (zh) * 2022-07-29 2025-01-21 重庆长安汽车股份有限公司 测试数据处理方法、装置、电子设备及介质
US20260099325A1 (en) * 2024-10-08 2026-04-09 Fca Us Llc Embedded system build tool and platform

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009014406A (ja) * 2007-07-02 2009-01-22 Toyota Motor Corp 電子制御ユニットの自動検査装置

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5396160A (en) * 1991-03-11 1995-03-07 General Motors Corporation Method of real-time machine path planning from a math model
JP2000293403A (ja) * 1999-04-12 2000-10-20 Denso Corp プログラム評価用装置
DE102008007101A1 (de) * 2008-02-01 2009-08-13 Eads Deutschland Gmbh Optisches System zur Projektion eines IR- oder UV-Testsignals mit optischer Ausrichtung der Projektionsachse im sichtbaren Spektralbereich
US8555123B2 (en) * 2008-07-23 2013-10-08 Industrial Technology Research Institute Test device and method for the SoC test architecture
JP5293165B2 (ja) * 2008-12-25 2013-09-18 富士通セミコンダクター株式会社 シミュレーション支援プログラム、シミュレーション装置、およびシミュレーション支援方法
US8655461B2 (en) * 2010-05-25 2014-02-18 Siemens Product Lifecycle Management Software Inc. Method, system, and non-transitory computer readable storage medium for generating code for a closed-loop controller
US8838413B2 (en) * 2011-05-12 2014-09-16 Saudi Arabian Oil Company Valve actuator fault analysis system
US8656370B2 (en) * 2011-08-26 2014-02-18 Fujitsu Limited Symbolic execution of javascript software using a control flow graph

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009014406A (ja) * 2007-07-02 2009-01-22 Toyota Motor Corp 電子制御ユニットの自動検査装置

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
BROY, Manfred et al.: Cross-layer Analysis, Testing and Verification of Automotive Control Software. In: EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software, 2011, S. 263-272. *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE102023123439A1 (de) 2023-08-31 2025-03-06 Bayerische Motoren Werke Aktiengesellschaft Verfahren zum Analysieren einer technischen Anlage sowie System

Also Published As

Publication number Publication date
EP2940586A1 (en) 2015-11-04
JP6320328B2 (ja) 2018-05-09
EP2940586B1 (en) 2023-03-01
US9575877B2 (en) 2017-02-21
JP2015210814A (ja) 2015-11-24
DE102015207656A1 (de) 2015-11-12
US20150309920A1 (en) 2015-10-29

Similar Documents

Publication Publication Date Title
DE102015207656A1 (de) Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems
AT522625B1 (de) Verfahren zur Sicherheitsüberprüfung einer Technikeinheit
DE60017457T2 (de) Verfahren zur isolierung eines fehlers in fehlernachrichten
DE112008002573T5 (de) Testen von Kompatibilität und Verhalten von Fertigungsautomatisierungssystemkomponenten mit einer virtuellen und realen Umgebung
EP2911024B1 (de) Verfahren zur Inbetriebnahme eines industriellen Automatisierungsnetzwerks
DE102011101920A1 (de) Fahrzeugsystemmodellerstellungssysteme und -verfahren
DE102017120016A1 (de) Verfahren zur Konfiguration eines zum Testen eines elektronischen Steuergeräts eingerichteten Testgeräts sowie Konfigurationssystem
EP3306295B1 (de) Verfahren und vorrichtung zum testen elektronischer steuerungen, insbesondere zum testen von automobilsteuerungen
DE102019209540A1 (de) Verfahren und Vorrichtung zur optimalen Aufteilung von Testfällen auf unterschiedliche Testplattformen
DE102018110020A1 (de) Verfahren zum Erzeugen eines auf einem Testgerät ausführbaren Modells eines technischen Systems und Testgerät
WO2015035438A1 (de) Verfahren zur verifizierung generierter software sowie verifizierungseinrichtung zum durchführen eines solchen verfahrens
DE102021116315A1 (de) Verfahren zum Zusammenführen von Architekturinformationen
DE10324594A1 (de) Verfahren zum Bereitstellen einer verbesserten Simulationsfähigkeit eines dynamischen Systems außerhalb der ursprünglichen Modellierungsumgebung
DE102023106277A1 (de) Verfahren zur Erzeugung von Quellcode
EP3712720A1 (de) Verfahren zur ansteuerung einer technischen anlage mittels einer adaptiven simplex architektur
DE102016107797A1 (de) Verfahren zur Konfiguration eines zum Testen eines elektronischen Steuergeräts eingerichteten Testgeräts
DE102016101344A1 (de) Verfahren zur Konfiguration eines für das Testen eines Steuergeräts eingerichteten Testgeräts
DE102021205385A1 (de) Persistente Sicherheitskonfigurationsüberwachung
DE102023134540A1 (de) Verfahren und System zur automatisierten Spezifikation von Testfällen zum Testen von Softwarefunktionen eines Steuergerätes
AT511297B1 (de) Verfahren zur Erzeugung eines Modells einer Kommunikationsaufgabe
DE112018002344T5 (de) Entwicklungsunterstützungsvorrichtung
EP4010765B1 (de) System und verfahren zum bereitstellen einer digitalen nachbildung einer anlage und entsprechendes computerprogrammprodukt
Mazkatli Consistency Preservation in the Development Process of Automotive So ware
DE102017212612A1 (de) Verfahren zum automatischen Erzeugen von Tests für die Software eines Fahrzeugs
DE102020213809A1 (de) Verfahren zum Betreiben eines Steuergeräts beim Testen einer Software des Steuergeräts und Verfahren zum Betreiben eines Testcomputers beim Testen einer Software eines Steuergeräts

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
R020 Patent grant now final