RU2764837C1 - Способ испытаний вычислительных устройств систем управления космических аппаратов - Google Patents

Способ испытаний вычислительных устройств систем управления космических аппаратов Download PDF

Info

Publication number
RU2764837C1
RU2764837C1 RU2021101445A RU2021101445A RU2764837C1 RU 2764837 C1 RU2764837 C1 RU 2764837C1 RU 2021101445 A RU2021101445 A RU 2021101445A RU 2021101445 A RU2021101445 A RU 2021101445A RU 2764837 C1 RU2764837 C1 RU 2764837C1
Authority
RU
Russia
Prior art keywords
malfunctions
faults
tests
testing
tested
Prior art date
Application number
RU2021101445A
Other languages
English (en)
Inventor
Дмитрий Александрович Недорезов
Original Assignee
Акционерное общество «Информационные спутниковые системы» имени академика М.Ф.Решетнёва»
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Акционерное общество «Информационные спутниковые системы» имени академика М.Ф.Решетнёва» filed Critical Акционерное общество «Информационные спутниковые системы» имени академика М.Ф.Решетнёва»
Priority to RU2021101445A priority Critical patent/RU2764837C1/ru
Application granted granted Critical
Publication of RU2764837C1 publication Critical patent/RU2764837C1/ru

Links

Classifications

    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B13/00Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion
    • G05B13/02Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric
    • G05B13/04Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric involving the use of models or simulators
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00Computing arrangements based on specific mathematical models

