BMS Firmware Verification Using Internal Variable Feedback
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Automated verification of battery management system (BMS) firmware is challenging, particularly in white box testing, due to the difficulty in checking internal variable information without external communication, leading to inefficient manual verification processes.
Innovation Solution
A system and method for automated verification that includes a device for creating test case sequences, a BMS controller for simulating operations, and a BMS internal variable acquirer to acquire and reflect internal variable information during simulations, enabling automated verification of BMS firmware.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If white box testing is performed to verify internal architecture logic of BMS firmware, then verification thoroughness is improved, but automation capability deteriorates due to inability to access internal variable information
Solution Approach 1:
The patent introduces an intermediary mechanism (debug interface, trace buffer, or logging system) that mediates between the BMS firmware's internal variables and the external verification system. This intermediary captures and exposes internal variable information without requiring direct modification of the firmware's core logic, thereby enabling automated access to previously inaccessible data while maintaining verification thoroughness
Solution Approach 2:
The patent implements feedback mechanisms where internal variable information is continuously captured during simulation and fed back to the verification system. This feedback loop includes capturing variable states at specific instruction addresses, storing them in trace buffers, and providing them to the automated verification tool, thus enabling closed-loop automated verification of internal logic
2Measurement precision
If manual verification is used to check internal variable information, then verification accuracy is improved, but productivity deteriorates due to time-consuming processes
Solution Approach 1:
The patent enables the BMS firmware to self-serve verification data by automatically capturing and storing its own internal variable information in trace buffers during normal operation. The firmware essentially verifies itself by providing its internal state data to the verification system without requiring external manual intervention, thus improving both accuracy and productivity
Solution Approach 2:
The patent performs preliminary actions by pre-configuring trace buffers and capturing mechanisms before verification begins. Internal variable information is captured and stored in advance during simulation execution, so that when verification is needed, the data is already prepared and accessible, eliminating the need for time-consuming manual data collection while maintaining accuracy
Data Source
AI summary
The present disclosure relates to a system and method for automated verification of a battery management system for a battery pack, an energy storage device, etc., and the problem to be solved is to enable automated verification for items that should be determined by modifying internal variable information or verifying results with the internal variable information during white box verification of the internal architecture logic of BMS firmware of an ESS. There is provided a system for automated verification of a BMS, including a device for automated verification configured to create a test case sequence for testing firmware operation items of the BMS, perform a simulation on the BMS, and model operation items of the BMS, a BMS controller that is connected to the device for automated verification and controls the BMS to operate by applying modeled data for the operation items to the BMS, and a BMS internal variable acquirer that acquires internal variable information of the BMS during execution of the simulation.