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

1. Способ проверки конфигурации распределения по меньшей мере одного ресурса электронного модуля системы авионики среди множества элементов-потребителей, при этом каждый ресурс имеет емкость и может быть разбит на сегменты, при этом для каждого ресурса конфигурация распределения соответствует:
разбиению ресурса на один или более сегментов ресурса, при этом каждый сегмент имеет унитарную емкость,
выделению по меньшей мере одного сегмента ресурса одному или более элементам-потребителям, и
использованию каждым элементом-потребителем по меньшей мере одного выделенного сегмента ресурса,
при этом система авионики содержит электронное устройство проверки, причем способ осуществляют при помощи электронного устройства проверки, и способ включает в себя этапы, на которых:
проверяют соблюдение совокупности правил распределения, при этом совокупность правил распределения включает в себя по меньшей мере следующие правила:
первое правило, согласно которому сумма унитарных емкостей выделенных сегментов ресурса для каждого ресурса меньше или равна емкости указанного ресурса,
второе правило, согласно которому для отдельных элементов-потребителей могут быть выделены только заданные сегменты ресурса,
третье правило, согласно которому использование сегментов ресурса элементом-потребителем ограничено сегментами ресурса, выделенными указанному элементу-потребителю,
при этом конфигурация распределения считается подтвержденной, если соблюдена совокупность правил распределения,
используют модуль с указанной конфигурацией распределения.
2. Способ по п. 1, в котором перед этапом использования модуля с указанной конфигурацией распределения проверяют по меньшей мере одно правило из совокупности правил,
при этом указанное правило предпочтительно является первым правилом и/или вторым правилом.
3. Способ по п. 1, в котором перед этапом использования модуля с указанной конфигурацией распределения проверяют все правила из совокупности правил.
4. Способ по любому из пп. 1-3, в котором на этапе проверки запускают модуль с указанной конфигурацией распределения,
при этом конфигурация распределения считается подтвержденной, если модуль запускается с конфигурацией распределения, и
конфигурация распределения считается неподтвержденной, если модуль не запускается с конфигурацией распределения.
5. Способ по п. 4, в котором, если конфигурация распределения считается неподтвержденной, повторяют проверку конфигурации распределения на рассматриваемых отдельно частях,
при этом часть конфигурации распределения считается подтвержденной, если модуль запускается с указанной частью конфигурации распределения, и
часть конфигурации распределения считается неподтвержденной, если модуль не запускается с указанной частью конфигурации распределения.
6. Способ по любому из пп. 1-3, в котором электронный модуль содержит электронное устройство проверки.
7. Способ по любому из пп. 1-3, в котором для каждого непрерывного ресурса емкость выражается в виде выделенной области, определенной указателем начала и указателем конца, при этом выделение сегментов ресурса выражается в виде выделенных подобластей, каждая из которых определена указателем начала и указателем конца, при этом выделенные подобласти указаны в таблице конфигурации в возрастающем порядке указателя начала указанных выделенных подобластей, при этом конфигурация распределения считается неподтвержденной, если выполняется по меньшей мере одно из следующих условий:
указатель начала или указатель конца выделенной подобласти находится между указателем начала и указателем конца другой выделенной подобласти в таблице конфигурации,
указатель начала или указатель конца выделенной подобласти не находится в целом между указателем начала и указателем конца выделенной области.
8. Способ по любому из пп. 1-3, в котором для дискретных ресурсов сегменты ресурса представлены в виде списка в таблице конфигурации, при этом выделение сегментов ресурса связывает представленные в списке сегменты ресурса с элементами-потребителями, при этом конфигурация распределения считается неподтвержденной, если выполняется по меньшей мере по меньшей мере одно из следующих условий:
представленный в списке сегмент ресурса связан более чем с одним элементом-потребителем, тогда как указанный сегмент ресурса не входит в сегменты ресурса, выделенные отдельным элементам-потребителям, и
элемент-потребитель связан с сегментом ресурса, не представленным в списке.
9. Компьютерная программа, содержащая программные команды, которые вызывают осуществление способа по любому из пп. 1-3, когда их исполняет компьютер.
10 Электронное устройство проверки конфигурации распределения по меньшей мере одного ресурса электронного модуля системы авионики среди множества элементов-потребителей, при этом каждый ресурс имеет емкость и может быть разбит на сегменты, при этом для каждого ресурса конфигурация распределения соответствует:
разбиению ресурса на один или более сегментов ресурса, при этом каждый сегмент имеет унитарную емкость,
выделению по меньшей мере одного сегмента ресурса одному или более элементам-потребителям, и
использованию каждым элементом-потребителем по меньшей мере одного выделенного сегмента ресурса,
при этом электронное устройство проверки содержит:
модуль проверки соблюдения совокупности правил распределения, при этом совокупность правил распределения включает в себя по меньшей мере следующие правила:
первое правило, согласно которому сумма унитарных емкостей выделенных сегментов ресурса для каждого ресурса меньше или равна емкости указанного ресурса,
второе правило, согласно которому для отдельных элементов-потребителей могут быть выделены только заданные сегменты ресурса,
третье правило, согласно которому использование сегментов ресурса элементом-потребителем ограничено сегментами ресурса, выделенными для указанного элемента-потребителя,
при этом конфигурация распределения считается подтвержденной, если соблюдена совокупность правил распределения,
модуль использования модуля с указанной конфигурацией распределения.