Documentation

Stateflow Chart Considerations

Stateflow® chart names, properties, and architecture

Topics

Motivation

MathWorks® intends the guidelines for engineers developing models and generating code for high-integrity systems using Model-Based Design with MathWorks products.

Guideline Template

The guidelines use this template.

Model Advisor Checks for High-Integrity Modeling Guidelines

Simulink® Check™ includes Model Advisor checks for compliance with the safety standards referenced in the high-integrity guidelines.

Was this topic helpful?