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