Skip to content

Commit

Permalink
Further explain events.
Browse files Browse the repository at this point in the history
The underlying problem is that the chapter had only considered clocking purely continuous-time models.

This tries to have somewhat well-defined behaviour in other cases.
  • Loading branch information
HansOlsson committed Jan 18, 2022
1 parent e675164 commit 24389ca
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions chapters/synchronous.tex
Expand Up @@ -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
Expand Down

0 comments on commit 24389ca

Please sign in to comment.