摘要

Решается задача оперативного выбора наиболее подходящей в сложившихся условиях функционирования конфигурации компонентов избыточного комплекса бортового оборудования в интересах как обеспечения высокой отказоустойчивости комплекса, так и достижения одновременно с этим других его эксплуатационно-технических характеристик. Основу системы управления избыточностью составляют программные объекты по числу заблаговременно отработанных конкурентоспособных конфигураций разнородного и неуниверсального оборудования комплекса, называемые супервизорами конфигураций. Выбор же предпочтительной конфигурации предлагается осуществлять путем выполнения многоуровневого арбитража, включающего две фазы парного арбитража вычислителей комплекса и парный арбитраж супервизоров конфигураций. Средства обоих видов арбитража предлагается включать в каждый супервизор конфигурации, что обеспечивает его самодостаточность при участии в конкурсном отборе. Первая часть статьи посвящена парному арбитражу супервизоров конфигураций, реализующему взаимно-перекрестный анализ индексов готовности и показателей функциональной эффективности конфигураций, объединенных в пару. Организованный перебор таких пар позволяет выявить предпочтительную конфигурацию для последующей реализации. В целях обеспечения достоверности конкурса в условиях возможных коллизий, связанных с недостоверностью информационных посылок в паре или со сбоями модулей арбитража, введены процедуры, заключающиеся во взаимной перекрестной проверке информационных посылок между супервизорами пары. В случае возникновения конфликтов при выборе предпочтения предусмотрен взаимный обмен местами входов модулей арбитража и повторная оценка предпочтений. Предложены и проанализированы два варианта парного арбитража конфигураций различной сложности и эффективности с бинарными оценками предпочтения (упрощенный и полный), а также вариант арбитража с триплексными оценками предпочтения. Представлены результаты сравнения вариантов арбитража, выбираемых разработчиком исходя из соображений гарантированной достоверности или ограничений конструирования системы. Приводится методический пример, иллюстрирующий возможности парного арбитража конфигураций и его особенности практического характера.

全文