Календарь мероприятий
апрель 2024
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | | | | | |
показать все
Новости партнеров
Сообщество цифровых управленцев «я-ИТ-ы» проводит ЗАКРЫТУЮ встречу в рамках выставки «Связь-2024»!
Читать далее
Ассоциация разработчиков «Отечественный софт» отметила 15-летие
Читать далее
РДТЕХ представил Технологическую карту российского ПО 2023
Читать далее
RAMAX Group получила партнерский статус уровня Gold по продукту Tarantool
Читать далее
показать все
Статьи
9 ШАГОВ С НУЛЯ К СИНЬОР-РАЗРАБОТЧИКУ
Читать далее
5 способов повысить безопасность электронной подписи
Читать далее
Как искусственный интеллект изменит экономику
Читать далее
Неочевидный САПР: выход ПО за рамки конструкторской деятельности
Читать далее
Скоро некому будет делать сайты и заниматься версткой
Читать далее
Цифровая трансформация в энергетике: как запустить проект с максимальным финансовым эффектом?
Читать далее
Мотивируй, не то проиграешь!
Читать далее
В 2024 году в России и мире вырастут объемы применения AR/VR
Читать далее
Цифровые технологии: надежды и риски
Читать далее
Будут ли востребованы услуги технической поддержки софта Oracle в России в ближайшие годы?
Читать далее
показать все
|
АО «НПО РусБИТех» повысит доверие к безопасности операционной системы Astra Linux с помощью инструментов ИСП РАН
Главная / Новости партнеров / АО «НПО РусБИТех» повысит доверие к безопасности операционной системы Astra Linux с помощью инструментов ИСП РАН
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
22 ноября ИСП РАН им. В.П. Иванникова в рамках своей Открытой конференции, посвященной 70-летию отечественного ИТ-сектора, заключит соглашение с АО «НПО РусБИТех» о продаже лицензии на статический анализатор Svace и динамический анализатор Crusher. Сделка позволит предприятию-разработчику отечественной сертифицированной операционной системы Astra Linux обнаруживать ошибки кода на ранних стадиях и повысить доверие к безопасности своей платформы, используемой в государственных и коммерческих информационных системах, в том числе в критически важных секторах экономики.
Svace и Crusher - два дополняющих друг друга необходимых инструмента жизненного цикла разработки безопасного ПО, разработанные ИСП РАН им. В.П. Иванникова. В рамках предстоящего соглашения институт продаст АО «НПО РусБИТех» годовую лицензию на эти статический и динамический анализаторы. Она даст возможность с использованием Svace и Crusher проверять любой исходный код, разрабатываемый специалистами предприятия. Вместе с этой лицензией будут оказаны услуги по установке анализаторов и интеграции их со средой разработки, что поможет использовать Svace и Crusher с наибольшей отдачей.
Это позволит АО «НПО РусБИТех» обнаруживать ошибки в исходном коде разрабатываемой отечественной сертифицированной операционной системы Astra Linux. Исправление ошибок на ранней стадии разработки с применением инструментов мирового уровня повысит доверие к безопасности операционной системы Astra Linux, что важно при ее использовании в государственных и коммерческих информационных системах как в критически важных секторах экономики, так и в широком спектре информационных систем гражданского назначения.
Статический анализатор Svace позволяет выявить ошибки в программном обеспечении, которые могут привести к сбоям в его работе, или уязвимости, создающие риск перехвата контроля над системой. В среднем при написании 1000 строк кода программист совершает около 20 ошибок, а с помощью Svace их число можно сократить в несколько раз.
Динамический анализатор Crusher дает возможность автоматически генерировать наборы входных данных программы, чтобы проверить ее устойчивость к обработке данных, не соответствующих ожидаемому формату. Crusher автоматически регистрирует ошибки времени исполнения, приводящие к аварийному завершению программы. Он уже успешно используется для обнаружения ошибок в программах пользовательского режима операционной системы Astra Linux в рамках подготовки ее к сертификации ФСТЭК России и для автоматического тестирования API технологии интернета вещей компании Samsung.
Дата и время начала Пленарной сессии: 22 ноября, 9:30.
Адрес проведения: Москва, Ленинский проспект, дом 32 А, подъезд 1, 3 этаж, Синий зал.
Аккредитация СМИ по телефону до 16 ноября: +7-985-764-28-93
Регистрация онлайн: http://www.isprasopen.ru/#Registratio, в поле «Промокод» необходимо указать «пресса»
Подробная информация о мероприятии: http://www.isprasopen.ru/
В начало⇑
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Комментарии отсутствуют
Комментарии могут отставлять только зарегистрированные пользователи
|
Вакансии на сайте Jooble
|