Начало проекта

Posted by: Alexander Kamkin 7 months, 2 weeks ago

Начат проект «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации», проводимый ИСП РАН в партнерстве с АО «НПО РусБИТех» и ФГУП «ГосНИИАС» при поддержке Министерства науки и высшего образования РФ (уникальный идентификатор проекта: RFMEFI60719X0295).

Целью проекта является создание новых технологий производства и сертификации программного обеспечения, обеспечивающих высокую надежность и информационную безопасность вычислительных систем ответственного назначения, включая операционные системы, встроенные системы управления, системы обработки данных и роботизированные системы, используемые в критических областях (космосе и авиации, атомной энергетике, медицине).

Ключевыми особенностями нашего проекта являются:

Приглашаем к сотрудничеству организации, заинтересованные в перспективных средствах моделирования, верификации и тестирования ПО.

Currently unrated
Share on Twitter Share on Facebook