СПОСОБ ОТЛАДКИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ЕГО ОСУЩЕСТВЛЕНИЯ

1. Способ отладки функционального программного обеспечения бортовой системы, включающий следующие этапы:
разметка (31) программы путем установки меток вдоль пути выполнения программы для разбивки указанного пути выполнения на смежные функциональные интервалы,
нормальное выполнение (32) программы,
выделение (33) состояния выполнения программы при помощи векторов состояния меток,
при обнаружении ошибки выполняют:
поиск (36) функционального интервала нарушения на основании векторов состояния меток,
обратное выполнение (41) программы в этом функциональном интервале нарушения,
определение и исправление ошибки (42).
2. Способ по п.1, характеризующийся тем, что ошибку обнаруживают, когда обнаруживают остановку программы в результате прекращения выполнения операции процессором.
3. Способ по п.1 или 2, характеризующийся тем, что содержит операцию уточнения функционального интервала, в котором находится ошибка.
4. Способ по п.3, характеризующийся тем, что операция уточнения функционального интервала содержит определение дополнительных меток входа и выхода и/или промежуточных меток.
5. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляется автоматически.
6. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляют интерактивно с вмешательством разработчика.
7. Способ по п.1, характеризующийся тем, что содержит этап записи положения каждой метки и данных о состоянии выполнения программы в файл результатов материнской платы.
8. Устройство, моделирующее работу бортовой системы, установленной на борту летательного аппарата, характеризующееся тем, что содержит процессор (2), осуществляющий способ по любому из пп.1-7.
9. Устройство по п.8, характеризующееся тем, что процессор (2) виртуально смоделирован на материнской плате тестирования и отладки.
10. Рабочая программа для бортовой системы летательного аппарата, загружаемая в блок (1) управления, содержащая последовательности команд для осуществления способа по любому из пп.1-7, когда программа загружена в блок и выполняется.