Read-before-write to output in Moore chart

Diagnostic action to take when a Moore chart uses a previous output value to determine the state

Model Configuration Pane: Diagnostics

Description

The Read-before-write to output in Moore chart parameter specifies the diagnostic action to take when a Moore chart uses a previous output value to determine the current state. This behavior violates Moore machine semantics. In a Moore machine, output is a function of current state only. To allow output values from the previous time step in calculating current state, set this diagnostic to warning or none.

Settings

error (default) | none | warning

Default: error

none

No warning or error appears.

warning

A warning appears.

error

An error appears and stops the simulation.

Recommended Settings

Application	Setting
Debugging	error
Traceability	error
Efficiency	error
Safety precaution	error

Programmatic Use

Parameter: SFOutputUsedAsStateInMooreChartDiag

Value: 'none' | 'warning' | 'error'

Default: 'error'

Version History

Introduced in R2015a