Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-09-25
2007-09-25
Baderman, Scott (Department: 2114)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Reexamination Certificate
active
10489070
ABSTRACT:
A method and system for the verification of software functions for a control unit, using a simulation model to simulate the software functions and the control unit, the software code for the software functions being generated automatically from the identical simulation model, firstly for a first experimental control unit and secondly for a second standard control unit, identical input variables for the software functions being used on both control units and the output variables of both control units resulting therefrom being detected synchronized in time, i.e., simultaneously, the software functions being verified through comparison of the output variables of both control units.
REFERENCES:
patent: 5313618 (1994-05-01), Pawloski
patent: 5515504 (1996-05-01), Le Van Suu
patent: 5551050 (1996-08-01), Ehlig et al.
patent: 5946472 (1999-08-01), Graves et al.
patent: 5960188 (1999-09-01), Linke et al.
patent: 6332201 (2001-12-01), Chin et al.
patent: 6973417 (2005-12-01), Maxwell et al.
patent: 7035784 (2006-04-01), Gillis
patent: 2003/0088710 (2003-05-01), Sandhu et al.
patent: 199 59 247 (2001-06-01), None
patent: WO 81 00475 (1981-02-01), None
Klaus Oertel,Code by Click—From Idea to Finished Product With ASCET-SD 3.0, Elektronik Industrie, Apr. 1999, pp. 95-6.
Douglas Hoffmann,A Taxonomy of Test Oracles, Online internet article, Jan. 16, 1998, pp. 1-4. URL:http://softwarequalitymethods.com/SQM/Abstracts/ATaxonomyabstract.PDF (Found Sep. 19, 2003).
B. Milne,Entry-Level System Integrates Microprocessor Development Tools, Electronic Design, Penton Publishing, Cleveland, OH, vol. 36, No. 2, Jan. 21, 1988, pp. 43-44, 46, and 48.
Spörl et al.,Software Platform for Control-Device Tests Fundamentally Improved, Electronik Automotive, 2000, pp. 104-106.
Schaeuffele Joerg
Wolff Hans-Joerg
Zurawka Thomas
Baderman Scott
Kenyon & Kenyon LLP
Lohn Joshua
Robert & Bosch GmbH
LandOfFree
Software verification method for control units and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Software verification method for control units and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software verification method for control units and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3784531