Visualizing Model Execution Failures with Shading Cues
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
In conventional block diagram environments, analyzing execution results to identify and correct undesirable behavior is time-consuming due to the lack of effective visual representation of failure conditions.
Innovation Solution
A tool is provided that analyzes execution results to identify portions of the model contributing to failure conditions and displays them differently, offering visual cues such as shading increments for sequence of states and transitions, and highlighting counterexamples that contribute to failure conditions.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Loss of time
If conventional block diagram environments are used to analyze execution results, then the analysis process is time-consuming, but the lack of visual representation of failure conditions is the root cause
Solution Approach 1:
The patent applies color changes and visual shading to different portions of the block diagram to indicate their contribution to failure conditions. Counterexamples are displayed with distinct visual characteristics (such as shading increments) that allow users to quickly perceive which portions contribute to failures, transforming the abstract execution results into intuitive visual information that speeds up analysis.
2Ease of operation
If visual representation of execution results is provided, then users can perceive execution results easily, but the complexity of the visualization system increases
Solution Approach 1:
The patent applies local quality by providing visual representation only for specific portions of the block diagram that contribute to failure conditions, rather than visualizing the entire diagram uniformly. The visualization selectively highlights counterexamples and their contributing portions with distinct visual characteristics, maintaining simplicity while improving ease of operation.
3Productivity
If counterexamples are displayed with visual cues, then debugging efficiency is improved, but the information processing complexity increases
Solution Approach 1:
The patent extracts and displays only the counterexamples and their contributing portions from the complete execution results, separating the critical failure-related information from the rest of the data. This extraction approach improves debugging efficiency by focusing attention on relevant information while reducing the overall information processing complexity through selective presentation.
Data Source
AI summary
A tool that can be used in connection with a programming or modeling environment is disclosed. The tool can be incorporated into the programming or modeling environment or implemented separately from the programming or modeling environment. The tool receives the execution or simulation results data of the programs or models from the programming or modeling environment, and analyzes the data to provide information on the execution results of the programs or models to a user, such as a programmer and a designer. The information is provided to the user in such a manner that the user can perceive the execution results easily.