Imitation models of algorithms of identification of technical objects possess a high level of formalization and consequently are a universal mathematical apparatus that allows developing software for automated systems of control and diagnosis of aerospace objects. The structure of computer programs almost completely coincides with the structure of imitation models of algorithms for processing of flight information. It allows to offer new principles and methods for development of software for such automated systems. Programs are formed in a symbolical space of conditional addresses of allocation of results of measurements of flight information. The architecture of computer programs is coordinated with the structure of algorithms and can be flexibly adjusted depending on the character of the problem being solved. These principles have been used for development of programs realizing parallel modes for processing of flight information.