Software verification method for control units and verification system
AssigneeRobert Bosch GmbH
InventorsHans-Joerg Wolff, Thomas Zurawka, Joerg Schaeuffele
Life of this patent
Estimating the term…
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.
Claims11
A method for verifying software functions for a control unit in accordance with a simulation model to simulate the software functions and the control unit, comprising:
- automatically generating a software code for the software functions from the simulation model, the simulation model being identical, firstly for a first experimental control unit and secondly for a second standard control unit;
- using identical input variables for the software functions on the first experimental control unit and the second standard control unit;
- detecting as synchronized in time output variables of the first experimental control unit and the second standard control unit resulting from the input variables;
- and
- verifying the software functions through a comparison of the output variables of the first experimental control unit and the second standard control unit.
A system for verifying software functions for a control unit, using a simulation model to simulate the software functions and the control unit, comprising:
- a first experimental control unit;
- a second standard control unit;
- a communication link between the first experimental unit and the second standard control unit;
- a first arrangement for automatically generating the software code for the software functions from the simulation model, the simulation model being identical, firstly for the first experimental control unit and secondly for the second standard control unit, identical input variables for the software functions being used on both control units;
- a second arrangement for detecting output variables of both control units resulting therefrom synchronized in time;
- and
- a third arrangement for verifying the software functions through comparison of the output variables of both control units.
A computer-readable medium having stored thereon instructions adapted to be executed by a processor, the instructions which, when executed, cause the processor to perform a method for verifying software functions for a control unit in accordance with a simulation model to simulate the software functions and the control unit, the method comprising:
- automatically generating a software code for the software functions from the simulation model, the simulation model being identical, firstly for a first experimental control unit and secondly for a second standard control unit;
- using identical input variables for the software functions on the first experimental control unit and the second standard control unit;
- detecting as synchronized in time output variables of the first experimental control unit and the second standard control unit resulting from the input variables;
- and
- verifying the software functions through a comparison of the output variables of the first experimental control unit and the second standard control unit.
A method for verifying software functions for a control unit in accordance with a simulation model to simulate the software functions and the control unit, comprising:
- for each of a first experimental hardware-implemented control unit and a second standard hardware-implemented control unit, automatically generating a software code for the software functions from the simulation model, the simulation model being identical, firstly for the first experimental hardware-implemented control unit and secondly for the second standard hardware-implemented control unit;
- using identical input variables for the software functions on the first experimental hardware-implemented control unit and the second standard hardware-implemented control unit;
- detecting as synchronized in time output variables of the first experimental hardware-implemented control unit and the second standard hardware-implemented control unit resulting from processing of the input variables via the generated software code;
- and
- verifying the software functions through a comparison of the output variables of the first experimental hardware-implemented control unit and the second standard hardware-implemented control unit.
Dependencies are inferred from the claim text.