In a Stateflow® chart, an atomic subchart is a graphical object that allows you to reuse the same state or subchart across multiple charts and models. You can use Simulink® Design Verifier™ to analyze atomic subcharts individually. You do not have to analyze the chart that contains the atomic subchart, or the model that contains the chart.
If you are having problems analyzing a large model, analyzing an atomic subchart in a controlled environment is helpful. As described in Bottom-Up Approach to Model Analysis, by analyzing atomic subcharts or other components in the model hierarchy individually, you can analyze a model to:
Solve problems that slow down or prevent test generation, property proving, or design error detection.
Analyze model components that are unreachable in the context of the container model or chart.
For more information about atomic subcharts, see Create Reusable Subcomponents by Using Atomic Subcharts (Stateflow).
sf_atomic_sensor_pair example model models
a redundant sensor pair using atomic subcharts. This example analyzes
Sensor1 subchart in the
This model demonstrates how to model a simple redundant sensor pair using atomic subcharts.
to open it.
This Stateflow chart has two atomic subcharts:
To analyze the
Design Verifier, right-click the subchart and select Design Verifier > Generate Tests
During the analysis, the software creates a Simulink model
Sensor1 that contains the
The new model contains Inport and Outport blocks
that respectively correspond to the data objects
The software saves the new model and other files generated by the analysis in:
When the analysis is complete, view the analysis results
Sensor1 subchart by clicking one of the
Highlight analysis results on model
Generate detailed analysis report
Create harness model
Simulate tests and produce a model coverage report