We have an exciting announcement about badges coming in May 2025. Until then, we will temporarily stop issuing new badges for course completions and certifications. However, all completions will be recorded and fulfilled after May 2025.

Ansys Learning Forum › Forums › Discuss Simulation › Embedded Software › The “Reset condition” issue of scade example in Scade Primer › Reply To: The “Reset condition” issue of scade example in Scade Primer

November 25, 2024 at 2:15 pm
Benjamin Descorps
Ansys Employee

Hello,

Indeed, use of the pre operator is incorrect, missing an init clause.

You can replace :

s = (restart sigma every (pre s >= max))(count ());

by, either:

s = (restart sigma every (fby(s;1;0) >= max))(count ());

or

s = (restart sigma every ((0-> pre s) >= max))(count ());

The error will be fixed in the next SCADE version.

Benjamin