ARINC 653 partition scheduling analysis

[avrabe]

Context

ARINC 653 defines time/space partitioned real-time operating systems used in IMA (Integrated Modular Avionics). OSATE2 has dedicated partition scheduling analysis.

Requirements

• Partition window scheduling: validate time partition allocations
• Inter-partition communication validation
• Health monitoring configuration validation
• ARINC653 property set support (already partially in standard_properties)

References

• SAE AS5506/1 Annex C (ARINC653 properties)
• OSATE2: bin packing analysis with ARINC653 support

Acceptance criteria

• Partition scheduling validation
• Inter-partition communication checks
• ARINC653 property set complete