Operational modeling of automatic flight control system software

In order to model the operation of automatic flight control system software, based upon a set of new concepts including test profile, environmental profile recently presented by us, the technique of developing test profile from mission profile is put forward and illustrated with AFCS-1 automatic flight control system. This technique is presented by decomposing inputs, and assembling after analysis and modeling respectively. Compared with operational profile, this method of modeling, based on the mission of aircrafts, is not only more approximate to the actual instance of software operation, but also similar to the reliability test of hardware, and thus it provides a foundation for integrated reliability test of a system with hardware and software.