Программное обеспечение для контроля DO-178C

для разработкидля проверкидля обработки изображений

Контроль целостности изображения - это механизм, используемый для независимой проверки того, что любое изображение, полученное с помощью сложного программируемого графического процессора (GPU), можно считать корректным и соответствующим предполагаемому выводу изображения. Быстро развивающаяся технология создания графических дисплеев в индустрии коммерческих ПК обеспечивает недорогие и исключительно мощные решения для реализации все более производительных и сложных систем отображения. По мере того как GPU становятся все более сложными, растет и соответствующий код драйверов и приложений, необходимый для вывода изображения на экран. Растущий объем и сложность кода вызывают проблемы. FAA и другие международные сертификационные органы требуют, чтобы программное обеспечение было разработано и протестировано в соответствии с требованиями стандарта DO-178C для критически важного бортового оборудования, чтобы быть сертифицированным для использования в авиационных системах. Идеальное решение проблемы растущих затрат на сертификацию Сертификация DO-178 требует, чтобы программное обеспечение, используемое для обработки важных для полета данных, проходило исчерпывающие и тщательно документированные процедуры тестирования и проверки, которые являются непомерно дорогими. Процесс сертификации еще более усложняет тот факт, что недорогой высокопроизводительный графический процессор из индустрии ПК не имеет истории разработки и верификационных данных, доступных от производителя. У него нет ни достаточных вспомогательных данных, ни испытаний, проведенных производителем для демонстрации эксплуатационной надежности и целостности конструкции. Это делает невозможной сертификацию оборудования по стандарту DO-254. Полное и точное отображение данных для приложений, критически важных для безопасности