QVtrace is an intuitive tool and has been designed to optimize the workflow for model-based design analysis. The interface has three main sections as shown in the image below.
1. The Model Navigation Window
You can visualize and navigate through your Simulink design directly inside QVtrace. The block position and labelling are made to be as close as possible to their Simulink representation, making it easy to navigate through the different subsystems. Similar to navigation within Simulink, double-clicking on any subsystem will display the contents of that subsystem. To return to higher levels in the design, you click on the desired level in the breadcrumb at the top left corner of the model navigation window.
2. The Constraints Window
The constraints window is where you will enter the queries used to analyze the design. These can be direct translations of the requirements specifications for the design into the QCT language, as well as sanity checks for bounds on any variable. You can learn more about the QCT language in section.
3. The Information Window
The information window provides information actionable information on the importing of models, constraints, and analysis. The window is divided into three tabs:
The Results tab: Provides analysis results information. You can learn more about this tab in the analysis results section.
The Problems tab: Provides information on any importing errors such as unsupported components or unspecified data types, as well as any issues with the constraints written into the constraints window such as improperly stated mathematical expressions.
The Console tab: Provides information on analysis progress and total analysis time, as well as high-level information on analysis results.
Finally, a floating toolbar gives easy access to the main actions in QVtrace. The image below shows the toolbar and the function of the different buttons.