Vehicle control system verification device, vehicle control system, and vehicle control system verification method
AssigneeHitachi Automotive Systems, Ltd.
InventorsSatoshi Otsuka, Kohei Sakurai
Life of this patent
Estimating the term…
Abstract
The present invention provides a technology for comprehensive verification of the safety of the design of functions, on the basis of a safety analysis result. The disclosed vehicle control system verification device is equipped with a storage device that stores programs for verifying the safety of the logical architecture of a vehicle control system, and a processor that reads the programs from the storage device and verifies the safety of the logical architecture. On the basis of safety analysis result information that is supplied, the processor executes a process for verifying whether the logical architecture has logical functions corresponding to the safety analysis result.
Claims10
A vehicle control system verification device comprising:
- a storage device that stores a program configured to verify safety of a logical architecture of a vehicle control system;
- and
- a processor that reads the program from the storage device and verifies the safety of the logical architecture, wherein
- the processor executes first verification processing configured to verify whether the logical architecture has a logical function corresponding to a safety analysis result on the basis of safety analysis result information that is supplied,
- the processor is also configured to:
- i) obtain information on a safety control mode indicating a control content that is realized by the logical architecture at a time when an abnormality occurs in the vehicle control system, and ii) check whether logical functions of the logical architecture corresponding to the safety control mode operate in cooperation with each other,
- the logical architecture is allocated in a physical architecture of the vehicle control system,
- the physical architecture includes a plurality of physical elements and a network, and
- the processor performs quantitative evaluation of the physical architecture by calculating a use rate of the plurality of physical elements and a occupancy rate of the network when the logical architecture is allocated in the physical element in the processing for performing the quantitative evaluation.
A vehicle control system verification method to verify a safety of an architecture of a vehicle control system, the method comprising:
- obtaining a logical architecture and a physical architecture of the vehicle control system to be input by a processor;
- obtaining safety analysis result information to be input by the processor;
- reading a program to verify at least the safety of the logical architecture from a storage device and verifying whether the logical architecture has a logical function corresponding to the safety analysis result on the basis of the safety analysis result information by the processor;
- obtaining information on a safety control mode indicating a control content that is realized by the logical architecture at a time when an abnormality occurs in the vehicle control system;
- checking whether logical functions of the logical architecture corresponding to the safety control mode operate in cooperation with each other, wherein
- the logical architecture is allocated in the physical architecture of the vehicle control system,
- the physical architecture includes a plurality of physical elements and a network, and
- performing, using the processor, quantitative evaluations of the physical architecture by calculating a use rate of the plurality of physical elements and an occupancy rate of the network when the logical architecture is allocated in the physical element in the processing for performing the quantitative evaluation.
Dependencies are inferred from the claim text.