СВД ВС

Первое мероприятие 2026 года уже скоро!

В этом году мы приняли участие во всех пяти выставках ПТА (Екатеринбург, Казань, Санкт-Петербург, Челябинск, Новосибирск).
Первая выставка ПТА в Екатеринбурге уже 11 февраля и регистрация открыта.

Владимир Махилёв выступит с докладом «Нейтрино - доверенная и защищенная ОСРВ для промышленных ПАК объектов КИИ».

На стенде покажем:

👍 ПЛК-Багет с российским процессором КОМДИВ под управлением Нейтрино и средой разработки Полигон
👍 ПЛК ЭЛСИ-МКС с демонстрацией возможностей технической диагностики средствами ИИ

#ПТА #Мероприятия

Только что вернулись с Открытой конференции ИСП РАН, которая прошла в Москве (9-10 декабря).
ИСП РАН является безусловным лидером в области технологий и методологий верификации ПО.

Конференция выдалась насыщенной: море научных и практических докладов. Для нас особый интерес традиционно представляли выступления ФСТЭК России, а также день РБПО от АРПП.

Запись трансляции докладов можно посмотреть на сайте конференции.

Непредвзятый взгляд известного техноблогера Максима Горшенина на конференцию ВСРВ-2025!

Интервью и инсайды, софт и железо в долгожданном выпуске!

Еще немного про статанализ.

Много хороших слов в этом году было сказано про методы и средства статического анализа (СА), но это всё была теория, а сегодня про практику!

Представляем публикацию от наших партнеров PVS-Studio, в которой мы рассказали про наш опыт внедрения инструментов СА в процесс безопасной разработки.

#Партнеры #PVS_Studio

🔐 Безопасность = качество? Часть 2. Ремарка.

В прошлом посте мы говорили о концепции «Shift-left».

💡 Принцип «чем раньше — тем лучше» применим далеко не только к ИБ! Он лежит в основе создания надёжных и безопасных систем в целом.

🛠️ Конкретный пример из стандартов:
Такие международные стандарты как МЭК 61508 и ISO 26262 (для функциональной безопасности) прямо рекомендуют на этапах:
• Спецификации требований
• Создания дизайн-проектов верхнего и нижнего уровней
использовать полуформальные языки описания.

🎯 А в чём их цель?
Не только сделать требования и проекты:
• Более структурированными
• Более однозначными
• Более удобовоспринимаемыми
Но и в том, чтобы как можно раньше (shift-left) выявить нарушения логики и неполноту в требованиях и технических решениях.

Большую роль в полуформальных методах играет UML.

🚀 Хотите узнать об этом подробнее и на практике?
Приглашаем вас на детальный вебинар от наших партнёров — компании Endurance!

Регистрация здесь:

#ДайджестРБПО

Безопасность = качество? Часть 2 🔐

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

Сегодня поговорим про другую концепцию, дополняющую и расширяющую "1:10:100". 💰
Речь о концепции «Shift-left» (или по-русски — «сдвиг-влево»).

📌 В чём суть?
Процесс разработки, по крайней мере в рамках одного цикла (при использовании scrum-методологии например), разворачивается в прямую линию из отдельных этапов.

Упрощённый пример:
Требования (0) → Проектирование (1) → Разработка (2) → Верификация (3) → Внедрение (4) → Работа (5)

Главный принцип:
👉 Чем ближе к этапу №0 внедряются практики безопасности, тем надёжнее и качественнее итоговое решение.

Перейдём к конкретному примеру. Когда вы — молодец?

👍 На этапе требований (0):
Если вы видите небезопасное требование и отбрасываете его, не внося в архитектуру — вы молодец!
👍  На этапе проектирования (1):
Если вы задумываетесь, как каждое архитектурное решение повлияет на безопасность — вы молодец!
👍На этапе разработки (2):
Если вы используете статический анализ, проводите качественный код-ревью, применяете ручной анализ где нужно и ответственно подходите к использованию opensource-кода — вы молодец!
👍На этапе верификации (3):
Если вы тестируете продукт на стендах, используя лучшие практики динамического анализа, а не «в полях» — вы молодец!

🎯 Итог:
Да, это всё непросто и требует усилий. Но именно так рождается безопасный продукт, который действительно помогает вашим заказчикам и укрепляет вашу репутацию. 💪

#ДайджестРБПО

❗️Осталось несколько мест на курс «Разработка приложений для ЗОСРВ «Нейтрино», который пройдет с 15 по 18 декабря в нашем Учебном Центре.

Следующие курсы пройдут уже в новом 2026 году. Не откладывайте на следующий год, то что можно сделать еще в этом. Успейте получить новые знания!

Слушателям успешно прошедшим тестирование выдаются удостоверения о повышении квалификации.

✉️ Пишите: education@kpda.ru
📞 Звоните: (812) 317-55-56

#Курсы

Нейтрино сертифицирована ФСТЭК.

