ИСП РАН | Институт системного программирования им. В. П. Иванникова РАН

🎓Как должна измениться школьная информатика в эпоху искусственного интеллекта?

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

🗣Мероприятие прошло 23 сентября на площадке Института содержания и методов обучения им. В.С. Леднева. Эксперты обсудили актуальные вопросы преподавания информатики в школе, развитие технологий искусственного интеллекта, требования к современным учебникам и подготовку педагогов.

Одной из ключевых тем дискуссии стало обновление содержания школьной информатики с учётом стремительного развития ИИ-технологий. Особое значение приобретает не только знакомство школьников с современными цифровыми инструментами, но и формирование фундаментальных знаний, которые позволят понимать принципы работы новых технологий и осознанно ими пользоваться.

Александр Гетьман отметил:

В наше время технологии ИИ развиваются стремительно. 5 лет назад о них знали только профильные специалисты, 3 года назад появились первые БЯМ, которые произвели фурор, а сегодня это уже практически часть повседневной жизни огромного числа людей. При этом модели, интерфейсы взаимодействия с ними, форма входных и выходных данных, а также возможности моделей постоянно меняются — появились мультимодальные и рассуждающие модели, ИИ-агенты, способные не просто отвечать на запросы, но и взаимодействовать с окружающим миром, решая задачи пользователя. В этих условиях учить прикладной части ИИ в школе, например промптингу, достаточно странно, ведь скорее всего эти знания устареют ещё до момента окончания учёбы сегодняшними школьниками. Но тогда чему учить? Тут наверное стоит вспомнить о том, что в России, с одной стороны, исторически сильная математическая школа (а ИИ — это прежде всего математика), а с другой — сильный акцент на фундаментальные знания. Именно они, с моей точки зрения, являются ответом на вопрос "чему учить". Это знания, которые достаточно постоянны во времени и точно не потеряют ценности в среднесрочной перспективе. Применительно к ИИ это набор "ингредиентов", из которых он состоит, и рецепты того, как эти ингредиенты смешиваются для получения прикладных результатов — обученных моделей, способных решать задачи. Из наиболее явных компонент можно указать: данные, их подготовка, процесс обучения моделей, ошибки и метрики качества модели, эффекты недообучения и переобучения, постановки задач, которые на самом деле решает ИИ, галлюцинации и т.д.

При этом важно не забывать о необходимой составляющей обучения — практике. Не основанные на опыте знания улетучиваются очень быстро. Можно привести в пример иностранный язык: если им не пользоваться, то забывается он гораздо быстрее, чем изучается.

Отмечу, что участие в Научной среде ИСМО произвело на меня огромное впечатление. Возможность пообщаться со специалистами, с разных точек зрения оценивающих взаимодействие ИИ и образования, — очень ценна. Благодаря таким встречам мы можем получить не фрагментарную, а максимально объёмную картину этого масштабного явления.

✔️«Научная среда ИСМО» проводится в рамках поручения Минпросвещения России.

➡️Источник фото

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

🗣Искусственный интеллект в современном обществе: возможности и проблемы

Сегодня, 29 сентября 2026 года, директор ИСП РАН, академик РАН Арутюн Аветисян выступил модератором круглого стола «Искусственный интеллект в современном обществе: возможности и проблемы», который состоялся в рамках Дней ОИЯИ в Армении.

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

✔️В круглом столе приняли участие директор ОИЯИ, академик РАН Григорий Трубников; научный руководитель Лаборатории ядерных реакций им. Г. Н. Флерова ОИЯИ, академик РАН Юрий Оганесян; ректор университета СколТех, академик РАН Юлия Горбунова; ректор Российско-Армянского университета Эдвард Сандоян; ректор Ереванского государственного университета Оганнес Оганнисян; президент НАН РА Ашот Сагян; химик и материаловед, профессор РАН Артём Оганов, а также другие представители научного и образовательного сообщества России и Армении.

➡️Дни ОИЯИ в Армении проходят с 28 сентября по 2 октября и посвящены 70-летию Объединенного института ядерных исследований.

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️Как работать по новой Методике ФСТЭК: цикл статей о ключевых изменениях и практике

В журнале «Информационная безопасность» вышел цикл статей, посвященный новой Методике ФСТЭК России по выявлению уязвимостей и недекларированных возможностей в программном обеспечении.

