supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504);the Tsinghua University Initiative Scientific Research Program;the National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...