The article discusses the executive models use for embedded avionics software complex debug to reduce the design life cycle. Using the Domain Engeneering approaches allowed to expand the usual practice over the limits of stand-alone debug. The goal system model architecture and instruments to support the model buildup in scale of products line are decribed.

Vadim Shishkin

Professor of «Measuring calculating complexes» department, Ulyanovsk State Technical University

Candidate of Engineering, graduated the Radio-technical Faculty of Ulyanovsk Polytechnic Institute, Professor of «Measuring calculating complexes» department in Ulyanovsk State Technical University, author of articles in the field of of development of CAD, intellectual systems, real-time operating systems and embedded systems.

Sergey Elkin

senior programmer, Ulyanovsk Instrumental Manufacturing Design Bureau

graduated the Radio-technical Faculty of Ulyanovsk Polytechnic Institute; senior programmer of Ulyanovsk Instrumental Manufacturing Design Bureau, post-graduated student of UlSTU; author of articles in the field of embedded systems computer aided development.

Kirill Larin

chief designer , Ulyanovsk Instrumental Manufacturing Design Bureau

Candidate of Engineering, graduated the Engineering & Physical Faculty of Leningrad Institute of prisize mechanical and optic, chief designer of Ulyanovsk Instrumental Manufacturing Design Bureau, author of articles in the field of embedded systems computer aided development.