✔️Открывает цикл статья «Методика 3.0. История создания и ключевые тезисы» Дмитрия Пономарева — заместителя генерального директора «НТЦ Фобос-НТ», сотрудника ИСП РАН, старшего преподавателя МГТУ им. Н. Э. Баумана. В ней автор рассказывает об истории создания Методики и разбирает ее основные положения.

Продолжают тему три материала:

✔️«Разработчик и лаборатория: что меняется?» — Андрей Кузнецов, директор департамента внедрения и развития практик НТЦ «Фобос-НТ», сотрудник ИСП РАН. О новых требованиях к разработчикам и изменениях во взаимодействии с испытательными лабораториями.

✔️«Роль Центра исследований безопасности системного ПО при реализации положений Методики» — Алексей Хорошилов, в. н. с., руководитель Центра исследований безопасности системного программного обеспечения ИСП РАН. О практическом опыте Центра и инструментах, которые могут использоваться при исследованиях безопасности ПО.

✔️«Как опираться на Методику ВУ и НДВ при работе по ГОСТ Р 56939–2024» — Елена Пономарева, руководитель отдела аудитконсалтинга процессов РБПО ООО НТЦ «Фобос-НТ», сотрудник ИСП РАН. Материал подробно показывает взаимосвязь положений Методики с требованиями стандарта безопасной разработки.

🤝Вместе публикации дают комплексное представление о том, как новые требования будут работать на практике.

👨‍💻Читать цикл статей

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

📢AI-спринт: как писать A*
Хорошая исследовательская идея — только начало.

Чтобы довести её до публикации уровня A*, важно правильно поставить исследовательскую задачу, показать научный вклад и убедительно проверить гипотезу.
8 октября в Университете Иннополис состоится сессия САПФИР «AI-спринт: как писать A*» — в рамках Digital Innopolis Days.

⚡️За три часа разберём, что отличает сильное исследование от просто интересной идеи, какие ошибки могут помешать хорошей работе пройти отбор и как использовать ИИ при подготовке научной публикации — там, где он действительно помогает.

После лекционной части — командная практика на исследовательском кейсе и обратная связь от научных экспертов.
Если вы уже занимаетесь исследованиями, это возможность посмотреть на свою работу с новой стороны. Если только начинаете — понять, из чего складывается исследование, которое может претендовать на уровень A*.

⚡️Для наиболее перспективных участников AI-спринт может стать следующим шагом: они смогут претендовать на участие в ICOMP 2026 в Касабланке и конференции «Путешествие в мир искусственного интеллекта», а также на менторство или стажировку в исследовательских центрах в сфере ИИ.

✔️8 октября · Университет Иннополис
✔️Заявки — до 1 октября
🔗Регистрация: https://sapfirai.ru/AI-sprint/DID

📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы

🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.

💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.

Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.

👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru12:31

⚡️ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на Let’s GoConf 2026

Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в конференции для Go-разработчиков Let’s GoConf 2026 в Москве.

На стендах ИСП РАН были представлены два ключевых направления: технологии анализа программного обеспечения Svace и Svacer, а также разработки в области цифровой медицины.

✔️Svace — статический анализатор исходного кода, который выявляет более 70 классов критических ошибок и поддерживает широкий спектр языков программирования, включая Go. Svacer — web-интерфейс для просмотра и работы с предупреждениями, полученными в результате анализа Svace.

✔️Разработки в области цифровой медицины были представлены
нейросетевыми моделями анализа ЭКГ для выявления патологий, а также технологиями обнаружения меланомы (и других патологических элементов) по снимкам кожи.

➡️Let’s GoConf — конференция для Go-разработчиков, которая в 2026 году прошла 11 сентября в Москве.

📷Фото предоставлены организаторами конференции

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚠️ СРОЧНО: срок подачи заявления на ДЭГ истекает СЕГОДНЯ, 14 сентября!

Если вы не в Москве и хотите проголосовать онлайн на выборах в Госдуму 18–20 сентября — сегодня последний день, чтобы подать заявление. Успейте до 23:59 МСК.

Кто может проголосовать онлайн:
ДЭГ доступно жителям 33 регионов с постоянной регистрацией. Полный список — в постановлении ЦИК, среди них: Республика Карелия, Коми, Крым, Алтайский и Пермский края, Архангельская, Белгородская, Владимирская, Вологодская, Калининградская, Калужская, Костромская, Курганская, Липецкая, Магаданская, Московская, Мурманская, Нижегородская, Новгородская, Новосибирская, Псковская, Ростовская, Свердловская, Смоленская, Томская, Челябинская, Ярославская области и другие.

