Simulator Observation Service for Deadlock Detection in Control Unit Testing
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Deadlocks occur during the testing of control unit functions in simulation environments, causing the simulation to become stuck in one simulation step, as the discretely advancing simulation time does not advance, leading to inefficiencies and unaddressed issues in identifying the cause of these deadlocks.
Innovation Solution
An observation service on the simulator compares the advancement of discrete simulation time with simulator real time, creating multiple stack traces when the simulator real time exceeds a predetermined limit, allowing identification of the most frequently executed control unit functions and detecting active deadlocks by analyzing these traces.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If event-oriented discrete simulation with zero-time assumption is used, then simulation efficiency is improved, but deadlock detection capability deteriorates
Solution Approach 1:
The patent introduces a monitoring mechanism that preemptively tracks simulation time advancement and stack trace changes during event-oriented discrete simulation. By continuously comparing simulation time with real time and detecting stack trace modifications, the system proactively identifies deadlock conditions before they cause simulation failure, thus maintaining simulation efficiency while improving deadlock detection capability
Solution Approach 2:
The patent employs an intermediary monitoring component that acts as a mediator between the event-oriented simulation engine and the deadlock detection mechanism. This intermediary continuously observes simulation time progression and stack trace changes, translating simulation events into detectable deadlock indicators without interfering with the zero-time assumption and event-driven execution flow
2Speed
If simulation time advances discretely without physical real time dependence, then simulation speed is improved, but deadlock identification capability deteriorates
Solution Approach 1:
The patent implements a feedback mechanism that continuously monitors simulation time advancement and compares it with real time progression. When the simulation time fails to advance appropriately relative to real time, or when stack traces show no changes over a period, the system generates feedback signals indicating potential deadlock conditions, enabling identification without slowing down the event-oriented simulation
3Use of energy by moving object
If zero-time assumption is applied in event-oriented simulation, then computational efficiency is improved, but ability to detect simulation stalls deteriorates
Solution Approach 1:
The patent introduces an intermediary monitoring layer that operates parallel to the event-oriented simulation engine. This intermediary tracks simulation time progression and stack trace changes without interfering with the zero-time assumption, detecting simulation stalls by identifying periods where simulation time fails to advance while real time continues to pass
Solution Approach 2:
The patent replaces traditional time-dependent simulation monitoring with an event-based detection mechanism. Instead of relying on physical time progression to detect stalls, the system uses logical monitoring of simulation time advancement and stack trace changes, substituting mechanical time-based detection with computational event-based detection that maintains computational efficiency
Data Source
AI summary
A computer-implemented method to test an execution of at least one control unit function of a control unit via at least one computing unit of a simulation environment on a simulator. The control unit function is executed with a zero-time assumption of a discretely advancing simulation time between successive simulation steps in an event-oriented discrete simulation on the simulator. A cause of deadlock situations in the simulation are identified in that an observation service operated on the simulator compares the advance of the discrete simulation time with the advance of a simulator real time and, if the advance of the simulator real time beyond the advance of the discrete simulation time exceeds a predetermined limit value, at least indirectly creates stack traces of the at least one computing unit.