Изобретение относится к способам обработки цифровых данных с помощью электрических устройств для обнаружения и исправления ошибок.
Известен способ испытаний электронной аппаратуры на основе аппаратно-программного внесения неисправностей основанного на языках описания аппаратуры (патент США №US8418012 B2). Способ применим для разработки бортовых электронных устройств (БЭУ) и заключается в том, что получают базовый проект испытываемого электронного устройства на языках описания аппаратуры. Создают математические модели неисправностей для конфигурируемой интегральной схемы испытываемого электронного устройства. Описывают эти неисправности на языках описания аппаратуры. Вносят описанные неисправности в базовый проект особой конфигурируемой интегральной схемы испытываемого устройства. Проводят несколько экспериментов по внесению неисправностей, где каждый эксперимент включает неисправность, по крайней мере, одного сигнала.
Недостатками данного способа являются: невозможность имитации неисправностей устройств, не имеющих в своем составе программируемых логических интегральных схем (ПЛИС), по причине того, что неисправности вносятся в ПЛИС самого испытываемого устройства, при этом в составе испытательного комплекса ПЛИС отсутствует; отсутствие возможности управления включением/отключением неисправностей в моделях без перекомпиляций проекта ПЛИС при помощи программного обеспечения (ПО) высокого уровня. Перечисленные недостатки не позволяют обнаруживать некоторые неисправности разрабатываемых бортовых электронных устройств (БЭУ), что не позволяет исправлять их путем доработки, что обуславливает низкие живучесть, безотказность и долговечность разрабатываемых БЭУ.
Согласно ГОСТ 27.002.89, живучесть – это свойство объекта, состоящее в его способности противостоять развитию критических отказов из-за дефектов и повреждений при установленной системе технического обслуживания и ремонта, или сохранять ограниченную работоспособность при воздействиях, не предусмотренных условиями эксплуатации, или сохранять ограниченную работоспособность при наличии дефектов или повреждений определенного вида, а также при отказе некоторых компонентов.
Согласно ГОСТ 27.002-2015, безотказность – это свойство объекта непрерывно сохранять способность выполнять требуемые функции в течение некоторого времени или наработки в заданных режимах и условиях применения.
Согласно ГОСТ 27.002-2015, долговечность – это свойство объекта, заключающееся в его способности выполнять требуемые функции в заданных режимах и условиях использования, технического обслуживания и ремонта до достижения предельного состояния.
Известен способ эмуляции внесения неисправностей для систем на ПЛИС, описанный в статье (Fault Injection Emulation for Systems in FPGAs: Tools, Techniques and Methodology, a Tutorial [Электронный ресурс] // Сайт института Multidisciplinary Digital Publishing Institute. 2024. URL: https://www.mdpi.com/1424-8220/21/4/1392). Способ применим для разработки БЭУ и заключается в том, что получают базовый проект испытываемого электронного устройства на языках описания аппаратуры. Создают математические модели неисправностей для конфигурируемой интегральной схемы испытываемого электронного устройства. Описывают эти неисправности на языках описания аппаратуры. Вносят описанные неисправности в ПЛИС. Проводят несколько экспериментов по внесению неисправностей, где каждый эксперимент включает неисправность, по крайней мере, одного сигнала.
Недостатком данного способа является невозможность имитации электрорадиоизделий (ЭРИ) не реализованных на кристаллах, в том числе невозможность имитации неисправностей таких ЭРИ. Указанный недостаток не позволяет обнаруживать некоторые неисправности разрабатываемых БЭУ, что не позволяет исправлять их путем доработки, что обуславливает низкие живучесть, безотказность и долговечность разрабатываемых БЭУ.
Наиболее близким (прототипом) является способ мутационного тестирования электронной аппаратуры и ее управляющего ПО с определением локализации мутаций (патент РФ №2661535).
Недостатком данного способа является отсутствие описания алгоритмов применения, в составе моделей на ПЛИС, блоков описания аппаратуры из состава разрабатываемых БЭУ космических аппаратов (КА).
Для заявленного способа выявлены основные общие с прототипом существенные признаки: разрабатывают БЭУ; далее на аппаратных средствах ПЛИС, встроенной в устройство управления процессом испытаний (УУПИ), разрабатывают исправную модель части разрабатываемого (МЧР) БЭУ имитирующую поведение его каналов ввода-вывода; при помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий управляющие воздействия (УВ) по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ; далее, при помощи части БЭУ, которая не имитируется на МЧР БЭУ, выдают в исправную МЧР БЭУ электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями; далее считывают электрический сигнал от исправной МЧР БЭУ на ПЛИС, содержащий ответные реакции (ОР) и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС по тем же электрическим интерфейсам; УВ и соответствующие им ОР заносят в протокол при помощи УУПИ; на аппаратных средствах ПЛИС, встроенной в УУПИ, разрабатывают неисправную МЧР БЭУ путем реализации и внесения неисправностей, необходимых для контроля правильности функционирования алгоритмов обеспечения живучести разрабатываемого БЭУ; предусматривают возможность включения и выключения внесенных неисправностей в процессе контроля без перекомпиляции проекта ПЛИС, при помощи подачи УВ; на каждой комбинации активированных неисправностей проводят следующую процедуру контроля функционирования алгоритмов живучести разрабатываемого БЭУ; при помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий УВ по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ; далее, при помощи части БЭУ, которая не имитируется на ПЛИС, выдают в неисправную МЧР БЭУ, электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями; далее считывают электрический сигнал от неисправной МЧР БЭУ на ПЛИС, содержащий ОР и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС по тем же электрическим интерфейсам; УВ и соответствующие им ОР заносят в протокол при помощи УУПИ; далее сравнивают результаты экспериментов от исправной и неисправной МЧР БЭУ на каждой комбинации активированных неисправностей; если в процессе испытаний исправной МЧР БЭУ неисправностей не обнаруживают, а при испытаниях неисправной МЧР БЭУ обнаруживают все внесенные неисправности, то разрабатываемое БЭУ считают прошедшим контроль и передают в эксплуатацию по целевому назначению; если в процессе испытаний исправной МЧР БЭУ обнаруживают неисправности, то определяют коэффициент первого этапа, где o – количество обнаруженных неисправностей; если в процессе испытаний неисправной МЧР БЭУ обнаруживают не все неисправности, то определяют коэффициент второго этапа
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей; разрабатываемое БЭУ дорабатывают с целью устранения факторов, вызвавших неправильное функционирование алгоритмов и/или средств обеспечения живучести и снова проводят итерацию контроля, состоящую из этапа проверки на исправной МЧР БЭУ и этапа проверки на неисправной МЧР БЭУ; итерации доработки и контроля разрабатываемого БЭУ проводят до тех пор, пока алгоритмы и/или средства обеспечения живучести не станут функционировать с требуемым уровнем безотказности.
Технической проблемой прототипа являются низкие живучесть, безотказность и долговечность разрабатываемых БЭУ КА, ввиду низкой адекватности разрабатываемых МЧР БЭУ при проведении наземных экспериментов по контролю алгоритмов и средств обеспечения живучести разрабатываемых БЭУ, что делает невозможным обнаружение некоторых неисправностей алгоритмов и средств обеспечения живучести и, следовательно, исправлять их путем доработки разрабатываемых БЭУ, что напрямую влияет на живучесть, безотказность и долговечность разрабатываемых БЭУ.
В рамках данной заявки на изобретение, адекватность моделей – это их схожесть с объектами-прототипами, которые они моделируют (имитируют), а именно с БЭУ КА.
Поставленная техническая проблема изобретения решается тем, что разрабатывают БЭУ. Далее на аппаратных средствах ПЛИС, встроенной в УУПИ, разрабатывают исправную МЧР БЭУ имитирующую поведение его каналов ввода-вывода. При помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий УВ по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ. Далее, при помощи части БЭУ, которая не имитируется на МЧР БЭУ, выдают в исправную МЧР БЭУ электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями. Далее считывают электрический сигнал от исправной МЧР БЭУ на ПЛИС, содержащий ОР и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС по тем же электрическим интерфейсам. УВ и соответствующие им ОР заносят в протокол при помощи УУПИ. На аппаратных средствах ПЛИС, встроенной в УУПИ, разрабатывают неисправную МЧР БЭУ путем реализации и внесения неисправностей, необходимых для контроля правильности функционирования алгоритмов обеспечения живучести разрабатываемого БЭУ. Предусматривают возможность включения и выключения внесенных неисправностей в процессе контроля без перекомпиляции проекта ПЛИС, при помощи подачи УВ. На каждой комбинации активированных неисправностей проводят следующую процедуру контроля функционирования алгоритмов живучести разрабатываемого БЭУ. При помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий УВ по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ. Далее, при помощи части БЭУ, которая не имитируется на ПЛИС, выдают в неисправную МЧР БЭУ, электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями. Далее считывают электрический сигнал от неисправной МЧР БЭУ на ПЛИС, содержащий ОР и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС по тем же электрическим интерфейсам. УВ и соответствующие им ОР заносят в протокол при помощи УУПИ. Далее сравнивают результаты экспериментов от исправной и неисправной МЧР БЭУ на каждой комбинации активированных неисправностей. Если в процессе испытаний исправной МЧР БЭУ неисправностей не обнаруживают, а при испытаниях неисправной МЧР БЭУ обнаруживают все внесенные неисправности, то разрабатываемое БЭУ считают прошедшим контроль и передают в эксплуатацию по целевому назначению. Если в процессе испытаний исправной МЧР БЭУ обнаруживают неисправности, то определяют коэффициент первого этапа, где o – количество обнаруженных неисправностей. Если в процессе испытаний неисправной МЧР БЭУ обнаруживают не все неисправности, то определяют коэффициент второго этапа
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей. Разрабатываемое БЭУ дорабатывают с целью устранения факторов, вызвавших неправильное функционирование алгоритмов и/или средств обеспечения живучести и снова проводят итерацию контроля, состоящую из этапа проверки на исправной МЧР БЭУ и этапа проверки на неисправной МЧР БЭУ. Итерации доработки и контроля разрабатываемого БЭУ проводят до тех пор, пока алгоритмы и/или средства обеспечения живучести не станут функционировать с требуемым уровнем безотказности. При разработке МЧР БЭУ на ПЛИС, используют в них целевые блоки описания аппаратуры из состава разрабатываемого БЭУ КА.
Способ осуществляют следующим образом.
Разрабатывают БЭУ. Разработка заключается в анализе технического задания, проектировании электрических схем, монтаже электрорадиоизделий и прочее. На языках описания аппаратуры создают проект ПЛИС исправной модели части разрабатываемого (МЧР) БЭУ, имитирующей поведение его каналов ввода-вывода, связывающих его с УУПИ и с частью разрабатываемого БЭУ, которая не моделируется на ПЛИС, а применяется в натурном (штатном) виде. Таким образом, объектом контроля являются алгоритмы и средства обеспечения живучести, реализованные в части разрабатываемого БЭУ, которая применяется в натурном исполнении для проведения наземных экспериментов. Например, частью БЭУ, не имитируемой на ПЛИС может быть бортовое вычислительное устройство, конструктивно выполненное в виде отдельного аппаратного блока, тогда электрическим интерфейсом может быть, например, ГОСТ Р 52070-2003 (мультиплексный канал информационного обмена). Тогда в ходе наземных экспериментов из УУПИ выдаются УВ на это вычислительное устройство (не моделируемая часть БЭУ) по интерфейсу ГОСТ Р 52070-2003, который возможно реализовать, например, на модуле Элкус TA1-3U-CPCI (http://www.elcus.ru/boards.php?ID=ta1-3u-cpci). Вычислительное устройство, в свою очередь, выдает УВ в МЧР БЭУ на ПЛИС, например по интерфейсу основанному на LVDS. Затем ОР передаются в виде электрических сигналов по обратной цепочке: МЧР БЭУ на ПЛИС – вычислительное устройство – УУПИ. В МЧР БЭУ на ПЛИС реализуются неисправности, например, изменение номинала сопротивления резистора в следствие дестабилизирующих факторов космического пространства, что не позволяет правильно сформировать ОР от МЧР БЭУ (что имитируется при помощи изменения поведения каналов вывода МЧР БЭУ на ПЛИС). То есть имитируют неисправность ОР от МЧР БЭУ, что активирует, например, алгоритм обеспечения живучести, заложенный в вычислительном устройстве, заключающийся в попытках повторной выдачи УВ, которое не прошло и только так возможно проверить правильность функционирования алгоритмов и средств обеспечения живучести сложных БЭУ, функционирующих на высоких частотах и чувствительных к времени отклика точно вовремя (временной детерминизм). На борту КА МЧР БЭУ реализовано в виде аппаратных блоков, содержащих не только ПЛИС, но и другую ЭКБ: конденсаторы, резисторы, диоды, микросхемы и пр. Записывают получившийся проект в ПЛИС, встроенную в аппаратный модуль, содержащий интерфейсные каналы ввода-вывода реализующие необходимый интерфейс обмена данными между аппаратурой. Например, PXIe-7954R с установленным адаптером NI-6585, реализуют интерфейсы на основе LVDS (https://www.ni.com/en/shop/electronic-test-instrumentation/flexrio/what-is-flexrio/components-of-a-flexrio-system-with-modular-i-o.html). Эти модули возможно встроить в крейт-шасси, например, в PXIe-1086DC (https://www.ni.com/ru-ru/shop/model/pxie-1086dc.html), тогда УУПИ возможно реализовать, например, в крейт-контроллере PXIe-8862 (https://www.ni.com/ru-ru/shop/model/pxie-8862.html). К крейт-контроллеру подключаются манипуляторы (мышь и клавиатура), данные о процессе испытаний выводятся на монитор. Реализация модели на ПЛИС позволяет исключить моделирование временных промежутков, так как современные ПЛИС поддерживают такой же уровень скоростей функционирования, как и аппаратура, создаваемая для конечного потребителя, имеющая исключительно аппаратную реализацию. В то же время на ПЛИС можно реализовывать любые устройства, требуемые для испытаний, путем перепрограммирования, что занимает гораздо меньше времени, чем аппаратное макетирование, которое требует приобретения натуральной электронной компонентной базы (ЭКБ) и сложного процесса ее монтажа на печатные платы. Например, в имитационных моделях на ПЛИС можно имитировать ЭКБ БЭУ, которая в штатном исполнении не реализована на ПЛИС, например, реле, конденсаторы и пр. При появлении неисправностей подобной ЭКБ изменится поведение каналов ввода-вывода имитируемого БЭУ КА, что и имитируется при помощи моделей на ПЛИС. Так же, в случае если имитируемое БЭУ КА, имеет в своем составе составляющие, реализованные на языках описания аппаратуры (то есть целевые проекты ПЛИС), то возможно встроить их в проекты ПЛИС моделей, которые так же реализованы на языках аппаратуры, что поднимет уровень адекватности моделей, т.к. в части заимствованных блоков описания аппаратуры (IP-блоков), модели станут абсолютно адекватны (идентичны) разрабатываемому БЭУ. Подобное встраивание поддерживается современными системами описания аппаратуры, например, технология IP-integration node в National Instruments LabVIEW, примененная автором для апробации и осуществления предлагаемого, в рамках данной заявки, способа разработки БЭУ КА. Далее проводят испытания на этой МЧР БЭУ (не содержащей неисправностей). Результаты испытаний автоматически заносят в протокол устройством управления процессом испытаний. Далее, на языках описания аппаратуры, создают проект МЧР БЭУ с неисправностями, причем предусматривают возможность их включения/выключения в процессе испытаний, при помощи управляющего ПО высокого уровня, что сильно сокращает количество перекомпиляций проектов ПЛИС. В предлагаемом способе в проекте ПЛИС модели предусматривают возможность включения/выключения каждой отдельной неисправности путем введения программируемой логической структуры «ЕСЛИ», которая управляется ПО высокого уровня формированием массива управляющих воздействии включения/выключения. ПО высокого уровня реализовано в УУПИ и функционирует под управлением операционной системы, например, Windows. Подход к созданию моделей БЭУ КА, содержащих неисправности остается таким же, как описано выше, для создания моделей без неисправностей. То есть имеется возможность имитации неисправностей ЭКБ, не реализованной на ПЛИС в БЭА КА, а так же имеется возможность заимствования блоков описания аппаратуры (целевых) из состава БЭУ КА для поднятия уровня адекватности моделей на ПЛИС, что позволяет более адекватно (в сравнении со способом-прототипом) воспроизводить на Земле бортовые нештатные ситуации и, следовательно, более вероятно обнаруживать отказы (неисправности) бортовых алгоритмов и средств обеспечения живучести. Далее записывают получившийся проект в тот же модуль с ПЛИС (PXIe-7954R). При помощи устройства УУПИ формируют массив управляющих воздействий автоматически поочередно включающих неисправности, реализованные в модели и указанные в массиве. Проводят испытания на этой модели. Результаты испытаний автоматически заносят в протокол УУПИ. При помощи УУПИ, сравнивают результаты испытаний от исправной и неисправной моделей на каждой неисправности из заданного массива. Если в процессе испытаний исправной модели неисправностей не обнаружено, а также обнаружен весь массив внесенных неисправностей в неисправную модель, то аппаратура считается прошедшей испытания. Если в процессе испытаний исправной модели обнаруживают неисправности, то определяют коэффициент первого этапа, где o – количество обнаруженных неисправностей. Если в процессе испытаний неисправной модели обнаруживают не все неисправности, то определяют коэффициент второго этапа
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей. Прогоны повторяют многократно, при различных комбинациях активированных неисправностей.
Проводят автоматический перебор всех возможных комбинаций неисправностей. Для каждой комбинации неисправностей автоматически поочередно проводится испытательный прогон. Результаты автоматически анализируются и заносятся в протокол, содержащийся в памяти крейт–контроллера УУПИ.
При обнаружении неисправностей функционирования разрабатываемого БЭУ, его дорабатывают с целью устранения факторов, вызвавших неправильное функционирование алгоритмов и/или средств обеспечения живучести и снова проводят итерацию контроля, состоящую из этапа проверки на исправной МЧР БЭУ и этапа проверки на неисправной МЧР БЭУ. Доработка БЭУ может заключаться, например, в изменении электрических схем разрабатываемого БЭУ, монтажа ЭКБ на БЭУ, изменение управляющего ПО БЭУ и пр. Итерации доработки и контроля разрабатываемого БЭУ проводят до тех пор, пока алгоритмы и/или средства обеспечения живучести не станут функционировать с требуемым уровнем безотказности, тогда разрабатываемое БЭУ передают в штатную эксплуатацию в космическом пространстве.
Таким образом, предложенный в рамках данной заявки способ, позволяет разрабатывать БЭУ КА с повышенным уровнем живучести, безотказности и долговечности за счет возможности обнаружения неисправностей алгоритмов и средств обеспечения живучести в ходе наземной отработке в процессе производства. Технический эффект достигается за счет повышенной адекватности разрабатываемых МЧР БЭУ ввиду применения блоков описания аппаратуры из состава разрабатываемого БЭУ что дает возможность обнаружения неисправностей алгоритмов и средств обеспечения живучести и следовательно их исправления в ходе доработки, что напрямую влияет на живучесть, безотказность и долговечность разрабатываемых БЭУ.
Предложенный способ разработки БЭУ КА на основе испытаний с применением целевых блоков описания аппаратуры применен при разработке БЭУ КА АО «Информационные спутниковые системы» имени академика М.Ф. Решетнёва» и подтвердил повышение их живучести, безотказности и долговечности.
Изобретение относится к области вычислительной техники. Технический результат заключается в повышении уровня безотказности бортовых электронных устройств (БЭУ) космических аппаратов (КА). Технический результат достигается за счет способа разработки БЭУ КА на основе испытаний с применением целевых блоков описания аппаратуры, заключающегося в том, что разрабатывают БЭУ. Далее на аппаратных средствах программируемой логической интегральной схемы (ПЛИС) разрабатывают исправную модель разрабатываемого БЭУ, имитирующую поведение его каналов ввода-вывода. Проводят на разработанной модели серию экспериментов по имитации нештатных ситуаций при намеренном внесении неисправностей с целью определения правильности функционирования алгоритмов и средств обеспечения живучести встроенных в разрабатываемое БЭА. Если алгоритмы и средства обеспечения живучести работают правильно, то передают разрабатываемое БЭУ в штатную эксплуатацию в составе КА. Если алгоритмы и средства обеспечения живучести работают неправильно, то дорабатывают разрабатываемое БЭУ путем исправления обнаруженных неисправностей. Итерации контроля и доработок повторяют до тех пор, пока разрабатываемое устройство не станет функционировать полностью правильно.
Способ разработки бортовых электронных устройств (БЭУ) космических аппаратов (КА) на основе испытаний с применением целевых блоков описания аппаратуры, заключающийся в том, что разрабатывают БЭУ; далее на аппаратных средствах программируемой логической интегральной схемы (ПЛИС), встроенной в устройство управления процессом испытаний (УУПИ), разрабатывают исправную модель части разрабатываемого (МЧР) БЭУ, имитирующую поведение его каналов ввода-вывода; при помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий управляющие воздействия (УВ) по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ; далее при помощи части БЭУ, которая не имитируется на МЧР БЭУ, выдают в исправную МЧР БЭУ электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями; далее считывают электрический сигнал от исправной МЧР БЭУ на ПЛИС, содержащий ответные реакции (ОР) и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС, по тем же электрическим интерфейсам; УВ и соответствующие им ОР заносят в протокол при помощи УУПИ; на аппаратных средствах ПЛИС, встроенной в УУПИ, разрабатывают неисправную МЧР БЭУ путем реализации и внесения неисправностей, необходимых для контроля правильности функционирования алгоритмов обеспечения живучести разрабатываемого БЭУ; предусматривают возможность включения и выключения внесенных неисправностей в процессе контроля без перекомпиляции проекта ПЛИС, при помощи подачи УВ; на каждой комбинации активированных неисправностей проводят следующую процедуру контроля функционирования алгоритмов живучести разрабатываемого БЭУ; при помощи УУПИ формируют и выдают в часть разрабатываемого БЭУ, которая не имитируется на ПЛИС, электрический сигнал, реализующий УВ по электрическим интерфейсам, примененным для обмена данными между УУПИ и БЭУ; далее при помощи части БЭУ, которая не имитируется на ПЛИС, выдают в неисправную МЧР БЭУ электрический сигнал, реализующий УВ по электрическому интерфейсу, примененному при разработке БЭУ для обмена данными между его составными частями; далее считывают электрический сигнал от неисправной МЧР БЭУ на ПЛИС, содержащий ОР, и передают их обратно в УУПИ через часть разрабатываемого БЭУ, которая не моделируется на ПЛИС, по тем же электрическим интерфейсам; УВ и соответствующие им ОР заносят в протокол при помощи УУПИ; далее сравнивают результаты экспериментов от исправной и неисправной МЧР БЭУ на каждой комбинации активированных неисправностей; если в процессе испытаний исправной МЧР БЭУ неисправностей не обнаруживают, а при испытаниях неисправной МЧР БЭУ обнаруживают все внесенные неисправности, то разрабатываемое БЭУ считают прошедшим контроль и передают в эксплуатацию по целевому назначению; если в процессе испытаний исправной МЧР БЭУ обнаруживают неисправности, то определяют коэффициент первого этапа , где o – количество обнаруженных неисправностей; если в процессе испытаний неисправной МЧР БЭУ обнаруживают не все неисправности, то определяют коэффициент второго этапа
, где ov – количество внесенных в модель неисправностей, oo – количество обнаруженных неисправностей; разрабатываемое БЭУ дорабатывают с целью устранения факторов, вызвавших неправильное функционирование алгоритмов и/или средств обеспечения живучести, и снова проводят итерацию контроля, состоящую из этапа проверки на исправной МЧР БЭУ и этапа проверки на неисправной МЧР БЭУ; итерации доработки и контроля разрабатываемого БЭУ проводят до тех пор, пока алгоритмы и/или средства обеспечения живучести не станут функционировать с требуемым уровнем безотказности, отличающийся тем, что при разработке МЧР БЭУ на ПЛИС, используют в них целевые блоки описания аппаратуры из состава разрабатываемого БЭУ КА.
СПОСОБ МУТАЦИОННОГО ТЕСТИРОВАНИЯ ЭЛЕКТРОННОЙ АППАРАТУРЫ И ЕЕ УПРАВЛЯЮЩЕГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С ОПРЕДЕЛЕНИЕМ ЛОКАЛИЗАЦИИ МУТАЦИЙ | 2017 |
|
RU2661535C1 |
СПОСОБ ОПРЕДЕЛЕНИЯ ДОСТАТОЧНОСТИ КОНТРОЛЯ ЭЛЕКТРОННОЙ АППАРАТУРЫ В РЕЖИМЕ ВНЕСЕНИЯ НЕИСПРАВНОСТЕЙ | 2019 |
|
RU2717630C1 |
СПОСОБ ИСПЫТАНИЙ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ СИСТЕМ УПРАВЛЕНИЯ КОСМИЧЕСКИХ АППАРАТОВ | 2021 |
|
RU2764837C1 |
US 7656193 B1, 02.02.2010 | |||
Способ получения цианистых соединений | 1924 |
|
SU2018A1 |
Авторы
Даты
2025-04-11—Публикация
2024-08-29—Подача