Landscapes

  • Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Artificial Intelligence (AREA)
  • Evolutionary Computation (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Quality & Reliability (AREA)
  • Data Mining & Analysis (AREA)
  • Health & Medical Sciences (AREA)
  • Medical Informatics (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Algebra (AREA)
  • Computational Mathematics (AREA)
  • Automation & Control Theory (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

Изобретение относится к способу испытаний вычислительных устройств (ВУ) систем управления космических аппаратов (КА). Технический результат заключается в повышении надежности испытаний ВУ систем управления КА. В способе полунатурно, на программируемых логических интегральных схемах (ПЛИС) имитируют вспомогательную бортовую аппаратуру (ВБА), которая, в процессе штатной эксплуатации, взаимодействует с испытываемым ВУ; в проекты ПЛИС полунатурных моделей ВБА, реализованные на языках описания аппаратуры, намеренно вносят неисправности, имитирующие нештатные ситуации; затем проводят испытания с целью оценки вероятности обнаружения испытываемым ВУ внесенных в модели ВБА неисправностей; в ходе испытаний, на языках описания аппаратуры создают проект исправной полунатурной модели (ПИПМ) ВБА, имитирующей поведение ее каналов ввода-вывода; записывают получившийся ПИПМ в ПЛИС устройства имитации неисправностей (УИН), содержащего интерфейсные каналы ввода-вывода; проводят испытания на ПИПМ; на языках описания аппаратуры создают проект неисправной полунатурной модели (ПНПМ) ВБА, причем, предусматривают возможность включения/отключения неисправностей без перекомпиляции проекта ПЛИС, в процессе испытаний, при помощи управляющего ПО высокого уровня; записывают получившийся ПНПМ в ПЛИС УИН; при помощи устройства управления процессом испытаний (УУПИ) формируют массив управляющих воздействий, поочередно включающих неисправности, реализованные в ПНПМ и указанные в массиве; проводят такие же испытания на ПНПМ, как и в предыдущем случае с ПИПМ; при помощи УУПИ сравнивают результаты испытаний от ПИПМ и ПНПМ на каждой неисправности из заданного массива, если в процессе испытаний на ПИПМ неисправностей не обнаруживают, а при испытаниях на ПНПМ обнаруживают весь массив внесенных неисправностей, то испытываемое ВУ считают прошедшим испытания; если, в процессе испытаний на ПИПМ, обнаруживают неисправности, то определяют коэффициент первого этапа
Figure 00000005
, где o – количество обнаруженных неисправностей; если, в процессе испытаний на ПНПМ, обнаруживают не все неисправности, то определяют коэффициент второго этапа

Description

Изобретение относится к компьютерным системам, основанным на специфических вычислительных моделях с использованием электронных средств.
Известен способ испытаний электронной аппаратуры на основе аппаратно-программного внесения неисправностей основанного на языках описания аппаратуры (патент США №US8418012 B2). Способ заключается в том, что получают базовый проект испытываемого электронного устройства на языках описания аппаратуры. Создают математические модели неисправностей для конфигурируемой интегральной схемы испытываемого электронного устройства. Описывают эти неисправности на языках описания аппаратуры. Вносят описанные неисправности в базовый проект особой конфигурируемой интегральной схемы испытываемого устройства. Проводят несколько экспериментов по внесению неисправностей, где каждый эксперимент включает неисправность, по крайней мере, одного сигнала.
Недостатками данного способа являются: невозможность имитации неисправностей устройств, не имеющих в своем составе программируемых логических интегральных схем (ПЛИС), по причине того, что неисправности вносятся в ПЛИС самого испытываемого устройства, при этом в составе испытательного комплекса ПЛИС отсутствует; отсутствие возможности управления включением/отключением неисправностей в моделях без перекомпиляций проекта ПЛИС при помощи программного обеспечения (ПО) высокого уровня; отсутствие описания алгоритмов испытаний функции ориентации и стабилизации (ОС) космических аппаратов (КА).
Наиболее близким (прототипом) является способ испытаний электронной аппаратуры и ее управляющего программного обеспечения (патент РФ №2661535), заключающийся в том, что на языках описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение его каналов ввода-вывода и проект модели электронного устройства с неисправностями. Записывают получившиеся проекты модели в программируемую логическую интегральную схему (ПЛИС) устройства имитации неисправностей. Проводят испытания на этой модели. Сравнивают результаты испытаний от исправной и неисправной моделей. Если, в процессе испытаний исправной модели, неисправностей не обнаруживают, а, при испытаниях неисправной, обнаруживают весь массив внесенных неисправностей, то электронную аппаратуру или ее управляющее ПО считают прошедшими испытания.
Недостатком данного способа является отсутствие описания алгоритмов испытаний функции ОС КА.
Для заявленного способа выявлены основные общие с прототипом существенные признаки: способ испытаний вычислительных устройств систем управления космических аппаратов, заключающийся в том, что полунатурно, на ПЛИС, имитируют вспомогательную бортовую аппаратуру (ВБА), которая, в процессе штатной эксплуатации, взаимодействует с испытываемым ВУ; в проекты ПЛИС полунатурных моделей ВБА, реализованные на языках описания аппаратуры, намеренно вносят неисправности, имитирующие нештатные ситуации; затем проводят испытания с целью оценки вероятности обнаружения испытываемым ВУ внесенных в модели ВБА неисправностей; в ходе испытаний, на языках описания аппаратуры создают проект исправной полунатурной модели (ПИПМ) ВБА, имитирующей поведение ее каналов ввода-вывода; записывают получившийся ПИПМ в ПЛИС устройства имитации неисправностей (УИН) содержащего интерфейсные каналы ввода-вывода; проводят испытания на ПИПМ; на языках описания аппаратуры создают проект неисправной полунатурной модели (ПНПМ) ВБА, причем, предусматривают возможность включения/отключения неисправностей без перекомпиляции проекта ПЛИС, в процессе испытаний, при помощи управляющего ПО высокого уровня; записывают получившийся ПНПМ в ПЛИС УИН; при помощи устройства управления процессом испытаний (УУПИ) формируют массив управляющих воздействий поочередно включающих неисправности, реализованные в ПНПМ и указанные в массиве; проводят такие же испытания на ПНПМ, как и в предыдущем случае с ПИПМ; при помощи УУПИ сравнивают результаты испытаний от ПИПМ и ПНПМ на каждой неисправности из заданного массива, если в процессе испытаний на ПИПМ неисправностей не обнаруживают, а при испытаниях на ПНПМ обнаруживают весь массив внесенных неисправностей, то испытываемое ВУ считают прошедшим испытания; если в процессе испытаний на ПИПМ обнаруживают неисправности, то определяют коэффициент первого этапа
Figure 00000001
, где o – количество обнаруженных неисправностей; если в процессе испытаний на ПНПМ обнаруживают не все неисправности, то определяют коэффициент второго этапа
Figure 00000002
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей.
Технической проблемой является недостаточный уровень функциональности, ввиду отсутствия описания алгоритмов испытаний функции ориентации и стабилизации космических аппаратов.
Поставленная техническая проблема изобретения решается тем, что согласно способу испытаний вычислительных устройств систем управления космических аппаратов, полунатурно, на ПЛИС, имитируют ВБА, которая, в процессе штатной эксплуатации, взаимодействует с испытываемым вычислительным устройством. Далее в проекты ПЛИС полунатурных моделей ВБА, реализованные на языках описания аппаратуры, намеренно вносят неисправности, имитирующие нештатные ситуации, а затем проводят испытания с целью оценки вероятности обнаружения испытываемым ВУ внесенных в модели ВБА неисправностей. В ходе испытаний, на языках описания аппаратуры создают ПИПМ ВБА, имитирующей поведение ее каналов ввода-вывода. Далее записывают получившийся ПИПМ ВБА в ПЛИС устройства имитации неисправностей содержащего интерфейсные каналы ввода-вывода и проводят испытания на ПИПМ ВБА. На языках описания аппаратуры создают ПНПМ ВБА, причем, предусматривают возможность включения/отключения неисправностей без перекомпиляции проекта ПЛИС в процессе испытаний, при помощи управляющего ПО высокого уровня. Записывают получившийся ПНПМ в ПЛИС УИН. При помощи УУПИ формируют массив управляющих воздействий поочередно включающих неисправности, реализованные в ПНПМ ВБА и указанные в массиве. Проводят такие же испытания на ПНПМ ВБА, как и в предыдущем случае с ПИПМ ВБА. При помощи УУПИ сравнивают результаты испытаний от ПИПМ и ПНПМ ВБА на каждой неисправности из заданного массива. Если в процессе испытаний на ПИПМ ВБА неисправностей не обнаруживают, а при испытаниях на ПНПМ ВБА обнаруживают весь массив внесенных неисправностей, то испытываемое ВУ считают прошедшим испытания. Если в процессе испытаний на ПИПМ ВБА обнаруживают неисправности, то определяют коэффициент первого этапа
Figure 00000001
, где o – количество обнаруженных неисправностей. Если в процессе испытаний на ПНПМ ВБА обнаруживают не все неисправности, то определяют коэффициент второго этапа
Figure 00000002
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей. Путем выдачи серии команд, от имитационных моделей ВБА, вводят испытываемое ВУ в режим ОС. Далее ВУ инициирует итерацию ОС КА по следующему далее алгоритму. ВУ запрашивает текущее состояние направленности и угловые скорости движения КА от имитационных моделей приборов (ИМП) ОС. ИМП ОС принимают запрос от испытываемого ВУ и анализируют его на предмет адреса устройства на информационной магистрали, с целью определения адресата данной команды. По принятому запросу, соответствующая ИМП ОС, которая определена как адресат данного запроса, на основе математической модели движения КА в пространстве, рассчитывает текущие состояние направленности и угловые скорости движения КА, и выдает их в ВУ. Далее ВУ анализирует полученные данные от ИМП ОС и, на основе результатов анализа, формирует команду управления на включение/отключение необходимых, для ОС, двигателей, что завершает итерацию ОС КА; подобные итерации ОС повторяют многократно, до тех пор, пока КА не сориентируется на заданный ориентир.
Применение вышеописанного алгоритма позволяет испытать функцию ориентации и стабилизации испытываемого вычислительного устройства, что увеличивает функциональность испытаний.
Способ осуществляют следующим образом.
Полунатурно, на ПЛИС, имитируют ВБА, которая, в процессе штатной эксплуатации, взаимодействует с испытываемым ВУ. К такой ВБА могут относиться, например, интерфейсные модули сопряжения (ИМС), которые соединяют испытываемое ВУ с различными системами КА и могут участвовать в процессе ОС. Далее в проекты ПЛИС полунатурных моделей ВБА, реализованные на языках описания аппаратуры, намеренно вносят неисправности, имитирующие нештатные ситуации, а затем проводят испытания с целью оценки вероятности обнаружения или/и парирования испытываемым ВУ внесенных в модели ВБА неисправностей. Например, в функции одного из ИМС входит сбор данных об угловых скоростях измеренных прибором системы ОС и передача полученных данных в испытываемое ВУ. Тогда неисправностью, имитирующей нештатную ситуацию, может быть, например, нарушение соединительного контакта на магистрали передачи данных, ввиду дестабилизирующих факторов космического пространства, например, вибраций, ударов, температурных воздействий и пр. Что может привести к искажению данных, перед их получением, испытываемым ВУ, что и имитируется на полунатурных моделях, причем важно обеспечить функционирование моделей на таких же или более высоких частотах и так же детерминировано (точно и предсказуемо) как это происходит на борту КА, иначе, в большинстве случаев, испытания бортовых ВУ невозможны. Поэтому для полунатурного моделирования, в заявленном способе, применяются ПЛИС, которые отвечают запрашиваемым для адекватных испытаний характеристикам. В то же время, на ПЛИС можно реализовывать любые устройства, требуемые для испытаний, путем простого перепрограммирования, что занимает гораздо меньше времени, чем аппаратное макетирование, которое требует приобретения натуральной компонентной базы электроники и сложного процесса ее монтажа на печатные платы. В ходе испытаний, на языках описания аппаратуры создают ПИПМ ВБА, имитирующий поведение ее каналов ввода-вывода. Далее записывают получившийся ПИПМ ВБА в ПЛИС УИН содержащего интерфейсные каналы ввода-вывода и проводят испытания на ПИПМ ВБА. На языках описания аппаратуры создают ПНПМ ВБА, причем, предусматривают возможность включения/отключения неисправностей без перекомпиляции проекта ПЛИС в процессе испытаний, при помощи управляющего ПО высокого уровня. Это сильно сокращает количество перекомпиляций проектов ПЛИС, которые занимают много времени. Реализовано это тем, что в заявленном способе, в проектах ПЛИС имитационных моделей, предусматривают возможность включения/отключения каждой отдельной неисправности путем введения программируемой логической структуры «ЕСЛИ», которая управляется ПО высокого уровня, путем формирования массива управляющих воздействии включения/отключения. Записывают получившийся ПНПМ в ПЛИС УИН. При помощи УУПИ формируют массив управляющих воздействий поочередно включающих неисправности, реализованные в ПНПМ и указанные в массиве. Проводят такие же испытания на ПНПМ, как и в предыдущем случае с ПИПМ. При помощи УУПИ сравнивают результаты испытаний от ПИПМ и ПНПМ ВБА на каждой неисправности из заданного массива. Если в процессе испытаний на ПИПМ ВБА неисправностей не обнаруживают, а при испытаниях на ПНПМ ВБА обнаруживают весь массив внесенных неисправностей, то испытываемое ВУ считают прошедшим испытания. Если в процессе испытаний на ПИПМ ВБА обнаруживают неисправности, то определяют коэффициент первого этапа
Figure 00000001
, где o – количество обнаруженных неисправностей. Если в процессе испытаний на ПНПМ ВБА обнаруживают не все неисправности, то определяют коэффициент второго этапа
Figure 00000002
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей. Путем выдачи серии команд, от имитационных моделей ВБА, вводят испытываемое ВУ в режим ОС. ВУ инициирует итерацию ОС КА по следующему далее алгоритму. ВУ запрашивает текущее состояние направленности и угловые скорости движения КА от ИМП ОС. В рамках заявленного способа, ИМП ОС и ВБА, хоть и являются полунатурными имитационными моделями одного типа, но намеренно выделены в разные сущности для упрощения описания алгоритмов испытаний. ИМП ОС принимают запрос от испытываемого ВУ и анализируют его на предмет адреса устройства на информационной магистрали, с целью определения адресата данной команды. В качестве информационной магистрали может быть использована, например, ГОСТ Р 52070-2003 или любая другая подходящая для задач испытаний. По принятому запросу, соответствующая ИМП ОС, которая определена как адресат данного запроса, на основе математической модели движения КА в пространстве, рассчитывает текущие состояние направленности и угловые скорости движения КА, и выдает их в ВУ. Далее ВУ анализирует полученные данные от ИМП ОС и, на основе результатов анализа, формирует команду управления на включение/отключение необходимых, для ОС, двигателей, что завершает итерацию ОС КА. Математическая модель движения КА реализуется в УУПИ на языках высокого уровня или в ИМП ОС на языках описания аппаратуры. Подобные итерации ОС повторяют многократно, до тех пор, пока КА не сориентируется на заданный ориентир. Ориентиром может быть, например, Солнце или другие звезды.
Необходимо отметить, что, в рамках заявленного способа испытаний ВУ систем управления КА, имеющих функцию ОС, модели на ПЛИС функционируют как «Черный ящик», лишь функционально имитируя поведение каналов ввода-вывода электронных устройств или их частей, при этом ставится задачей максимально адекватно воспроизвести входные и выходные сигналы по временным параметрам, для обеспечения взаимодействия с натуральным ВУ, подключенным к данным каналам в процессе испытаний. Внутренняя реализация моделей на ПЛИС имеет лишь отдаленную схожесть с внутренней реализацией имитируемой ВБА.
УУПИ реализовано в крейт–шасси (например, https://www.ni.com/ru-ru/support/model.pxie-1075.html), управляемом встроенным контроллером, к которому подключаются манипуляторы (мышь и клавиатура). Данные о процессе испытаний выводятся на монитор. Управление встроенным контроллером обеспечивает операционная система и пакет прикладных программ. Также, при помощи пакета прикладных программ, задается массив неисправностей для ПНПМ ВБА. Данные, полученные в процессе испытаний, протоколируются, и результаты сравниваются. Вычисляются коэффициенты покрытия неисправностей проведенных испытаний R1 и R2. УИН в модульном исполнении, содержащее ПЛИС и каналы ввода-вывода для соединения с устройством управления, встраивают в крейт–шасси устройства управления.
Таким образом, техническим результатом заявленного способа является повышение функциональности испытаний вычислительных устройств за счёт содержания алгоритма испытания функции ориентации и стабилизации испытываемого вычислительного устройства.

Claims (1)

  1. Способ испытаний вычислительных устройств (ВУ) систем управления космических аппаратов (КА), заключающийся в том, что полунатурно, на программируемых логических интегральных схемах (ПЛИС) имитируют вспомогательную бортовую аппаратуру (ВБА), которая в процессе штатной эксплуатации взаимодействует с испытываемым ВУ; в проекты ПЛИС полунатурных моделей ВБА, реализованные на языках описания аппаратуры, намеренно вносят неисправности, имитирующие нештатные ситуации; затем проводят испытания с целью оценки вероятности обнаружения испытываемым ВУ внесенных в модели ВБА неисправностей; в ходе испытаний, на языках описания аппаратуры создают проект исправной полунатурной модели (ПИПМ) ВБА, имитирующей поведение ее каналов ввода-вывода; записывают получившийся ПИПМ в ПЛИС устройства имитации неисправностей (УИН), содержащего интерфейсные каналы ввода-вывода; проводят испытания на ПИПМ; на языках описания аппаратуры создают проект неисправной полунатурной модели (ПНПМ) ВБА, причем, предусматривают возможность включения/отключения неисправностей без перекомпиляции проекта ПЛИС, в процессе испытаний, при помощи управляющего ПО высокого уровня; записывают получившийся ПНПМ в ПЛИС УИН; при помощи устройства управления процессом испытаний (УУПИ) формируют массив управляющих воздействий, поочередно включающих неисправности, реализованные в ПНПМ и указанные в массиве; проводят такие же испытания на ПНПМ, как и в предыдущем случае с ПИПМ; при помощи УУПИ сравнивают результаты испытаний от ПИПМ и ПНПМ на каждой неисправности из заданного массива, если в процессе испытаний на ПИПМ неисправностей не обнаруживают, а при испытаниях на ПНПМ обнаруживают весь массив внесенных неисправностей, то испытываемое ВУ считают прошедшим испытания; если, в процессе испытаний на ПИПМ, обнаруживают неисправности, то определяют коэффициент первого этапа
    Figure 00000003
    , где o – количество обнаруженных неисправностей; если, в процессе испытаний на ПНПМ, обнаруживают не все неисправности, то определяют коэффициент второго этапа
    Figure 00000004
    , где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей, отличающийся тем, что в ходе вышеописанных испытаний, путем выдачи серии команд от имитационных моделей ВБА вводят испытываемое ВУ в режим ориентации и стабилизации (ОС); далее ВУ инициирует итерацию ОС КА по следующему далее алгоритму; ВУ запрашивает текущее состояние направленности и угловые скорости движения КА от имитационных моделей приборов (ИМП) ОС; ИМП ОС принимают запрос от испытываемого ВУ и анализируют его на предмет адреса устройства на информационной магистрали, с целью определения адресата данной команды; по принятому запросу, соответствующая ИМП ОС, которая определена как адресат данного запроса, на основе математической модели движения КА в пространстве рассчитывает текущие состояние направленности и угловые скорости движения КА и выдает их в ВУ; далее ВУ анализирует полученные данные от ИМП ОС и, на основе результатов анализа, формирует команду управления на включение/отключение необходимых для ОС двигателей, что завершает итерацию ОС КА; подобные итерации ОС повторяют многократно, до тех пор, пока КА не сориентируется на заданный ориентир.
RU2021101445A 2021-01-25 2021-01-25 Способ испытаний вычислительных устройств систем управления космических аппаратов RU2764837C1 (ru)

Priority Applications (1)

Application Number Priority Date Filing Date Title
RU2021101445A RU2764837C1 (ru) 2021-01-25 2021-01-25 Способ испытаний вычислительных устройств систем управления космических аппаратов

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
RU2021101445A RU2764837C1 (ru) 2021-01-25 2021-01-25 Способ испытаний вычислительных устройств систем управления космических аппаратов

Publications (1)

Publication Number Publication Date
RU2764837C1 true RU2764837C1 (ru) 2022-01-21

Family

ID=80445295

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2021101445A RU2764837C1 (ru) 2021-01-25 2021-01-25 Способ испытаний вычислительных устройств систем управления космических аппаратов

Country Status (1)

Country Link
RU (1) RU2764837C1 (ru)

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8418012B2 (en) * 2010-09-21 2013-04-09 Ansaldo Sts Usa, Inc. Method of analyzing the safety of a device employing on target hardware description language based fault injection
RU2549523C1 (ru) * 2014-04-29 2015-04-27 Открытое акционерное общество "Информационные спутниковые системы " имени академика М.Ф. Решетнева" Способ мутационного тестирования радиоэлектронной аппаратуры и ее управляющего программного обеспечения
EP2801872B1 (de) * 2013-05-06 2018-06-06 dSPACE digital signal processing and control engineering GmbH Testeinrichtung zum Test eines virtuellen Steuergeräts
RU2661535C1 (ru) * 2017-06-14 2018-07-17 Российская Федерация, от имени которой выступает Государственная корпорация по космической деятельности "РОСКОСМОС" Способ мутационного тестирования электронной аппаратуры и ее управляющего программного обеспечения с определением локализации мутаций
RU2717630C1 (ru) * 2019-04-03 2020-03-24 Акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнёва" Способ определения достаточности контроля электронной аппаратуры в режиме внесения неисправностей
RU2725783C1 (ru) * 2019-02-19 2020-07-06 Акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнёва" Способ испытаний электронной аппаратуры на основе аппаратно-программного внесения неисправностей с маршрутизацией

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8418012B2 (en) * 2010-09-21 2013-04-09 Ansaldo Sts Usa, Inc. Method of analyzing the safety of a device employing on target hardware description language based fault injection
EP2801872B1 (de) * 2013-05-06 2018-06-06 dSPACE digital signal processing and control engineering GmbH Testeinrichtung zum Test eines virtuellen Steuergeräts
RU2549523C1 (ru) * 2014-04-29 2015-04-27 Открытое акционерное общество "Информационные спутниковые системы " имени академика М.Ф. Решетнева" Способ мутационного тестирования радиоэлектронной аппаратуры и ее управляющего программного обеспечения
RU2661535C1 (ru) * 2017-06-14 2018-07-17 Российская Федерация, от имени которой выступает Государственная корпорация по космической деятельности "РОСКОСМОС" Способ мутационного тестирования электронной аппаратуры и ее управляющего программного обеспечения с определением локализации мутаций
RU2725783C1 (ru) * 2019-02-19 2020-07-06 Акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнёва" Способ испытаний электронной аппаратуры на основе аппаратно-программного внесения неисправностей с маршрутизацией
RU2717630C1 (ru) * 2019-04-03 2020-03-24 Акционерное общество "Информационные спутниковые системы" имени академика М.Ф. Решетнёва" Способ определения достаточности контроля электронной аппаратуры в режиме внесения неисправностей

Similar Documents

Publication Publication Date Title
Civera et al. An FPGA-based approach for speeding-up fault injection campaigns on safety-critical circuits
US7478346B2 (en) Debugging system for gate level IC designs
Deb et al. QSI's integrated diagnostics toolset
JP3872954B2 (ja) 有限状態機械を識別して回路設計を検査するシステムおよび方法
US9606902B2 (en) Malfunction influence evaluation system and evaluation method using a propagation flag
CN112799312A (zh) 自导航无人飞行器测试方法及系统、通信设备和存储介质
Podivinsky et al. Functional verification based platform for evaluating fault tolerance properties
CN117461259A (zh) 可测试的时间到数字转换器
CN104281509B (zh) 多层现场可编程门阵列硬件要求评估和验证
RU2448363C1 (ru) Комплекс отладки
RU2764837C1 (ru) Способ испытаний вычислительных устройств систем управления космических аппаратов
RU2549523C1 (ru) Способ мутационного тестирования радиоэлектронной аппаратуры и ее управляющего программного обеспечения
Nunes et al. FIRED--Fault Injector for Reconfigurable Embedded Devices
Lojda et al. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation
CN113454471A (zh) 用于多个链缺陷的单次通过诊断
US7703054B2 (en) Circuit emulation and debugging method
Hahanov et al. Embedded method of SoC diagnosis
RU2717630C1 (ru) Способ определения достаточности контроля электронной аппаратуры в режиме внесения неисправностей
Wagner Failure mode testing tool set for automotive electronic controllers
Song The Test and Launch Control Technology for Launch Vehicles
Fibich et al. A fpga-based demonstrator for safety-critical applications
US20210383047A1 (en) Guiding sample size choice in analog defect or fault simulation
Hahanov et al. Algebra-logical diagnosis model for SoC F-IP
US20220245308A1 (en) Method and system for carrying out a simulation
EP3642637B1 (en) System and method for formal fault propagation analysis