Absolute-Time Temporal Logic

Specify if the generated code uses a target timer or target independent counter

Since R2020b

Model Configuration Pane: PLC Code Generation / Interface

Description

The Absolute-time temporal logic parameter specifies if the generated code uses the target timer or a target-independent counter for Stateflow^® absolute-time temporal logic semantics implementation.

Settings

Target timer (default) | Target-independent counter

Target Timer: Generated code uses the target timer to implement Stateflow absolute-time temporal logic semantics.
Target-independent Counter: Generated code contains a target-independent integer counter to implement Stateflow absolute-time temporal logic semantics.

Recommended Settings

Application	Setting
Debugging	No impact
Traceability	No impact
Efficiency	No impact
Safety precaution	No impact

Programmatic Use

Parameter: PLC_AbsTimeTemporalLogic

Type: character vector

Value: 'timer' | 'counter'

Default: 'timer'

Limitations

Absolute-time temporal logic does not support stateflow chart using global clocks.
Testbench code verification can fail for absolute-time temporal logic using floating-point comparison operations.

Version History

Introduced in R2020b