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.
Claims12
A vehicle control system verification device comprising:
- a storage device that stores a program for verifying 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 for verifying 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.
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;
- and
- 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.
Dependencies are inferred from the claim text.