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