An IMA Temporal Partitioning Test Design Based on Partition Scheduling Model

ZHENG Lei,GAO Xiaoguang,ZHANG Guoquan
2012-01-01
Abstract:An Integrated Modular Avionics(IMA) partition scheduling model was built up to support the design of IMA temporal partitioning test.Based on this model,a method to test IMA temporal partitioning was given.Because of interacting with the test application hosted in each partition,the observability of each partition's running state was improved.The possible test results of this method were obtained by using this partition scheduling model,and the timing characters of this method were analyzed according to the simulation test result.
What problem does this paper attempt to address?