ЦЕЛОСТНОСТЬ КОМПЬЮТЕРНЫХ СИСТЕМ ЗА СЧЕТ ОБЪЕДИНЕНИЯ СЕРТИФИЦИРУЕМОГО И АТТЕСТУЕМОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

1. Компьютерная система (400), содержащая:
память (404), выполненную с возможностью хранения компьютерочитаемого программного кода (406); и
схему (402) обработки, выполненную с возможностью доступа к памяти и исполнения компьютерочитаемого программного кода, с тем, чтобы вызывать выполнение компьютерной системой по меньшей мере следующего:
исполнения (302) сертифицируемого программного приложения, состоящего из статических программных инструкций, исполняемых последовательно для обработки входных данных с формированием выходного сигнала, при этом компьютерная система выполнена с возможностью работы с ним, а сертифицируемое программное приложение является сертифицируемым для компьютерной системы согласно стандарту сертификации;
исполнения (304) аттестуемого программного приложения во время исполнения сертифицируемого программного приложения, причем аттестуемое программное приложение использует модель, получаемую итеративным построением с использованием алгоритма машинного обучения, для обработки входных данных с формированием соответствующего выходного сигнала, и аттестуемое программное приложение не является сертифицируемым для компьютерной системы согласно указанному стандарту сертификации;
перекрестного контроля (306) выходного сигнала, выдаваемого сертифицируемым программным приложением, посредством сравнения с соответствующим выходным сигналом, выдаваемым аттестуемым программным приложением, для проверки выходного сигнала, выдаваемого сертифицируемым программным приложением, и таким образом улучшения целостности компьютерной системы; и
выработки (308) предупреждения о том, что выходной сигнал, выдаваемый сертифицируемым программным приложением, является непроверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала более чем на пороговое значение.
2. Компьютерная система (400) по п. 1, в которой выходной сигнал, выдаваемый сертифицируемым программным приложением, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением, не более чем на пороговое значение, а память (404) также хранит компьютерочитаемый программный код (406), при этом схема (402) обработки выполнена с возможностью его исполнения с тем, чтобы также вызывать выполнение компьютерной системой по меньшей мере следующего:
работы (310) с выходным сигналом, причем компьютерная система выполнена с возможностью работы с указанным выходным сигналом без учета соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением.
3. Компьютерная система (400) по любому предшествующему пункту, в которой выходной сигнал, выдаваемый сертифицируемым программным приложением, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением, не более чем на пороговое значение, а память (404) также хранит компьютерочитаемый программный код (406), при этом схема (402) обработки выполнена с возможностью его исполнения с тем, чтобы также вызывать выполнение компьютерной системой по меньшей мере следующего:
формирования объединенного выходного сигнала из указанного выходного сигнала и соответствующего выходного сигнала и
работы с объединенным выходным сигналом.
4. Компьютерная система (400) по п. 3, в которой вызов исполнения (302) компьютерной системой сертифицируемого программного приложения и исполнения (304) ею аттестуемого программного приложения также включает вызов формирования компьютерной системой соответствующего показателя качества для указанного выходного сигнала и соответствующего выходного сигнала,
причем вызов формирования компьютерной системой объединенного выходного сигнала включает вызов применения ею фильтра Калмана к указанному выходному сигналу и соответствующему выходному сигналу, взвешенным по соответствующим показателям качества.
5. Компьютерная система (400) по любому предшествующему пункту, в которой память (404) также хранит компьютерочитаемый программный код (406), при этом схема (402) обработки выполнена с возможностью его исполнения с тем, чтобы также вызывать выполнение компьютерной системой по меньшей мере следующего:
исполнения третьего программного приложения при исполнении сертифицируемого программного приложения и аттестуемого программного приложения, при этом третье программное приложение является вторым сертифицируемым или аттестуемым программным приложением, и третье программное приложение исполняют для обработки входных данных с формированием второго соответствующего выходного сигнала,
причем вызов перекрестного контроля компьютерной системой (306) выходного сигнала включает вызов перекрестного контроля ею выходного сигнала, выдаваемого сертифицируемым программным приложением, посредством сравнения с соответствующим выходным сигналом и вторым соответствующим выходным сигналом, а
вызов выработки (308) компьютерной системой предупреждения включает вызов выработки ею предупреждения о том, что выходной сигнал, выдаваемый сертифицируемым программным обеспечением, является непроверенным, когда сравнение указывает на то, что выходной сигнал отличается как от соответствующего выходного сигнала, так и второго соответствующего выходного сигнала более чем на пороговое значение.
6. Компьютерная система (400) по любому предшествующему пункту, которая является системой авиационного электронного оборудования летательного аппарата, движущегося в направлении центра внимания, который задает целевой объект для летательного аппарата, причем сертифицируемое программное приложение является сертифицируемым приложением для обнаружения объектов, а аттестуемое программное приложение является аттестуемым приложением для обнаружения объектов,
причем вызов исполнения (302) компьютерной системой сертифицируемого программного приложения включает вызов исполнения ею сертифицируемого приложения для обнаружения объектов с тем, чтобы обрабатывать изображение центра внимания с формированием выходного сигнала, в котором целевой объект обнаружен на указанном изображении,
вызов исполнения (304) компьютерной системой аттестуемого программного приложения включает вызов исполнения ею аттестуемого приложения для обнаружения объектов с тем, чтобы обрабатывать изображение центра внимания с формированием соответствующего выходного сигнала, в котором целевой объект обнаружен на указанном изображении, а
вызов перекрестного контроля (306) компьютерной системой выходного сигнала включает вызов перекрестного контроля ею выходного сигнала посредством сравнения с соответствующим выходным сигналом для проверки выходного сигнала, выдаваемого сертифицируемым приложением для обнаружения объектов.
7. Компьютерная система (400) по п. 6, в которой выходной сигнал, выдаваемый сертифицируемым приложением для обнаружения объектов, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала не более чем на пороговое значение, которое уменьшается с расстоянием между летательным аппаратом и центром внимания.
8. Способ (300) улучшения целостности компьютерной системы (400), выполненной с возможностью:
исполнения (302) сертифицируемого программного приложения, состоящего из статических программных инструкций, исполняемых последовательно для обработки входных данных с формированием выходного сигнала, при этом компьютерная система выполнена с возможностью работы с ним, а сертифицируемое программное приложение является сертифицируемым для компьютерной системы согласно стандарту сертификации;
исполнения (304) аттестуемого программного приложения во время исполнения сертифицируемого программного приложения, причем аттестуемое программное приложение использует модель, получаемую итеративным построением с использованием алгоритма машинного обучения, для обработки входных данных с формированием соответствующего выходного сигнала, и аттестуемое программное приложение не является сертифицируемым для компьютерной системы согласно указанному стандарту сертификации;
перекрестного контроля (306) выходного сигнала, выдаваемого сертифицируемым программным приложением, посредством сравнения с соответствующим выходным сигналом, выдаваемым аттестуемым программным приложением, для проверки выходного сигнала, выдаваемого сертифицируемым программным приложением, и таким образом улучшения целостности компьютерной системы; и
выработки (308) предупреждения о том, что выходной сигнал, выдаваемый сертифицируемым программным приложением, является непроверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала более чем на пороговое значение.
9. Способ (300) по п. 8, согласно которому выходной сигнал, выдаваемый сертифицируемым программным приложением, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением, не более чем на пороговое значение, при этом способ также включает выполнение компьютерной системы с возможностью:
работы (310) с выходным сигналом, причем компьютерная система выполнена с возможностью работы с указанным выходным сигналом без учета соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением.
10. Способ (300) по любому из пп. 8, 9, согласно которому выходной сигнал, выдаваемый сертифицируемым программным приложением, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала, выдаваемого аттестуемым программным приложением, не более чем на пороговое значение, при этом способ также включает выполнение компьютерной системы с возможностью:
формирования объединенного выходного сигнала из указанного выходного сигнала и соответствующего выходного сигнала и
работы с объединенным выходным сигналом.
11. Способ (300) по п. 10, согласно которому исполнение (302) сертифицируемого программного приложения и исполнение (304) аттестуемого программного приложения, также включают формирование соответствующего показателя качества для указанного выходного сигнала и соответствующего выходного сигнала, а
формирование объединенного выходного сигнала включает применение фильтра Калмана к указанному выходному сигналу и соответствующему выходному сигналу, взвешенным по соответствующим показателям качества.
12. Способ (300) по любому из пп. 8-11, также включающий:
исполнение третьего программного приложения при исполнении сертифицируемого программного приложения и аттестуемого программного приложения, при этом третье программное приложение является вторым сертифицируемым или аттестуемым программным приложением, и третье программное приложение исполняют для обработки входных данных с формированием второго соответствующего выходного сигнала,
причем перекрестный контроль (306) выходного сигнала включает перекрестный контроль выходного сигнала, выдаваемого сертифицируемым программным приложением, посредством сравнения с соответствующим выходным сигналом и вторым соответствующим выходным сигналом, а
выработка (308) предупреждения включает выработку предупреждения о том, что выходной сигнал, выдаваемый сертифицируемым программным обеспечением, является непроверенным, когда сравнение указывает на то, что выходной сигнал отличается как от соответствующего выходного сигнала, так и второго соответствующего выходного сигнала более чем на пороговое значение.
13. Способ (300) по любому из пп. 8-12, согласно которому компьютерная система является системой авиационного электронного оборудования летательного аппарата, движущегося в направлении центра внимания, который задает целевой объект для летательного аппарата, причем сертифицируемое программное приложение является сертифицируемым приложением для обнаружения объектов, а аттестуемое программное приложение является аттестуемым приложением для обнаружения объектов,
причем исполнение (302) сертифицируемого программного приложения включает исполнение сертифицируемого приложения для обнаружения объектов с тем, чтобы обрабатывать изображение центра внимания с формированием выходного сигнала, в котором целевой объект обнаружен на указанном изображении,
исполнение (304) аттестуемого программного приложения включает исполнение аттестуемого приложения для обнаружения объектов с тем, чтобы обрабатывать изображение центра внимания с формированием соответствующего выходного сигнала, в котором целевой объект обнаружен на указанном изображении, а
перекрестный контроль (306) выходного сигнала включает перекрестный контроль выходного сигнала посредством сравнения с соответствующим выходным сигналом для проверки выходного сигнала, выдаваемого сертифицируемым приложением для обнаружения объектов.
14. Способ (300) по п. 13, согласно которому выходной сигнал, выдаваемый сертифицируемым приложением для обнаружения объектов, является проверенным, когда сравнение указывает на то, что выходной сигнал отличается от соответствующего выходного сигнала не более чем на пороговое значение, которое уменьшается с расстоянием между летательным аппаратом и центром внимания.