Analyze and simulate referenced models, subsystems, or atomic subcharts in a model. Isolate a subsystem or a referenced model for testing by extracting it into a harness model. Monitor time-domain signals in your model during simulation, according to specifications that you assign to blocks. Construct signal verifications, and selectively apply them based on the simulation input group. Generate and package options files for analyzing code generated from Simulink® models by using Polyspace. The packed options files are useful when Polyspace analysis of the generated code is performed separately from Simulink. For instance, in a distributed a workflow, the Polyspace analysis might be performed in an environment that does not have Simulink. By using the packed options files,the model specific context of the generated code is preserved.
|Assertion||Check whether signal is zero|
|Check Dynamic Gap||Check that gap of possibly varying width occurs in range of signal's amplitudes|
|Check Dynamic Lower Bound||Check that one signal is always less than another signal|
|Check Dynamic Range||Check that signal falls inside range of amplitudes that varies from time step to time step|
|Check Dynamic Upper Bound||Check that one signal is always greater than another signal|
|Check Input Resolution||Check that input signal has specified resolution|
|Check Static Gap||Check that gap exists in signal's range of amplitudes|
|Check Static Lower Bound||Check that signal is greater than (or optionally equal to) static lower bound|
|Check Static Range||Check that signal falls inside fixed range of amplitudes|
|Check Static Upper Bound||Check that signal is less than (or optionally equal to) static upper bound|
Strategies for verifying functional units of your model, in isolation or in the context of a larger system.
Simulink Model Verification library blocks assess time-domain signals in your model, according to the specifications that you assign to the blocks.
Generate Polyspace options files from a Simulink model, and use these options files to analyze generated code by using Polyspace.