The role of timing analysis in the certification of IMA systems

Over recent years Integrated Modular Avionics (IMA) architectures have been proposed to promote life-cycle cost savings due to the increased reuse of software and interchangeability of standard hardware modules. IMA requires technology transparency to enable smaller evolutionary updates, compared with conventional revolutionary mid-life updates. Technology transparency requires portable code and IMA operating systems, together with flexible application computational models. IMA poses significant problems in the certification questions. This paper considers the role of timing and resource analysis throughout the life-cycle as a method for mitigating the problems of certifying IMA systems