Что нужно сделать прямо сейчас:

· Зайти на Госуслуги в раздел «Мои выборы».
· Убедиться, что учётная запись подтверждённая, а данные совпадают с реестром избирателей.
· Подать заявление на участие в ДЭГ.
· Успеть до 23:59 МСК сегодня, 14 сентября.

Как проголосовать:

· Даты: 18, 19, 20 сентября.
· Платформа: vybory.gov.ru.
· Время: с 08:00 18 сентября до 19:59 20 сентября (по местному времени вашего региона).
· Авторизуйтесь через Госуслуги, подтвердите личность кодом из СМС и получите электронный бюллетень.

Важно:

· Отключите VPN перед голосованием.
· Если заявление на ДЭГ не подадите — сможете проголосовать на участке по месту нахождения, но для этого нужно отдельное заявление через «Мобильный избиратель».
· Если передумаете голосовать онлайн, можно отозвать заявление до того же срока — и проголосовать на участке.

Если решите поучаствовать — будет здорово. 🙂

ВАЖНО: Выборы в Госдуму — 2026!

Друзья, с 18 по 20 сентября 2026 года проходят выборы разных уровней. Голосовать в Москве могут как москвичи, так и избиратели из других регионов (при наличии заявления).

🗓 Даты: 18, 19, 20 сентября.

🗳 За кого можно проголосовать:
• Депутатов Госдумы (для москвичей и жителей других регионов с заявлением);
• Муниципальных депутатов района Щукино (для жителей района);
• Глав шести регионов (для подавших заявление жителей этих субъектов).

💻 Как голосовать москвичам:
Онлайн на портале mos.ru
 с 08:00 18 сентября до 19:59 20 сентября.

⚠️ Важно: нужна полная учетная запись на mos.ru
. Если её нет — создайте заранее!

📍 Если вы не в Москве, но хотите проголосовать (ДЭГ):
Подайте заявление на Госуслугах.

📅 Срок подачи: с 3 августа по 14 сентября (до 23:59 МСК).
Москвичам с постоянной регистрацией заявление подавать НЕ нужно — они голосуют на mos.ru
.
🎁 Бонус за участие:
Проголосуйте и получите призовые баллы программы «Миллион призов». Их можно обменять на скидки в магазинах, аптеках, ресторанах, билеты в музеи или пополнить «Тройку».
Не забудьте проверить свое устройство перед голосованием и отключить VPN! ✅

👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!

23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».

✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026»

Руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН Денис Турдаков выступил на Форуме «Зарубежнефть 2026» в рамках сессии «Искусственный интеллект: возможности и риски».

В докладе «Можно ли доверять ИИ?» Денис Турдаков рассказал о развитии подходов к доверенному искусственному интеллекту в России и работе Исследовательского центра доверенного ИИ ИСП РАН. Отдельное внимание он уделил проблемам современных больших языковых моделей: галлюцинациям, предвзятости, а также связанным с их применением угрозам информационной безопасности.

На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman,

— отметил Денис Турдаков.

В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня».

Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН,

— заявил он.

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах

Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100.

✔️JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика.

JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных.

JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы.

✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов.

🔗Источник: ТЕХНОСФЕРА. РОССИЯ

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️ИСП РАН представил доклад по статическому анализу конечных автоматов на ITC-Asia 2026

19–22 августа в Нинбо (Китай) прошла юбилейная десятая Международная конференция по тестированию в Азии — ITC-Asia 2026. Она объединила исследователей и инженеров в области проектирования, верификации, тестирования, надёжности и безопасности интегральных схем.

Среди докладчиков — представители ведущих компаний отрасли: Synopsys, Siemens EDA, Huawei (HiSilicon), Intel, ByteDance, а также университетов и научных организаций США, Японии и Китая.

✔️Старший лаборант ИСП РАН Андрей Вязовцев выступил с докладом «SVAN-FSM: Static Analysis of Finite State Machines in SystemVerilog» в секции Pre-Silicon Security Analysis. Работа выполнена в соавторстве с Яном Чуркиным, Арманом Егиазаряном, Рубеном Бучацким, Александром Камкиным и Артёмом Коцыняком.

