The problem of modeling hardware and software environment of the complex of avionics for stages of design, testing and operation - V. P. Zinchenko; V. A. Tikhomirov; S. V. Zinchenko; A. F. Potapenko; N. I. Brovarskaja (Computer means, networks and systems, 2016)