Vehicle Control System Verification Device for Safety Architecture
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing vehicle control system verification technologies do not comprehensively verify safety function requirements and relationships between safety functions, falling short in ensuring the reliability and safety of vehicle control systems.
Innovation Solution
A vehicle control system verification device that comprehensively verifies the safety of design functions based on safety analysis results, including logical and physical architectures, using Fault Tree Analysis (FTA) to ensure safety requirements are met and safety functions cooperate effectively.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If comprehensive verification of safety functions and their relationships is implemented, then safety and reliability of vehicle control system are improved, but verification complexity and time consumption increase
Solution Approach 1:
The verification process is divided into distinct modules: safety requirement verification unit that checks individual safety requirements against the model, safety function cooperation verification unit that verifies interactions between safety functions, and automatic generation of verification reports. This segmentation allows comprehensive verification to be performed in manageable, systematic steps rather than as an overwhelming monolithic process.
Solution Approach 2:
The system performs preliminary verification of safety requirements and safety function cooperations during the design phase using formal methods and model checking, before actual implementation and deployment. This preliminary action identifies potential safety issues early in the development process, preventing them from carrying through to production and reducing the need for costly post-deployment verification.
2Reliability
If comprehensive verification of safety functions and their relationships is implemented, then safety and reliability of vehicle control system are improved, but verification time increases
Solution Approach 1:
The system performs preliminary verification of safety requirements and safety function cooperations during the design phase using formal methods and model checking, before actual implementation and deployment. This preliminary action identifies potential safety issues early in the development process, preventing them from carrying through to production and reducing the need for costly post-deployment verification.
Solution Approach 2:
The verification system automatically generates feedback reports that detail the results of safety requirement verification and safety function cooperation verification. This feedback mechanism provides immediate information about verification status, allowing developers to quickly identify and address issues without lengthy manual review processes, thereby reducing overall verification time while maintaining comprehensiveness.
Data Source
Figure 1~2
Figure 3~4
Figure 5A~5B
AI summary
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.