The organization of the hardware part of the built-in microprocessor systems, the methodology for designing components of built-in systems on programmable logic according to the model of a software-controlled automatic machine, the methodology for designing application software for built-in systems, focused on the model, allowing to master the development of functional specifications for aircraft engine control systems.