Outcome: Synchronization verification report
A report telling whether the synchronization and associated delay constraints (in case of a decomposition) can be satisfied or not by the current solution.
Relationships
Main Description

This work product is a report telling whether the synchronization and associated delay constraints (in case of a decomposition) can be satisfied or not by the current solution.