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

Table 14

Reconfiguration table of partition information.

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
4.3	P5	0.08	0.03