CONSTRAINT_ERROR scheduler-fixed_priority.adb:559 index check failed Scheduling simulation, Processor cpu : - Number of context switches : 22 - Number of preemptions : 11 - Task response time computed from simulation : T1 => 57/worst , missed its deadline (absolute deadline = 20 ; completion time = 22), missed its deadline (absolute deadline = 30 ; completion time = 37), missed its deadline (absolute deadline = 40 ; completion time = 52), missed its deadline (absolute deadline = 50 ; completion time = 67), missed its deadline (absolute deadline = 60 ; completion time = 82), missed its deadline (absolute deadline = 70 ; completion time = 97), missed its deadline (absolute deadline = 80 ; completion time = 112), missed its deadline (absolute deadline = 90 ; completion time = 127), missed its deadline (absolute deadline = 100 ; completion time = 142), missed its deadline (absolute deadline = 110 ; completion time = 157) T2 => 10/worst - Some task deadlines will be missed : the task set is not schedulable. 0 TASK_ACTIVATION 0 TASK_ACTIVATION 0 WAIT_FOR_RESOURCE 0 START_OF_TASK_CAPACITY 0 RUNNING_TASK c 1 0 1 WAIT_FOR_RESOURCE 1 RUNNING_TASK c 1 0 2 ALLOCATE_RESOURCE 2 PREEMPTION 0 2 START_OF_TASK_CAPACITY 2 RUNNING_TASK c 2 0 3 RUNNING_TASK c 2 0 4 RUNNING_TASK c 2 0 5 RUNNING_TASK c 2 0 6 RUNNING_TASK c 2 0 7 END_OF_TASK_CAPACITY 10 TASK_ACTIVATION 7 RUNNING_TASK c 1 0 8 RUNNING_TASK c 1 0 9 RUNNING_TASK c 1 0 10 END_OF_TASK_CAPACITY 15 TASK_ACTIVATION 10 WAIT_FOR_RESOURCE 11 WAIT_FOR_RESOURCE 12 WAIT_FOR_RESOURCE 13 WAIT_FOR_RESOURCE 14 WAIT_FOR_RESOURCE 15 WAIT_FOR_RESOURCE 15 START_OF_TASK_CAPACITY 15 RUNNING_TASK c 1 0 16 WAIT_FOR_RESOURCE 16 RUNNING_TASK c 1 0 17 ALLOCATE_RESOURCE 17 PREEMPTION 0 17 START_OF_TASK_CAPACITY 17 RUNNING_TASK c 2 0 18 RUNNING_TASK c 2 0 19 RUNNING_TASK c 2 0 20 RUNNING_TASK c 2 0 21 RUNNING_TASK c 2 0 22 END_OF_TASK_CAPACITY 20 TASK_ACTIVATION 22 WAIT_FOR_RESOURCE 22 RUNNING_TASK c 1 0 23 WAIT_FOR_RESOURCE 23 RUNNING_TASK c 1 0 24 WAIT_FOR_RESOURCE 24 RUNNING_TASK c 1 0 25 END_OF_TASK_CAPACITY 30 TASK_ACTIVATION 25 WAIT_FOR_RESOURCE 26 WAIT_FOR_RESOURCE 27 WAIT_FOR_RESOURCE 28 WAIT_FOR_RESOURCE 29 WAIT_FOR_RESOURCE 30 WAIT_FOR_RESOURCE 30 START_OF_TASK_CAPACITY 30 RUNNING_TASK c 1 0 31 WAIT_FOR_RESOURCE 31 RUNNING_TASK c 1 0 32 ALLOCATE_RESOURCE 32 PREEMPTION 0 32 START_OF_TASK_CAPACITY 32 RUNNING_TASK c 2 0 33 RUNNING_TASK c 2 0 34 RUNNING_TASK c 2 0 35 RUNNING_TASK c 2 0 36 RUNNING_TASK c 2 0 37 END_OF_TASK_CAPACITY 30 TASK_ACTIVATION 37 WAIT_FOR_RESOURCE 37 RUNNING_TASK c 1 0 38 WAIT_FOR_RESOURCE 38 RUNNING_TASK c 1 0 39 WAIT_FOR_RESOURCE 39 RUNNING_TASK c 1 0 40 END_OF_TASK_CAPACITY 45 TASK_ACTIVATION 40 WAIT_FOR_RESOURCE 41 WAIT_FOR_RESOURCE 42 WAIT_FOR_RESOURCE 43 WAIT_FOR_RESOURCE 44 WAIT_FOR_RESOURCE 45 WAIT_FOR_RESOURCE 45 START_OF_TASK_CAPACITY 45 RUNNING_TASK c 1 0 46 WAIT_FOR_RESOURCE 46 RUNNING_TASK c 1 0 47 ALLOCATE_RESOURCE 47 PREEMPTION 0 47 START_OF_TASK_CAPACITY 47 RUNNING_TASK c 2 0 48 RUNNING_TASK c 2 0 49 RUNNING_TASK c 2 0 50 RUNNING_TASK c 2 0 51 RUNNING_TASK c 2 0 52 END_OF_TASK_CAPACITY 40 TASK_ACTIVATION 52 WAIT_FOR_RESOURCE 52 RUNNING_TASK c 1 0 53 WAIT_FOR_RESOURCE 53 RUNNING_TASK c 1 0 54 WAIT_FOR_RESOURCE 54 RUNNING_TASK c 1 0 55 END_OF_TASK_CAPACITY 60 TASK_ACTIVATION 55 WAIT_FOR_RESOURCE 56 WAIT_FOR_RESOURCE 57 WAIT_FOR_RESOURCE 58 WAIT_FOR_RESOURCE 59 WAIT_FOR_RESOURCE 60 WAIT_FOR_RESOURCE 60 START_OF_TASK_CAPACITY 60 RUNNING_TASK c 1 0 61 WAIT_FOR_RESOURCE 61 RUNNING_TASK c 1 0 62 ALLOCATE_RESOURCE 62 PREEMPTION 0 62 START_OF_TASK_CAPACITY 62 RUNNING_TASK c 2 0 63 RUNNING_TASK c 2 0 64 RUNNING_TASK c 2 0 65 RUNNING_TASK c 2 0 66 RUNNING_TASK c 2 0 67 END_OF_TASK_CAPACITY 50 TASK_ACTIVATION 67 WAIT_FOR_RESOURCE 67 RUNNING_TASK c 1 0 68 WAIT_FOR_RESOURCE 68 RUNNING_TASK c 1 0 69 WAIT_FOR_RESOURCE 69 RUNNING_TASK c 1 0 70 END_OF_TASK_CAPACITY 75 TASK_ACTIVATION 70 WAIT_FOR_RESOURCE 71 WAIT_FOR_RESOURCE 72 WAIT_FOR_RESOURCE 73 WAIT_FOR_RESOURCE 74 WAIT_FOR_RESOURCE 75 WAIT_FOR_RESOURCE 75 START_OF_TASK_CAPACITY 75 RUNNING_TASK c 1 0 76 WAIT_FOR_RESOURCE 76 RUNNING_TASK c 1 0 77 ALLOCATE_RESOURCE 77 PREEMPTION 0 77 START_OF_TASK_CAPACITY 77 RUNNING_TASK c 2 0 78 RUNNING_TASK c 2 0 79 RUNNING_TASK c 2 0 80 RUNNING_TASK c 2 0 81 RUNNING_TASK c 2 0 82 END_OF_TASK_CAPACITY 60 TASK_ACTIVATION 82 WAIT_FOR_RESOURCE 82 RUNNING_TASK c 1 0 83 WAIT_FOR_RESOURCE 83 RUNNING_TASK c 1 0 84 WAIT_FOR_RESOURCE 84 RUNNING_TASK c 1 0 85 END_OF_TASK_CAPACITY 90 TASK_ACTIVATION 85 WAIT_FOR_RESOURCE 86 WAIT_FOR_RESOURCE 87 WAIT_FOR_RESOURCE 88 WAIT_FOR_RESOURCE 89 WAIT_FOR_RESOURCE 90 WAIT_FOR_RESOURCE 90 START_OF_TASK_CAPACITY 90 RUNNING_TASK c 1 0 91 WAIT_FOR_RESOURCE 91 RUNNING_TASK c 1 0 92 ALLOCATE_RESOURCE 92 PREEMPTION 0 92 START_OF_TASK_CAPACITY 92 RUNNING_TASK c 2 0 93 RUNNING_TASK c 2 0 94 RUNNING_TASK c 2 0 95 RUNNING_TASK c 2 0 96 RUNNING_TASK c 2 0 97 END_OF_TASK_CAPACITY 70 TASK_ACTIVATION 97 WAIT_FOR_RESOURCE 97 RUNNING_TASK c 1 0 98 WAIT_FOR_RESOURCE 98 RUNNING_TASK c 1 0 99 WAIT_FOR_RESOURCE 99 RUNNING_TASK c 1 0 100 END_OF_TASK_CAPACITY 105 TASK_ACTIVATION 100 WAIT_FOR_RESOURCE 101 WAIT_FOR_RESOURCE 102 WAIT_FOR_RESOURCE 103 WAIT_FOR_RESOURCE 104 WAIT_FOR_RESOURCE 105 WAIT_FOR_RESOURCE 105 START_OF_TASK_CAPACITY 105 RUNNING_TASK c 1 0 106 WAIT_FOR_RESOURCE 106 RUNNING_TASK c 1 0 107 ALLOCATE_RESOURCE 107 PREEMPTION 0 107 START_OF_TASK_CAPACITY 107 RUNNING_TASK c 2 0 108 RUNNING_TASK c 2 0 109 RUNNING_TASK c 2 0 110 RUNNING_TASK c 2 0 111 RUNNING_TASK c 2 0 112 END_OF_TASK_CAPACITY 80 TASK_ACTIVATION 112 WAIT_FOR_RESOURCE 112 RUNNING_TASK c 1 0 113 WAIT_FOR_RESOURCE 113 RUNNING_TASK c 1 0 114 WAIT_FOR_RESOURCE 114 RUNNING_TASK c 1 0 115 END_OF_TASK_CAPACITY 120 TASK_ACTIVATION 115 WAIT_FOR_RESOURCE 116 WAIT_FOR_RESOURCE 117 WAIT_FOR_RESOURCE 118 WAIT_FOR_RESOURCE 119 WAIT_FOR_RESOURCE 120 WAIT_FOR_RESOURCE 120 START_OF_TASK_CAPACITY 120 RUNNING_TASK c 1 0 121 WAIT_FOR_RESOURCE 121 RUNNING_TASK c 1 0 122 ALLOCATE_RESOURCE 122 PREEMPTION 0 122 START_OF_TASK_CAPACITY 122 RUNNING_TASK c 2 0 123 RUNNING_TASK c 2 0 124 RUNNING_TASK c 2 0 125 RUNNING_TASK c 2 0 126 RUNNING_TASK c 2 0 127 END_OF_TASK_CAPACITY 90 TASK_ACTIVATION 127 WAIT_FOR_RESOURCE 127 RUNNING_TASK c 1 0 128 WAIT_FOR_RESOURCE 128 RUNNING_TASK c 1 0 129 WAIT_FOR_RESOURCE 129 RUNNING_TASK c 1 0 130 END_OF_TASK_CAPACITY 135 TASK_ACTIVATION 130 WAIT_FOR_RESOURCE 131 WAIT_FOR_RESOURCE 132 WAIT_FOR_RESOURCE 133 WAIT_FOR_RESOURCE 134 WAIT_FOR_RESOURCE 135 WAIT_FOR_RESOURCE 135 START_OF_TASK_CAPACITY 135 RUNNING_TASK c 1 0 136 WAIT_FOR_RESOURCE 136 RUNNING_TASK c 1 0 137 ALLOCATE_RESOURCE 137 PREEMPTION 0 137 START_OF_TASK_CAPACITY 137 RUNNING_TASK c 2 0 138 RUNNING_TASK c 2 0 139 RUNNING_TASK c 2 0 140 RUNNING_TASK c 2 0 141 RUNNING_TASK c 2 0 142 END_OF_TASK_CAPACITY 100 TASK_ACTIVATION 142 WAIT_FOR_RESOURCE 142 RUNNING_TASK c 1 0 143 WAIT_FOR_RESOURCE 143 RUNNING_TASK c 1 0 144 WAIT_FOR_RESOURCE 144 RUNNING_TASK c 1 0 145 END_OF_TASK_CAPACITY 150 TASK_ACTIVATION 145 WAIT_FOR_RESOURCE 146 WAIT_FOR_RESOURCE 147 WAIT_FOR_RESOURCE 148 WAIT_FOR_RESOURCE 149 WAIT_FOR_RESOURCE 150 WAIT_FOR_RESOURCE 150 START_OF_TASK_CAPACITY 150 RUNNING_TASK c 1 0 151 WAIT_FOR_RESOURCE 151 RUNNING_TASK c 1 0 152 ALLOCATE_RESOURCE 152 PREEMPTION 0 152 START_OF_TASK_CAPACITY 152 RUNNING_TASK c 2 0 153 RUNNING_TASK c 2 0 154 RUNNING_TASK c 2 0 155 RUNNING_TASK c 2 0 156 RUNNING_TASK c 2 0 157 END_OF_TASK_CAPACITY 110 TASK_ACTIVATION 157 WAIT_FOR_RESOURCE 157 RUNNING_TASK c 1 0 158 WAIT_FOR_RESOURCE 158 RUNNING_TASK c 1 0 159 WAIT_FOR_RESOURCE 159 RUNNING_TASK c 1 0 160 END_OF_TASK_CAPACITY 165 TASK_ACTIVATION 160 WAIT_FOR_RESOURCE 161 WAIT_FOR_RESOURCE 162 WAIT_FOR_RESOURCE 163 WAIT_FOR_RESOURCE 164 WAIT_FOR_RESOURCE 165 WAIT_FOR_RESOURCE 165 START_OF_TASK_CAPACITY 165 RUNNING_TASK c 1 0 166 WAIT_FOR_RESOURCE 166 RUNNING_TASK c 1 0