В той же секции были представлены работы исследователей из Университета электронной науки и технологий Китая, Пекинского транспортного университета и Тяньцзиньского университета. Статья по докладу будет опубликована в цифровой библиотеке IEEE Xplore.

👨‍💻SVAN-FSM является частью SVAN — системы статического анализа описаний цифровой аппаратуры, разрабатываемой в ИСП РАН. Инструмент автоматически извлекает конечные автоматы из RTL-описаний на языке SystemVerilog и выявляет в них дефекты — например, недостижимые состояния и взаимоблокировки — без запуска симуляции. Обнаружение таких ошибок ещё на этапе проектирования RTL-модели, до синтеза и физической реализации микросхемы, существенно сокращает стоимость исправлений и ускоряет цикл разработки.

Конференцию открыл пленарный доклад Ерванда Зоряна — президента Synopsys Armenia, главного архитектора и научного сотрудника Synopsys, президента IEEE Test Technology Technical Council. Его выступление «Lifetime Health for Multi-Die Systems in the Era of AI» было посвящено тестированию и надёжности многокристальных систем. В 2014 году д-р Зорян был удостоен Национальной медали науки Республики Армения.

➡️ITC-Asia — азиатская конференция семейства International Test Conference, одного из ведущих мировых форумов в области тестирования электроники. Первая ITC-Asia состоялась в Тайбэе в 2017 году. В 2026 году конференция отметила десятилетие и прошла в Нинбо — одном из крупнейших портовых и индустриальных центров восточного Китая.

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️Станиславу Александровичу Фомину — 50 лет

Сегодня в ИСП РАН еще один юбилей — 50 лет исполняется сотруднику Института Станиславу Александровичу Фомину.

Станислав Александрович окончил с отличием Московский физико-технический институт, а затем аспирантуру ИСП РАН, где его научным руководителем был доктор физико-математических наук, профессор Николай Николаевич Кузюрин. С Институтом его профессиональная деятельность связана с 1998 года.

Станислав Александрович — высококлассный специалист в области методов оптимизации и алгоритмов. Значительная часть его исследований посвящена задачам линейного программирования, эффективного управления ресурсами распределённых вычислительных систем и оптимизации сложных вычислительных процессов.

✔️Результаты его исследований успешно применяются на практике. Станислав Александрович участвовал в проекте для канадской компании Nortel по разработке методов быстрого восстановления оптоволоконных сетей с использованием технологии p-циклов, в исследованиях и разработке программного обеспечения для энергоэффективного управления распределёнными вычислительными ресурсами. Методы математической оптимизации применялись им также для решения задач возвратной логистики крупной торговой сети. В последние годы в ИСП РАН Станислав Александрович участвует в разработке и внедрении решений в области информационной безопасности.

Большое внимание Станислав Александрович уделяет преподавательской деятельности. В МФТИ он читает курсы «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы», разработанные совместно с Николаем Николаевичем Кузюриным. Станислав Александрович и Николай Николаевич также являются соавторами учебного пособия «Эффективные алгоритмы и сложность вычислений».

🎉Коллектив ИСП РАН поздравляет Станислава Александровича с юбилеем и желает ему крепкого здоровья, благополучия, новых научных результатов и интересных задач!

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️Академику Владимиру Борисовичу Бетелину — 80 лет!

Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин — выдающийся российский ученый, специалист в области информационных технологий и вычислительной техники, сотрудник Института системного программирования им. В. П. Иванникова РАН.

Научная деятельность Владимира Борисовича связана с разработкой инструментальных систем программного обеспечения, машинной графикой и геометрическим моделированием, созданием программных систем для машиностроительных САПР. Ему принадлежат фундаментальные результаты в области языков программирования и архитектуры интегрированных систем проектирования, редактирования и компиляции.

✔️Под руководством Владимира Борисовича было разработано семейство первых отечественных графических рабочих станций «Беста», а также концепция и архитектура аппаратно-программной платформы «БАГЕТ». Большое значение имеют его работы по созданию информационно безопасных автоматизированных систем и программно-аппаратных комплексов реального времени, предназначенных в том числе для эксплуатации в жестких условиях.

С 1990 по 2015 год Владимир Борисович возглавлял Научно-исследовательский институт системных исследований РАН, а с 2016 года является его научным руководителем.

