Vehicle control system verification device, vehicle control system, and vehicle control system verification method
a vehicle control system and verification device technology, applied in process and machine control, program control, instruments, etc., can solve the problem of rapid complexity of electronic control of automobiles
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Benefits of technology
Problems solved by technology
Method used
Image
Examples
first embodiment
(1) First Embodiment
[0035]A first embodiment discloses verification whether a safety function required for the FTA exists in a logical architecture of a vehicle control system and whether a safety degree and multiplicity required for the physical architecture are satisfied when the logical architecture is allocated in the physical architecture of the vehicle control system.
[0036]
[0037]FIG. 1 is a diagram illustrating a schematic configuration of a vehicle control system verification device 100 according to an embodiment of the present disclosure.
[0038]The vehicle control system verification device 100 includes a function allocation unit 101, a safety verification unit 102, and an architecture quantitative evaluation unit 103.
[0039]For example, the function allocation unit 101 receives the logical architecture 601 and the physical architecture 20, and executes a process for allocating the logical architecture 601 in the physical architecture 20 as in an example of function allocation...
second embodiment
(2) Second Embodiment
[0165]A second embodiment discloses another form of verification and evaluation based on quantitative evaluation of safety. Specifically, the safety requirement verification (step 1101) according to the first embodiment or another form of the processing (safety quantitative evaluation processing: can be referred to as top event occurrence probability calculation processing) executed in the architecture quantitative evaluation described above will be described.
[0166]
[0167]FIG. 13 is a diagram illustrating an outline of safety quantitative evaluation processing according to the second embodiment. The processing corresponds to processing for calculating probability of occurrence of the top event.
[0168]One of a plurality of events included in the FTA is selected, and a main function and a safety function are specified based on the detection target (refer to FIG. 7) of the logical function corresponding to the event and the failure function and the failure mode (refe...
third embodiment
(3) Third Embodiment
[0189]A third embodiment discloses that processing for verifying safety function cooperation (safety function cooperation verification processing) is executed in safety verification processing. The third embodiment is different from the first embodiment in that the safety function cooperation verification processing is further executed in the safety verification processing in FIG. 11. Hereinafter, the safety verification processing according to the third embodiment will be described.
[0190]
[0191]FIG. 15 is a flowchart for explaining an outline of the safety verification processing according to the third embodiment. As illustrated in FIG. 15, steps 1501 and 1502 are added to the safety verification processing (FIG. 11: steps 1101 to 1104) according to the first embodiment. Only the added processing will be described below.
[0192](i) Step 1501
[0193]A safety verification unit 102 verifies cooperation of safety functions in the physical architecture after allocation of...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More