Новый сертификат ФСТЭК подтверждает соответствие Нейтрино требованиям второго уровня доверия и профилям для ОС типов А и В второго класса защиты.

Доверенная и защищенная ОСРВ Нейтрино - надежная платформа реального времени для промышленных ПАК объектов КИИ!

#Нейтрино #ПАК

Требования функциональной безопасности (ФБ) по ГОСТ Р МЭК 61508 — это не просто формальность, а сложный квест для всей команды разработки. На вебинаре вместе с коллегами из FuncSafety мы разберем "подводные камни" этого процесса.

Спикеры:
- Андрей Карпов, сооснователь PVS-Studio
- Елена Рогова, ведущий специалист по функциональной безопасности и надежности
- Андрей Рогов, руководитель, архитектор и разработчик встраиваемых систем

🗓20 ноября
⏰15:00

Подробности и регистрация по ссылке

Учебный центр ведёт набор слушателей в группу обучения по программе «Разработка приложений для ЗОСРВ «Нейтрино».

📅 15–18 декабря
👍Место проведения: Санкт-Петербург, Кузнецовская ул., д.19.

После успешного тестирования Вы получите удостоверение о повышении квалификации.

🎓Записывайтесь:

📞 (812) 317-55-56
📧 education@kpda.ru

#Курсы

Всем доброй пятницы!

Мы выложили презентации и видеозаписи докладов.

Огромное спасибо, что нашли время и провели эти дни с нами. Благодаря вашему живому участию и открытости атмосфера стала не просто рабочей, а по-настоящему теплой и вдохновляющей.

Ждем новых встреч с Вами на наших мероприятиях в 2026 году!

Безопасность = качество? Часть 1

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

Но реальность полна разочарований и большинство натурных "экспериментов" доказало что если не вспоминать про безопасность с самого начала, "включаясь" на последних этапах разработки спешно и обморочно внедряя хоть бы какую верификацию, то рано или поздно технический долг выстрелит по продукту, приведя к потерям. И хорошо если это будут только финансовые потери, не зря говорят что ТБ пишется кровью. Часто пренебрежение конструктивной/функциональной/информационной безопасностью ведёт, в том числе к увечьям и смертям. Чтобы зафиксировать в своей голове к чему может привести игнорирование безопасной разработки, есть некоторые концепции. Например, концепция "1:10:100".

В чем она заключается? Она говорит нам про то, что чем позднее мы включаем в процесс разработки верификацию, тем дороже нам обойдётся устранение проблем. В оригинальной формулировке конечно же подразумеваются доллары, мы же патриотично раскидаем пример на рублях. Если мы заметим дефект на уровне архитектурного проектирования - его устранение потребует от нас затрат на один рубль, если дефект будет обнаружен на этапе верификации, то он нам "встанет" в 10 рублей, если же мы верификацию отдадим на откуп потребителю, то уже 100 рублей придется отдать за устранение проблем.
Наш совет простой - найдите ошибку до того, как она станет проблемой.

#ДайджестРБПО

С Днем народного единства!

Сила — в сплоченности, а основа развития — в технологиях.

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

Всех с праздником! 🎉

На выставке ПТА-Новосибирск доклад Владимира Махилёва «ОС реального времени «Нейтрино» для встраиваемых систем промышленной автоматизации» вызвал большой интерес.

А на стенде мы показали примеры ПЛК под управлением Нейтрино:

👍 ПЛК-Багет (Курчатовский институт-НИИСИ)
👍 ПЛК ЭЛСИМА (компания Элеси)


#ПТА #Мероприятия #ПЛК

Москва - Нижний Новгород - Новосибирск

Продолжаем колесить по необъятным просторам нашей страны и демонстрировать возможности ОСРВ Нейтрино для промышленной автоматизации.

🔔 Новая встреча в Новосибирске:

👍Дата: 29 октября
👍Место: Гранд Автограф Новосибирск Отель, ул. Орджоникидзе, д. 31

На стенде покажем:

👍 Контроллер ПЛК-Багет с российским процессором КОМДИВ под управлением Нейтрино и средой разработки Полигон
👍 ПЛК от компании Элеси с демонстрацией возможностей технической диагностики средствами ИИ

Регистрация на ПТА-Новосибирск 👈

#ПТА #Мероприятия

🔥 Четыре дня практики, десятки вопросов и море новых знаний — курс «Разработка приложений для ЗОСРВ «Нейтрино» завершён.

Слушатели сдали тесты, получили удостоверения и готовы к новым задачам 💪

Но год еще не закончился 🔥

Продолжаем набор групп на ноябрь и декабрь:

👍Инструментальные средства ЗОСРВ «Нейтрино»
👍Разработка приложений для ЗОСРВ «Нейтрино»
👍Администрирование и диагностика ЗОСРВ «Нейтрино»
👍 Проектирование программного и аппаратного обеспечения в соответствии с ГОСТ Р МЭК 61508

Записывайтесь:

📞 (812) 317-55-56
📧 education@kpda.ru

#Курсы