Research Article
Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE
Table 15
Schedule information of WAW system.
| Partitions | Time slice (ms) | Offset | Duration | Schedule strategy | Task sets | 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 |
|
|