Simulation State Logging for Faster Device Program Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing simulation systems require significant time for program verification, as they often necessitate repeated simulations to ensure device operation correctness, leading to inefficient program debugging processes.
Innovation Solution
A simulation system that includes a simulator, data input unit, data recorder, and displayer to record and display positional information and variable values at each execution time, allowing for efficient program verification by reproducing simulations step-by-step and comparing simulated and real environment logs.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If simulations are repeatedly reproduced to verify device operation programs, then program verification reliability is improved, but verification time increases significantly
Solution Approach 1:
The system performs preliminary recording of positional information and variable values during the simulation execution. This recorded data is then reused for multiple verification purposes, eliminating the need to re-execute simulations repeatedly. The data is captured once and can be analyzed multiple times for different verification scenarios.
Solution Approach 2:
The invention creates a copy of the simulation execution data (positional information and variable values) stored in a data recorder. This copy can be repeatedly accessed and analyzed without requiring re-execution of the original simulation, allowing multiple verification passes using the same underlying simulation run.
2Productivity
If detailed positional information and variable values are recorded for each execution time, then debugging efficiency is improved, but data storage requirements increase
Solution Approach 1:
The system extracts and records only the specific data elements needed for debugging - positional information of objects and values of variables referred to by the device operation program - at specific execution times. This selective extraction avoids recording unnecessary data, optimizing the balance between debugging information availability and storage requirements.
3Measurement precision
If the simulation is stopped for each execution time to check logs, then program debugging accuracy is improved, but simulation productivity decreases
Solution Approach 1:
The system performs preliminary recording of all necessary debugging data (positional information and variable values) during continuous simulation execution. The data is captured and stored before any analysis or debugging activities begin, allowing multiple inspection passes without requiring simulation stops.
Solution Approach 2:
The data recorder acts as an intermediary between the simulation executor and the analysis tools. It stores the simulation state data, allowing debuggers and analysts to examine the data without interrupting the simulation execution process. This decoupling enables independent data analysis while maintaining simulation productivity.
Data Source
AI summary
Provided is a simulation technique that allows the program verification to be more efficiently performed. A simulation system includes: a simulator that executes simulation of an operation of one or more devices; a data input unit that obtains one or more execution times in the simulation, positional information of each one of objects in the simulation, and a value of each one of one or more variables referred to by a program to operate the devices; a data recorder that stores, as a first log, positional information of the objects and value of the variables for each of the one or more execution times in a manner that positional information and value are associated with each other; and a displayer that displays positional information of the objects and value of the variables for each of the one or more execution times included in first log.