Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Table 16
Reschedule information of WAW system (time unit: ms).
| Partitions | Slices (ms) | Offset | Cycle (ms) | Schedule strategy | Taskset | Task | Cycle | Execution time | Deadline |
| Papp | 6 | 0 | 10 | DMS | T1 | 10 | 3 | 10 | T2 | 5 | 1 | 5 | Psys | 4 | 0 | 10 | RMS | T3 | 20 | 2 | 20 | T4 | 10 | 2 | 10 | Papp2 | 2 | 0 | 10 | DMS | T5 | 5 | 1 | 5 | T6 | 3 | 1 | 3 |
|
|