Каталог - Вендор - ГНИИ Авиационных Систем
-
Инструмент автоматизации анализа структурного покрытия кода COVERest
Инструмент автоматизации анализа структурного покрытия кода COVERest предназначен для проведения анализа структурного покрытия кода, который является обязательным верификационным мероприятием бортового программного обеспечения (ПО) в соответствии с требованиями КТ-178C. Этот инструмент способствует проверке полноты тестового набора, обеспечивая гарантии исчерпывающего тестирования ПО. В зависимости от уровня критичности бортового ПО выделяются три категории полноты покрытия: MC/DC для уровня A, DC для уровня B и SC для уровня C. Дополнительно COVERest выполняет анализ связей компонентов исходного кода по управлению и данным, что позволяет предотвратить переход управления к незапланированным компонентам и несанкционированное изменение данных. Автоматизация анализа кода, Структурное покрытие, Верификация программного обеспечения, Гражданская авиация, КТ-178C, Тестирование ПО, Анализ исходного кода, Сертификация бортовых систем, Интерактивные HTML-отчеты, Разработка ПО, Управление данными, Стандарты TQL-5, Системы реального времени, Интегрированные решения, LDRA, VectorCAST, Cantata, CTC++
Цена: по запросу0.0 рейтинг (0 отзывов)Российский продуктПроизводители: ГНИИ Авиационных Систем -
Унифицированная программная платформа для разработки конечно ориентированных программных комплексов автоматического распознавания объектов на основе нейросетевых подходов Платформа
Программа предназначена для разработки с использованием высокопроизводительных вычислений и суперкомпьютерных технологий конечно ориентированных программных комплексов, решающих задачу распознавания наземных объектов на основе нейросетевых подходов. Программа обеспечивает выполнение следующих функций: обнаружение объектов по изображениям и видеопоследовательностям, обнаружение объектов по многоспектральным данным, дешифрование, классификацию, семантическую сегментацию, распознавание типов объекта, сопровождение объектов на видеопоследовательностях, обработки и комплексирования изображений различных диапазонов, устранение шумов и помех на изображениях, устранение смаза и расфокусировки изображений.
Цена: по запросу0.0 рейтинг (0 отзывов)Российский продукт