АО «НПО РусБИТех» повысит доверие к безопасности операционной системы Astra Linux с помощью инструментов ИСП РАН
 
                 
Поиск по сайту
 bit.samag.ru     Web
Рассылка Subscribe.ru
подписаться письмом
Вход в систему
 Запомнить меня
Регистрация
Забыли пароль?

Календарь мероприятий
август    2026
Пн
Вт
Ср
Чт
Пт
Сб
Вс
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
31

показать все 

Новости партнеров

23.08.2026

МФТИ и ЛАНИТ подготовят ИТ-специалистов в рамках инициативы Минцифры России

Читать далее 

22.08.2026

«Газинформсервис» провёл GIS Partner`s Day 2026

Читать далее 

22.08.2026

На IT CAMP 2026 более 120 юных технологических гениев поборолись за звание лучшего ИТ-специалиста страны

Читать далее 

19.08.2026

Эксперт Анисимов из «Группы Астра» назвал 3 главных тренда роста облаков в России

Читать далее 

18.08.2026

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

Читать далее 

показать все 

Статьи

26.07.2026

Почему компании возвращаются с облаков на свои серверы? Как считать экономику переезда?

Читать далее 

26.07.2026

Аутсорс разработки: как не потерять контроль над кодом и сэкономить 30% бюджета

Читать далее 

20.07.2026

Ключевая задача для технологического бизнеса — адаптация к новым правилам

Читать далее 

21.06.2026

Коллаборации с конкурентами: необходимость или рискованная ставка?

Читать далее 

21.06.2026

Как вы обеспечиваете непрерывность разработки без зарубежных облаков?

Читать далее 

20.06.2026

Сергей Ергопуло: «Информационное моделирование становится частью единой цифровой вертикали предприятия»

Читать далее 

29.07.2025

Точность до метра и сантиметра: как применяют технологии позиционирования

Читать далее 

18.04.2024

Как искусственный интеллект изменит экономику

Читать далее 

22.09.2023

Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась

Читать далее 

22.09.2023

Сладкая жизнь

Читать далее 

показать все 

АО «НПО РусБИТех» повысит доверие к безопасности операционной системы Astra Linux с помощью инструментов ИСП РАН

Главная / Новости партнеров / АО «НПО РусБИТех» повысит доверие к безопасности операционной системы Astra Linux с помощью инструментов ИСП РАН


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/

 

 

В начало⇑

 

Комментарии отсутствуют

Комментарии могут отставлять только зарегистрированные пользователи

Выпуск №5 (158) 2026г.
Выпуск №5 (158) 2026г. Выпуск №4 (157) 2026г. Выпуск №3 (156) 2026г. Выпуск №2 (155) 2026г. Выпуск №1 (154) 2026г.
Вакансии на сайте Jooble

           

Tel.: (499) 277-12-41  Fax: (499) 277-12-45  E-mail: sa@samag.ru

 

Copyright © Системный администратор

  Яндекс.Метрика