Методы и технологии верификации и разработки ПО для моделирования и расчетов с использованием суперкомпьютерной платформы с экстрамассивным параллелизмом

18.04.2017

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

ГРНТИ

50.05.13 Технология программирования. Автоматизация программирования.

50.33.04 Перспективные архитектуры. Архитектуры параллельной обработки

50.37.21 Ведение программного обеспечения в условиях ВЦ

Ключевые слова

ГИБРИДНЫЕ ЭКЗОМАСШТАБНЫЕ СУПЕРКОМПЬЮТЕРНЫЕ СИСТЕМЫ

ОБЛАЧНЫЕ СУПЕРКОМПЬЮТЕРЫ

ФОРМАЛЬНЫЙ ВЕРИФИКАЦИЯ

ВАЛИДАЦИЯ И ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

СУПЕРКОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ.

Детали

Начало

16.02.2017

Окончание

31.12.2017

№ контракта

2.9517.2017/БЧ

Заказчик

Министерство образования и науки Российской Федерации

Исполнитель

Федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский политехнический университет Петра Великого»

Бюджет

Средства федерального бюджета: 2 045 200 ₽

ИКРБС

№ АААА-Б18-218032690094-4, № АААА-Б19-219032290050-3, № АААА-Б20-220032090106-5

Похожие документы

Модели и методы верификации, тестирования и разработки ПО для гибридных суперкомпьютерных платформ с экстрамассивным параллелизмом

0.967

НИОКТР

Методы и технологии верификации и разработки ПО для моделирования и расчетов с использованием суперкомпьютерной платформы с экстрамассивным параллелизмом

0.933

ИКРБС

0.932