Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE

Table 12

Partition configuration schedule rules.

Window ID	Partition	Window offset	Window duration
1.1	P1	0.00	0.02
4.1	P4	0.02	0.01
2.1	P2	0.03	0.01
3.1	P3	0.04	0.03
4.2	P4	0.07	0.01
1.2	P1	0.1	0.02
4.3	P4	0.12	0.01
2.2	P2	0.13	0.01
3.2	P3	0.14	0.03
4.4	P4	0.17	0.01
5.1	P5	0.18	0.02