Промышленная Сибирь Ярмарка Сибири Промышленность СФО Электронные торги НОУ-ХАУ Электронные магазины Карта сайта
 
Ника
Ника
 

Поиск патентов

Как искать?
Реферат
Название
Публикация
Регистрационный номер
Имя заявителя
Имя изобретателя
Имя патентообладателя

    





Оформить заказ и задать интересующие Вас вопросы Вы можете напрямую c 6-00 до 14-30 по московскому времени кроме сб, вс. whatsapp 8-950-950-9888

На данной странице представлена ознакомительная часть выбранного Вами патента

Для получения более подробной информации о патенте (полное описание, формула изобретения и т.д.) Вам необходимо сделать заказ. Нажмите на «Корзину»


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

Номер публикации патента: 2454706

Вид документа: C2 
Страна публикации: RU 
Рег. номер заявки: 2010114707/08 
  Сделать заказПолучить полное описание патента

Редакция МПК: 
Основные коды МПК: G06F011/36    
Аналоги изобретения: MICHAEL W. SHAPIRO "RDB: A system for incremental replay debugging", 07.1997. RU 2220442 C2, 27.12.2003. JONG-DEOK CHOI "TECHNIQUES FOR DEBUGGING PARALLEL PROGRAMS WITH FLOWBACK ANALYSIS", 1991. US 20040078784 A1, 22.04.2004. 

Имя заявителя: ЭРБЮС ОПЕРАСЬОН (С.А.С) (FR) 
Изобретатели: РАНДИМБИВОЛОЛОНА Фамантанантсоа (FR)
ФУРНЬЕ Флоран (FR)
ЛЁМЁР Филипп (FR)
БРЕЖЕОН Венсан (FR) 
Патентообладатели: ЭРБЮС ОПЕРАСЬОН (С.А.С) (FR) 
Приоритетные данные: 14.09.2007 FR 0757608 

Реферат


Изобретение относится к области обеспечения безопасности функционирования бортовой электронной системы. Техническим результатом является повышение надежности функционирования бортовой системы за счет повышения эффективности отладки программного обеспечения со сложной логикой. Способ отладки заключается в структурированном выполнении программы путем функциональной разметки нормального пути выполнения при помощи векторов состояния меток на функциональные блоки, а при обнаружении ошибки выполнять поиск функционального интервала нарушения на основании векторов состояния меток, обратное выполнение программы в этом функциональном интервале нарушения и определение и исправление ошибки. Устройство, моделирующее работу бортовой системы, содержащее процессор, осуществляющий способ отладки. 3 н. и 7 з.п. ф-лы, 3 ил.

Дирекция сайта "Промышленная Сибирь"
Россия, г.Омск, ул.Учебная, 199-Б, к.408А
Сайт открыт 01.11.2000
© 2000-2018 Промышленная Сибирь
Разработка дизайна сайта:
Дизайн-студия "RayStudio"