Сегодня Владимир Борисович также работает в ИСП РАН. По его инициативе и под его руководством в Институте создан отдел медицинской информатики, где ведется разработка масштабируемого программного обеспечения для создания онковакцин в рамках Научно-технологического центра развития мРНК-технологий — от локального решения к серийной технологии.

🎉Коллектив ИСП РАН сердечно поздравляет Владимира Борисовича с юбилеем! Желаем крепкого здоровья, благополучия, новых научных результатов, дальнейших успехов в работе и многих лет плодотворной деятельности!

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

💊ИСП РАН на заседании Научного совета Центра ИИ в медицине

29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Научного совета Центра искусственного интеллекта в медицине, объединившее представителей науки, медицины и индустрии.

С приветственным словом к участникам Научного совета обратились генеральный директор НМИЦ им. В. А. Алмазова Евгений Шляхто, вице-президент – руководитель индустрии здоровья Сбера Ростислав Павлов, директор Института системного программирования им. В. П. Иванникова РАН, академик РАН Арутюн Аветисян и генеральный директор AIRI, профессор РАН Иван Оселедец.

✔️В рамках обсуждения промежуточных результатов проекта «Многопрофильный ИИ-помощник “Медицинский консилиум”» научный сотрудник ИСП РАН Юрий Маркин представил доклад «Как выглядит клиническое мышление ИИ и можно ли его измерить?». В докладе были представлены промежуточные результаты проекта, включая демонстрацию работы мультиагентной системы, моделирующей медицинский консилиум, на примере реального клинического случая.

✔️В работе Научного совета также принял участие сотрудник Исследовательского центра доверенного искусственного интеллекта ИСП РАН Евгений Карпулевич, представивший проект по разработке ИИ-агентов на основе GigaChat для персонализированного управления здоровьем пациента.

✔️В ходе заключительной сессии советник по цифровой медицине ИСП РАН Андрей Бурсов представил разработки Института в области медицинского ИИ, включая решения для интеллектуального анализа электрокардиограмм и раннего выявления меланомы.

⚡️Разработки ИСП РАН создаются на основе собственных технологий искусственного интеллекта и направлены на помощь врачу в принятии решений, повышение качества диагностики и развитие современных цифровых медицинских сервисов. Часть решений уже проходит клиническую апробацию и внедряется совместно с ведущими медицинскими организациями страны.

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на PyCon Russia 2026

Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в выставке конференции PyCon Russia 2026 в Москве.

👨‍💻На стенде ИСП РАН были представлены два ключевых направления: технологии статического анализа кода и разработки в области цифровой медицины.

✔️Одной из центральных разработок стал статический анализатор Svace — инструмент, предназначенный для автоматического выявления потенциальных ошибок и уязвимостей в исходном коде еще на этапе разработки. Svace обнаруживает более 70 классов критических ошибок, поддерживает широкий спектр языков программирования, а также применяется в процессах безопасной разработки программного обеспечения более чем в 200 компаниях.

✔️Медицинские разработки были представлены проектами по анализу 1-, 6- и 12-канальных ЭКГ, а также системой анализа меланомы Melanoscope AI. Эти технологии используют методы искусственного интеллекта для поддержки врачей при диагностике сердечно-сосудистых заболеваний и раннем выявлении злокачественных новообразований кожи.

💬PyCon Russia — крупнейшая конференция для Python-разработчиков в России, которая в этом году прошла 24–25 июля в Москве.

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС

⚡️Проект ИСП РАН занял второе место на всероссийском конкурсе «ТИМ-Лидеры 2025/26»

Проект Института системного программирования им. В. П. Иванникова РАН «Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли РФ: идея, концепция, реализация» занял второе место на X Всероссийском конкурсе «ТИМ-Лидеры 2025/26» в номинации «Лучшая ТИМ-идея года».

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

Разработанная в ИСП РАН технология IDS++ предлагает новый подход: требования переводятся в машинно-интерпретируемый формат, что позволяет автоматически выполнять их спецификацию и верификацию. Благодаря этому нарушения технических регламентов и сводов правил можно выявлять уже на этапе проектирования, повышая качество проектной документации, эффективность государственной экспертизы и снижая риски при реализации строительных проектов.

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

🎉Поздравляем авторский коллектив с заслуженной наградой и желаем новых научных и технологических достижений!

🔗ИСП РАН в Telegram
🔗ИСП РАН в МАКС