Before the synchronization constraint can be formulated, it is necessary to identify and define the events (stimuli/responses) that will be used in the constraint formulation and that corresponds to the meaning of the requirement. On the vehicle level, this typically means the events that are located at the interface to the plant model since this represents the outer boundary of the system. When moving from a higher abstraction level to a lower, it is important to make sure that the mapping of events between the levels is adequately done. For the events their occurrence pattern has to be specified using the period parameter. This setting could be made more or less beneficial concerning the synchronization requirement and should be carefully selected.
|