Towards a scheduling and timing analysis solution for integrated modular avionic systems

Integrated modular avionics (IMA) aims to provide highly flexible, reliable and integrated solutions for future aircraft systems which can readily exploit new advances in processor and networking technologies. In this paper, we discuss the problems involved in the provision of appropriate scheduling and timing analysis techniques for IMA systems and suggest a potential solution.