WO2003027850A3 - Verfahren zur softwareverifikation für steuereinheiten und verifikationssystem - Google Patents
Verfahren zur softwareverifikation für steuereinheiten und verifikationssystem Download PDFInfo
- Publication number
- WO2003027850A3 WO2003027850A3 PCT/DE2002/002725 DE0202725W WO03027850A3 WO 2003027850 A3 WO2003027850 A3 WO 2003027850A3 DE 0202725 W DE0202725 W DE 0202725W WO 03027850 A3 WO03027850 A3 WO 03027850A3
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- software
- software functions
- control units
- control unit
- verification
- Prior art date
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—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
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
- G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
- G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
- G06F11/0739—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function in a data processing system embedded in automotive or aircraft systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0751—Error or fault detection not based on redundancy
-
- 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/3684—Test management for test design, e.g. generating new test cases
-
- 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/3688—Test management for test execution, e.g. scheduling of test suites
-
- 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/20—Pc systems
- G05B2219/23—Pc programming
- G05B2219/23188—Software independent and dependent of hardware
-
- 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/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24006—Code coverage memory:contains data about addressed addresses during program run
-
- 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/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24034—Model checker, to verify and debug control software
-
- 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/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24038—Several test signals stored in memory and used as input signals
-
- 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/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24061—Simulator, generates input signals, shows output signals of logic
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Automation & Control Theory (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2003531322A JP4236104B2 (ja) | 2001-09-07 | 2002-07-24 | 制御ユニットのためのソフトウェア検証方法及び検証システム |
EP02760105A EP1428126A2 (de) | 2001-09-07 | 2002-07-24 | Verfahren zur softwareverifikation für steuereinheiten und verifikationssystem |
AU2002325798A AU2002325798A1 (en) | 2001-09-07 | 2002-07-24 | Software verification method for control units and verification system |
US10/489,070 US7275184B2 (en) | 2001-09-07 | 2002-07-24 | Software verification method for control units and verification system |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE10144050.2 | 2001-09-07 | ||
DE10144050A DE10144050A1 (de) | 2001-09-07 | 2001-09-07 | Verfahren zur Softwareverifikation für Steuereinheiten und Verifikationssystem |
Publications (2)
Publication Number | Publication Date |
---|---|
WO2003027850A2 WO2003027850A2 (de) | 2003-04-03 |
WO2003027850A3 true WO2003027850A3 (de) | 2004-02-05 |
Family
ID=7698161
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/DE2002/002725 WO2003027850A2 (de) | 2001-09-07 | 2002-07-24 | Verfahren zur softwareverifikation für steuereinheiten und verifikationssystem |
Country Status (6)
Country | Link |
---|---|
US (1) | US7275184B2 (de) |
EP (1) | EP1428126A2 (de) |
JP (1) | JP4236104B2 (de) |
AU (1) | AU2002325798A1 (de) |
DE (1) | DE10144050A1 (de) |
WO (1) | WO2003027850A2 (de) |
Families Citing this family (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7502728B1 (en) * | 2002-04-30 | 2009-03-10 | Unisys Corporation | Code coverage testing in hardware emulation |
GB0213688D0 (en) * | 2002-06-14 | 2002-07-24 | Ibm | Automated test generation |
US7596778B2 (en) * | 2003-07-03 | 2009-09-29 | Parasoft Corporation | Method and system for automatic error prevention for computer software |
US20050033457A1 (en) * | 2003-07-25 | 2005-02-10 | Hitoshi Yamane | Simulation aid tools and ladder program verification systems |
EP1530138A1 (de) * | 2003-11-10 | 2005-05-11 | Robert Bosch Gmbh | Generische Mess- und Kalibrierschnittstelle zur Entwicklung von Steuerungsprogrammen |
US7162389B2 (en) * | 2003-12-01 | 2007-01-09 | Fujitsu-Ten Limited | Evaluation device for control unit, simulator, and evaluation system |
US7793269B2 (en) * | 2005-02-15 | 2010-09-07 | Ebay Inc. | Parallel software testing based on a normalized configuration |
US7383460B2 (en) * | 2005-03-25 | 2008-06-03 | Microsoft Corporation | Method and system for configuring a timer |
SE529634C2 (sv) * | 2006-03-02 | 2007-10-09 | Abb Ab | En metod för att jämföra variabelvärden erhållna från olika versioner av ett applikationsprogram samt ett automationssystem och en styrenhet |
SE529676C2 (sv) * | 2006-03-02 | 2007-10-23 | Abb Ab | En metod för att utvärdera en applikation, ett automationssystem och en styrenhet |
US8087007B2 (en) * | 2006-05-08 | 2011-12-27 | Assima Ltd. | System and method for software prototype-development and validation and for automatic software simulation re-grabbing |
GB0614067D0 (en) * | 2006-07-17 | 2006-08-23 | Ineos Fluor Holdings Ltd | Heat transfer compositions |
US8161457B2 (en) * | 2007-03-06 | 2012-04-17 | International Business Machines Corporation | Detection of errors caused by interactions of independent software vendor code with host code |
US9442701B1 (en) * | 2007-06-21 | 2016-09-13 | The Mathworks, Inc. | Verifying models for exceptional behavior |
DE102007028721A1 (de) | 2007-06-21 | 2008-12-24 | Iav Gmbh Ingenieurgesellschaft Auto Und Verkehr | Verfahren und Vorrichtung zur Verifizierung von Funktionsabläufen in einem Steuergerät |
WO2009146979A1 (en) | 2008-06-05 | 2009-12-10 | International Business Machines Corporation | Method system and computer program for identifying software problems |
JP5494255B2 (ja) * | 2010-06-07 | 2014-05-14 | 富士電機株式会社 | 安全制御システム |
EP2503459B1 (de) * | 2011-03-23 | 2021-01-20 | Volvo Car Corporation | Komplett und kompatibel-Funktion |
US8694978B1 (en) * | 2011-03-25 | 2014-04-08 | Google Inc. | Function side-effect modeling by prototyping |
CN106874055B (zh) * | 2017-03-07 | 2020-01-31 | 上海怿星电子科技有限公司 | 一种用于汽车ecu程序自动刷写测试的方法和装置 |
DE102018212560A1 (de) * | 2017-08-08 | 2019-02-14 | Robert Bosch Gmbh | Rechnergestütztes System zum Testen einer servergestützten Fahrzeugfunktion |
CN109409022B (zh) * | 2018-12-21 | 2023-07-14 | 核动力运行研究所 | 一种用于核电堆芯物理仿真可视化建模调试测试方法 |
US11237802B1 (en) | 2020-07-20 | 2022-02-01 | Bank Of America Corporation | Architecture diagram analysis tool for software development |
DE102021201837A1 (de) * | 2021-02-26 | 2022-09-01 | Siemens Mobility GmbH | Verfahren zur Konfiguration einer Steuerungssoftware bei einem Schienenfahrzeug |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO1981000475A1 (en) * | 1979-07-27 | 1981-02-19 | Fluke Trendar | Testor for microprocessor-based systems |
DE19959247A1 (de) * | 1999-12-08 | 2001-06-13 | Bosch Gmbh Robert | Mikrocomputer zum Einsatz in einem Steuerungs-/Regelungsgerät eines Kraftfahrzeugs und Verfahren zum Bestimmen der Codeabdeckung eines Steuerungs-/Regelungsprogramms des Mikrocomputers |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5551050A (en) * | 1989-12-20 | 1996-08-27 | Texas Instruments Incorporated | System and method using synchronized processors to perform real time internal monitoring of a data processing device |
FR2685838B1 (fr) * | 1991-12-27 | 1994-02-25 | Sgs Thomson Microelectronics Sa | Procede pour verifier la conformite a une norme d'une cellule representative d'un circuit dedie a la gestion d'un protocole de communication, et systeme pour sa mise en óoeuvre. |
US5313618A (en) * | 1992-09-03 | 1994-05-17 | Metalink Corp. | Shared bus in-circuit emulator system and method |
US5946472A (en) * | 1996-10-31 | 1999-08-31 | International Business Machines Corporation | Apparatus and method for performing behavioral modeling in hardware emulation and simulation environments |
US5960188A (en) * | 1997-03-13 | 1999-09-28 | Delco Electronics Corporation | Method for modeling electrical interconnections in a cycle based simulator |
US6332201B1 (en) * | 1999-03-23 | 2001-12-18 | Hewlett-Packard Company | Test results checking via predictive-reactive emulation |
US6973417B1 (en) * | 1999-11-05 | 2005-12-06 | Metrowerks Corporation | Method and system for simulating execution of a target program in a simulated target system |
US7035784B1 (en) * | 2000-09-22 | 2006-04-25 | Lucent Technologies Inc. | Data-driven method simulator and simulation process |
US20030088710A1 (en) * | 2001-07-05 | 2003-05-08 | Sukhwinder Sandhu | Simulation environment software |
-
2001
- 2001-09-07 DE DE10144050A patent/DE10144050A1/de not_active Withdrawn
-
2002
- 2002-07-24 EP EP02760105A patent/EP1428126A2/de not_active Ceased
- 2002-07-24 US US10/489,070 patent/US7275184B2/en not_active Expired - Fee Related
- 2002-07-24 JP JP2003531322A patent/JP4236104B2/ja not_active Expired - Fee Related
- 2002-07-24 WO PCT/DE2002/002725 patent/WO2003027850A2/de active Application Filing
- 2002-07-24 AU AU2002325798A patent/AU2002325798A1/en not_active Abandoned
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO1981000475A1 (en) * | 1979-07-27 | 1981-02-19 | Fluke Trendar | Testor for microprocessor-based systems |
DE19959247A1 (de) * | 1999-12-08 | 2001-06-13 | Bosch Gmbh Robert | Mikrocomputer zum Einsatz in einem Steuerungs-/Regelungsgerät eines Kraftfahrzeugs und Verfahren zum Bestimmen der Codeabdeckung eines Steuerungs-/Regelungsprogramms des Mikrocomputers |
Non-Patent Citations (4)
Title |
---|
DOUGLAS HOFFMANN: "A Taxonomy of Test Oracles", INTERNET ARTICLE, 16 January 1998 (1998-01-16), pages 1 - 4, XP002262104, Retrieved from the Internet <URL:http://softwarequalitymethods.com/SQM/Abstracts/ATaxonomyabstract.PDF> [retrieved on 20031119] * |
DR. THOMAS SPÖRL, DR. CLAUS KRICKE, BERND HEPPNER: "Software-Plattform für Steuergerätetests grundlegend verbessert", ELEKTRONIK AUTOMOTIVE, 2000, pages 104 - 106, XP002262105 * |
KLAUS OERTEL: "Code per Klick - Von der Idee zum fertigen Produkt mit ASCET-SD 3.0", ELEKTRONIK INDUSTRIE, April 1999 (1999-04-01), pages 95 - 96, XP002262103 * |
MILNE B: "ENTRY-LEVEL SYSTEM INTEGRATES MICROPROCESSOR DEVELOPMENT TOOLS", ELECTRONIC DESIGN, PENTON PUBLISHING, CLEVELAND, OH, US, vol. 36, no. 2, 21 January 1988 (1988-01-21), pages 43 - 44,46,48, XP000112094, ISSN: 0013-4872 * |
Also Published As
Publication number | Publication date |
---|---|
DE10144050A1 (de) | 2003-03-27 |
US7275184B2 (en) | 2007-09-25 |
EP1428126A2 (de) | 2004-06-16 |
AU2002325798A1 (en) | 2003-04-07 |
US20050022166A1 (en) | 2005-01-27 |
JP4236104B2 (ja) | 2009-03-11 |
WO2003027850A2 (de) | 2003-04-03 |
JP2005504377A (ja) | 2005-02-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2003027850A3 (de) | Verfahren zur softwareverifikation für steuereinheiten und verifikationssystem | |
WO2004034304A3 (en) | A rule-based system and method for checking compliance of architectural analysis and design models | |
TW200511059A (en) | General purpose memory compiler system and associated methods | |
GB2445320A (en) | Vehicle control system and method | |
ATE372281T1 (de) | Müllfahrzeugsteuersystem und -verfahren | |
WO2004029748A3 (en) | System and method for using keystroke data to configure a remote control device | |
WO2003090164A3 (en) | System and method for providing inferencing services | |
EP2557508A3 (de) | Benutzerverifizierungsverfahren und Benutzerverifizierungssystem | |
WO2002088888A3 (en) | A method, software program, and system for ranking relative risk of a plurality of transactions | |
WO2002043463A3 (en) | Systems and methods for generating hardware description code | |
DE60335378D1 (de) | Verfahren und system zur konfigurationssteuerung in telekommunikationsnetzen | |
HUP0204161A2 (en) | Method of controlling access to a resource in a computer system by a body of code and computer system for executing the method | |
WO2004013800A3 (fr) | Logiciel de generation de code d'application informatique et langage de description de logiciel | |
DE60225170D1 (de) | Verfahren und vorrichtung zum dekodieren handschriftlicher zeichen | |
SE9903606D0 (sv) | A computer based method and system for controlling an industrial process | |
TW200515245A (en) | A method for predicted reactor simulation | |
HK1091617A1 (en) | A system and associated method to determine authentication priority between devices | |
WO2005008412A8 (en) | Shared input key method and apparatus | |
TW200615446A (en) | Apparatus and method for controlling a plant | |
WO2002101596A3 (de) | Verfahren und system zur unterstützung der projektierung von fertigungsanlagen | |
WO2003034197A3 (en) | Controller selectable hyperlinks | |
WO2006026392A3 (en) | Computational simulation systems and methods using boundary integral equations | |
WO2002101544A3 (en) | Automatic development of software codes | |
WO2001010082A3 (en) | A system, method and article of manufacture for network performance modeling | |
WO2004012124A3 (en) | Method and system for leveraging functional knowledge in an engineering project |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AK | Designated states |
Kind code of ref document: A2 Designated state(s): AE AL AM AT AU AZ BA BB BG BR CA CH CN CU CZ DK EE ES FI GB GD GH GM HR HU ID IL IN IS JP KE KG KR KZ LC LK LR LS LT LU LV MD MK MN MW MX NO NZ PL PT RO RU SE SG SI SK SL TJ TM TR TT UA UG UZ VN YU ZA |
|
AL | Designated countries for regional patents |
Kind code of ref document: A2 Designated state(s): GH GM KE LS MW MZ SD SL SZ UG ZM ZW AM AZ BY KG KZ RU TJ TM AT BE BG CH CY CZ DK EE ES FI FR GB GR IE IT LU MC PT SE SK TR BF BJ CF CG CI GA GN GQ GW ML MR NE SN TD TG |
|
121 | Ep: the epo has been informed by wipo that ep was designated in this application | ||
DFPE | Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101) | ||
WWE | Wipo information: entry into national phase |
Ref document number: 2002760105 Country of ref document: EP |
|
WWE | Wipo information: entry into national phase |
Ref document number: 2003531322 Country of ref document: JP |
|
WWP | Wipo information: published in national office |
Ref document number: 2002760105 Country of ref document: EP |
|
WWE | Wipo information: entry into national phase |
Ref document number: 10489070 Country of ref document: US |