diff --git a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp index 907098b0397eaf76efe51f5f88484fd04553fb99..ce8fef36768749f6feddc6d2b1a0274eada68eaa 100644 --- a/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp +++ b/models/Iteration Patterns/It.08_Unsynchronized_iteration_coordination.mp @@ -1,6 +1,11 @@ /* Unsynchronized coordination for iteration cycles add precedence relations whether they appear in the same cycle or not (MP Manual section 4.8) */ + +/* Traces 5 and 6 produced at Scope 2 demonstrate deadlock patterns, + which if present in a real-time system, are a serious problem + that need to be addressed in the architecture design + (model specification). */ SCHEMA Unsynchronized_coordination