diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex index 35a38d61d..95559f5cc 100644 --- a/chapters/synchronous.tex +++ b/chapters/synchronous.tex @@ -1057,9 +1057,11 @@ \section{Continuous-Time Equations in Clocked Partitions}\label{continuous-time- \end{nonnormative} \begin{nonnormative} -It is not defined, how events are handled that appear when solving the continuous-time partition. For example, a tool could handle events exactly in the same way as for a usual -simulation. Alternatively, relations might be interpreted literally, so that events are no longer triggered (in order that the time for an integration step is always the same, -as needed for hard real-time requirements). +It is not defined, how events are handled that appear when solving the continuous-time partition. +For example, a tool could handle events in the same way as for a usual simulation - but only check them at the time associated with clock-ticks. + +Alternatively, relations might be interpreted literally, so that events are no longer triggered (in order that the time for an integration step is always the same, as needed for hard real-time requirements). +However, even if relations do not generate events, when-clauses and operators \lstinline!edge! and \lstinline!change! should behave as normal. \end{nonnormative} From the view of the clocked partition, the continuous-time