На выставке ПТА-Новосибирск доклад Владимира Махилёва «ОС реального времени «Нейтрино» для встраиваемых систем промышленной автоматизации» вызвал большой интерес.
А на стенде мы показали примеры ПЛК под управлением Нейтрино:
👍 ПЛК-Багет (Курчатовский институт-НИИСИ)
👍 ПЛК ЭЛСИМА (компания Элеси)
#ПТА #Мероприятия #ПЛК
А на стенде мы показали примеры ПЛК под управлением Нейтрино:
#ПТА #Мероприятия #ПЛК
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥11👍4🤝1 1
С Днем народного единства!
Сила — в сплоченности, а основа развития — в технологиях.
Мы ежедневно вносим свой вклад в обеспечение технологического суверенитета страны, создавая вместе с Вами надежные и безопасные встраиваемые системы.
Всех с праздником!🎉
Сила — в сплоченности, а основа развития — в технологиях.
Мы ежедневно вносим свой вклад в обеспечение технологического суверенитета страны, создавая вместе с Вами надежные и безопасные встраиваемые системы.
Всех с праздником!
Please open Telegram to view this post
VIEW IN TELEGRAM
Безопасность = качество? Часть 1
До сих пор в массах бытует мнение что часто безопасность есть нечто отделимое от всего остального, что необязательно закладывать безопасность продукта в его архитектуру и на любом этапе разработки, если вдруг потребуется (часто надеяться что не потребуется), можно к ней вернуться и включить в состав.
Но реальность полна разочарований и большинство натурных "экспериментов" доказало что если не вспоминать про безопасность с самого начала, "включаясь" на последних этапах разработки спешно и обморочно внедряя хоть бы какую верификацию, то рано или поздно технический долг выстрелит по продукту, приведя к потерям. И хорошо если это будут только финансовые потери, не зря говорят что ТБ пишется кровью. Часто пренебрежение конструктивной/функциональной/информационной безопасностью ведёт, в том числе к увечьям и смертям. Чтобы зафиксировать в своей голове к чему может привести игнорирование безопасной разработки, есть некоторые концепции. Например, концепция "1:10:100".
В чем она заключается? Она говорит нам про то, что чем позднее мы включаем в процесс разработки верификацию, тем дороже нам обойдётся устранение проблем. В оригинальной формулировке конечно же подразумеваются доллары, мы же патриотично раскидаем пример на рублях. Если мы заметим дефект на уровне архитектурного проектирования - его устранение потребует от нас затрат на один рубль, если дефект будет обнаружен на этапе верификации, то он нам "встанет" в 10 рублей, если же мы верификацию отдадим на откуп потребителю, то уже 100 рублей придется отдать за устранение проблем.
Наш совет простой - найдите ошибку до того, как она станет проблемой.
#ДайджестРБПО
До сих пор в массах бытует мнение что часто безопасность есть нечто отделимое от всего остального, что необязательно закладывать безопасность продукта в его архитектуру и на любом этапе разработки, если вдруг потребуется (часто надеяться что не потребуется), можно к ней вернуться и включить в состав.
Но реальность полна разочарований и большинство натурных "экспериментов" доказало что если не вспоминать про безопасность с самого начала, "включаясь" на последних этапах разработки спешно и обморочно внедряя хоть бы какую верификацию, то рано или поздно технический долг выстрелит по продукту, приведя к потерям. И хорошо если это будут только финансовые потери, не зря говорят что ТБ пишется кровью. Часто пренебрежение конструктивной/функциональной/информационной безопасностью ведёт, в том числе к увечьям и смертям. Чтобы зафиксировать в своей голове к чему может привести игнорирование безопасной разработки, есть некоторые концепции. Например, концепция "1:10:100".
В чем она заключается? Она говорит нам про то, что чем позднее мы включаем в процесс разработки верификацию, тем дороже нам обойдётся устранение проблем. В оригинальной формулировке конечно же подразумеваются доллары, мы же патриотично раскидаем пример на рублях. Если мы заметим дефект на уровне архитектурного проектирования - его устранение потребует от нас затрат на один рубль, если дефект будет обнаружен на этапе верификации, то он нам "встанет" в 10 рублей, если же мы верификацию отдадим на откуп потребителю, то уже 100 рублей придется отдать за устранение проблем.
Наш совет простой - найдите ошибку до того, как она станет проблемой.
#ДайджестРБПО
👍9 4❤3🔥3
Media is too big
VIEW IN TELEGRAM
Всем доброй пятницы!
Мы выложили презентации и видеозаписи докладов.
Огромное спасибо, что нашли время и провели эти дни с нами. Благодаря вашему живому участию и открытости атмосфера стала не просто рабочей, а по-настоящему теплой и вдохновляющей.
Ждем новых встреч с Вами на наших мероприятиях в 2026 году!
Мы выложили презентации и видеозаписи докладов.
Огромное спасибо, что нашли время и провели эти дни с нами. Благодаря вашему живому участию и открытости атмосфера стала не просто рабочей, а по-настоящему теплой и вдохновляющей.
Ждем новых встреч с Вами на наших мероприятиях в 2026 году!
👍12🔥5🤝1
Учебный центр ведёт набор слушателей в группу обучения по программе «Разработка приложений для ЗОСРВ «Нейтрино».
📅 15–18 декабря
👍 Место проведения: Санкт-Петербург, Кузнецовская ул., д.19.
После успешного тестирования Вы получите удостоверение о повышении квалификации.
🎓 Записывайтесь:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
📅 15–18 декабря
После успешного тестирования Вы получите удостоверение о повышении квалификации.
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from PVS-Studio для клиентов
Требования функциональной безопасности (ФБ) по ГОСТ Р МЭК 61508 — это не просто формальность, а сложный квест для всей команды разработки. На вебинаре вместе с коллегами из FuncSafety мы разберем "подводные камни" этого процесса.
Спикеры:
- Андрей Карпов, сооснователь PVS-Studio
- Елена Рогова, ведущий специалист по функциональной безопасности и надежности
- Андрей Рогов, руководитель, архитектор и разработчик встраиваемых систем
🗓20 ноября
⏰15:00
Подробности и регистрация по ссылке
Спикеры:
- Андрей Карпов, сооснователь PVS-Studio
- Елена Рогова, ведущий специалист по функциональной безопасности и надежности
- Андрей Рогов, руководитель, архитектор и разработчик встраиваемых систем
🗓20 ноября
⏰15:00
Подробности и регистрация по ссылке
❤6🔥4
Нейтрино сертифицирована ФСТЭК.
Новый сертификат ФСТЭК подтверждает соответствие Нейтрино требованиям второго уровня доверия и профилям для ОС типов А и В второго класса защиты.
Доверенная и защищенная ОСРВ Нейтрино - надежная платформа реального времени для промышленных ПАК объектов КИИ!
#Нейтрино #ПАК
Новый сертификат ФСТЭК подтверждает соответствие Нейтрино требованиям второго уровня доверия и профилям для ОС типов А и В второго класса защиты.
Доверенная и защищенная ОСРВ Нейтрино - надежная платформа реального времени для промышленных ПАК объектов КИИ!
#Нейтрино #ПАК
❗️Осталось несколько мест на курс «Разработка приложений для ЗОСРВ «Нейтрино», который пройдет с 15 по 18 декабря в нашем Учебном Центре.
Следующие курсы пройдут уже в новом 2026 году. Не откладывайте на следующий год, то что можно сделать еще в этом. Успейте получить новые знания!
Слушателям успешно прошедшим тестирование выдаются удостоверения о повышении квалификации.
✉️ Пишите: education@kpda.ru
📞 Звоните: (812) 317-55-56
#Курсы
Следующие курсы пройдут уже в новом 2026 году. Не откладывайте на следующий год, то что можно сделать еще в этом. Успейте получить новые знания!
Слушателям успешно прошедшим тестирование выдаются удостоверения о повышении квалификации.
✉️ Пишите: education@kpda.ru
📞 Звоните: (812) 317-55-56
#Курсы
👍6 3🔥1
Безопасность = качество? Часть 2 🔐
В прошлый раз мы говорили про концепцию, которая объясняет финансовую сторону вопроса верификации, мотивирующая внедрять практики РБПО.
Сегодня поговорим про другую концепцию, дополняющую и расширяющую "1:10:100". 💰
Речь о концепции «Shift-left» (или по-русски — «сдвиг-влево»).
📌 В чём суть?
Процесс разработки, по крайней мере в рамках одного цикла (при использовании scrum-методологии например), разворачивается в прямую линию из отдельных этапов.
Упрощённый пример:
Требования (0) → Проектирование (1) → Разработка (2) → Верификация (3) → Внедрение (4) → Работа (5)
Главный принцип:
👉 Чем ближе к этапу №0 внедряются практики безопасности, тем надёжнее и качественнее итоговое решение.
Перейдём к конкретному примеру. Когда вы — молодец?
👍 На этапе требований (0):
Если вы видите небезопасное требование и отбрасываете его, не внося в архитектуру — вы молодец!
👍 На этапе проектирования (1):
Если вы задумываетесь, как каждое архитектурное решение повлияет на безопасность — вы молодец!
👍 На этапе разработки (2):
Если вы используете статический анализ, проводите качественный код-ревью, применяете ручной анализ где нужно и ответственно подходите к использованию opensource-кода — вы молодец!
👍 На этапе верификации (3):
Если вы тестируете продукт на стендах, используя лучшие практики динамического анализа, а не «в полях» — вы молодец!
🎯 Итог:
Да, это всё непросто и требует усилий. Но именно так рождается безопасный продукт, который действительно помогает вашим заказчикам и укрепляет вашу репутацию. 💪
#ДайджестРБПО
В прошлый раз мы говорили про концепцию, которая объясняет финансовую сторону вопроса верификации, мотивирующая внедрять практики РБПО.
Сегодня поговорим про другую концепцию, дополняющую и расширяющую "1:10:100". 💰
Речь о концепции «Shift-left» (или по-русски — «сдвиг-влево»).
📌 В чём суть?
Процесс разработки, по крайней мере в рамках одного цикла (при использовании scrum-методологии например), разворачивается в прямую линию из отдельных этапов.
Упрощённый пример:
Требования (0) → Проектирование (1) → Разработка (2) → Верификация (3) → Внедрение (4) → Работа (5)
Главный принцип:
👉 Чем ближе к этапу №0 внедряются практики безопасности, тем надёжнее и качественнее итоговое решение.
Перейдём к конкретному примеру. Когда вы — молодец?
Если вы видите небезопасное требование и отбрасываете его, не внося в архитектуру — вы молодец!
Если вы задумываетесь, как каждое архитектурное решение повлияет на безопасность — вы молодец!
Если вы используете статический анализ, проводите качественный код-ревью, применяете ручной анализ где нужно и ответственно подходите к использованию opensource-кода — вы молодец!
Если вы тестируете продукт на стендах, используя лучшие практики динамического анализа, а не «в полях» — вы молодец!
🎯 Итог:
Да, это всё непросто и требует усилий. Но именно так рождается безопасный продукт, который действительно помогает вашим заказчикам и укрепляет вашу репутацию. 💪
#ДайджестРБПО
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥8👍3 2
🔐 Безопасность = качество? Часть 2. Ремарка.
В прошлом посте мы говорили о концепции «Shift-left».
💡 Принцип «чем раньше — тем лучше» применим далеко не только к ИБ! Он лежит в основе создания надёжных и безопасных систем в целом.
🛠️ Конкретный пример из стандартов:
Такие международные стандарты как МЭК 61508 и ISO 26262 (для функциональной безопасности) прямо рекомендуют на этапах:
• Спецификации требований
• Создания дизайн-проектов верхнего и нижнего уровней
использовать полуформальные языки описания.
🎯 А в чём их цель?
Не только сделать требования и проекты:
• Более структурированными
• Более однозначными
• Более удобовоспринимаемыми
Но и в том, чтобы как можно раньше (shift-left) выявить нарушения логики и неполноту в требованиях и технических решениях.
Большую роль в полуформальных методах играет UML.
🚀 Хотите узнать об этом подробнее и на практике?
Приглашаем вас на детальный вебинар от наших партнёров — компании Endurance!
Регистрация здесь:
#ДайджестРБПО
В прошлом посте мы говорили о концепции «Shift-left».
💡 Принцип «чем раньше — тем лучше» применим далеко не только к ИБ! Он лежит в основе создания надёжных и безопасных систем в целом.
🛠️ Конкретный пример из стандартов:
Такие международные стандарты как МЭК 61508 и ISO 26262 (для функциональной безопасности) прямо рекомендуют на этапах:
• Спецификации требований
• Создания дизайн-проектов верхнего и нижнего уровней
использовать полуформальные языки описания.
🎯 А в чём их цель?
Не только сделать требования и проекты:
• Более структурированными
• Более однозначными
• Более удобовоспринимаемыми
Но и в том, чтобы как можно раньше (shift-left) выявить нарушения логики и неполноту в требованиях и технических решениях.
Большую роль в полуформальных методах играет UML.
🚀 Хотите узнать об этом подробнее и на практике?
Приглашаем вас на детальный вебинар от наших партнёров — компании Endurance!
Регистрация здесь:
#ДайджестРБПО
👍4🔥4 1
Еще немного про статанализ.
Много хороших слов в этом году было сказано про методы и средства статического анализа (СА), но это всё была теория, а сегодня про практику!
Представляем публикацию от наших партнеров PVS-Studio, в которой мы рассказали про наш опыт внедрения инструментов СА в процесс безопасной разработки.
#Партнеры #PVS_Studio
Много хороших слов в этом году было сказано про методы и средства статического анализа (СА), но это всё была теория, а сегодня про практику!
Представляем публикацию от наших партнеров PVS-Studio, в которой мы рассказали про наш опыт внедрения инструментов СА в процесс безопасной разработки.
#Партнеры #PVS_Studio
🔥5🤝5 2
Forwarded from Конференция ВСРВ-2025
Непредвзятый взгляд известного техноблогера Максима Горшенина на конференцию ВСРВ-2025!
Интервью и инсайды, софт и железо в долгожданном выпуске!
Интервью и инсайды, софт и железо в долгожданном выпуске!
RUTUBE
КОМПЬЮТЕР ПОД ЭТОЙ ОПЕРАЦИОНКОЙ НИЧТО НЕ ОСТАНОВИТ! Конференция ВСРВ-2025
🗣 Презентации и видео конференция «Встраиваемые системы реального времени» 2025:
🔗 https://kpda.ru/conf-2025/
🌐 Сайт компании СВД Встраиваемые Системы:
🔗 https://kpda.ru
📱 Телеграм-канал:
🔗 https://news.1rj.ru/str/CBD_BC
🖥 Группа "ВКонтакте":
🔗 https://vk.com/cbd_bc…
🔗 https://kpda.ru/conf-2025/
🌐 Сайт компании СВД Встраиваемые Системы:
🔗 https://kpda.ru
📱 Телеграм-канал:
🔗 https://news.1rj.ru/str/CBD_BC
🖥 Группа "ВКонтакте":
🔗 https://vk.com/cbd_bc…
🔥9👍5 4
Только что вернулись с Открытой конференции ИСП РАН, которая прошла в Москве (9-10 декабря).
ИСП РАН является безусловным лидером в области технологий и методологий верификации ПО.
Конференция выдалась насыщенной: море научных и практических докладов. Для нас особый интерес традиционно представляли выступления ФСТЭК России, а также день РБПО от АРПП.
Запись трансляции докладов можно посмотреть на сайте конференции.
ИСП РАН является безусловным лидером в области технологий и методологий верификации ПО.
Конференция выдалась насыщенной: море научных и практических докладов. Для нас особый интерес традиционно представляли выступления ФСТЭК России, а также день РБПО от АРПП.
Запись трансляции докладов можно посмотреть на сайте конференции.
👍11❤5 2
Первое мероприятие 2026 года уже скоро!
В этом году мы приняли участие во всех пяти выставках ПТА (Екатеринбург, Казань, Санкт-Петербург, Челябинск, Новосибирск).
Первая выставка ПТА в Екатеринбурге уже 11 февраля и регистрация открыта.
Владимир Махилёв выступит с докладом «Нейтрино - доверенная и защищенная ОСРВ для промышленных ПАК объектов КИИ».
На стенде покажем:
👍 ПЛК-Багет с российским процессором КОМДИВ под управлением Нейтрино и средой разработки Полигон
👍 ПЛК ЭЛСИ-МКС с демонстрацией возможностей технической диагностики средствами ИИ
#ПТА #Мероприятия
В этом году мы приняли участие во всех пяти выставках ПТА (Екатеринбург, Казань, Санкт-Петербург, Челябинск, Новосибирск).
Первая выставка ПТА в Екатеринбурге уже 11 февраля и регистрация открыта.
Владимир Махилёв выступит с докладом «Нейтрино - доверенная и защищенная ОСРВ для промышленных ПАК объектов КИИ».
На стенде покажем:
#ПТА #Мероприятия
Please open Telegram to view this post
VIEW IN TELEGRAM
Финальный аккорд 2025-го! 🚀
Запустили последнюю в этом году ракету с новыми специалистами на борту! Поток завершён — удостоверения вручены, а самое ценное — уверенность и знания — остаётся с ними.
Отличный способ завершить год: не подведением итогов, а инвестициями в будущее. Их — в свою карьеру, наше — в профессиональное сообщество.
С чем идём в 2026? С новыми силами и планами.
Открываем набор в группы на 2026 год!
Записывайтесь:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
Запустили последнюю в этом году ракету с новыми специалистами на борту! Поток завершён — удостоверения вручены, а самое ценное — уверенность и знания — остаётся с ними.
Отличный способ завершить год: не подведением итогов, а инвестициями в будущее. Их — в свою карьеру, наше — в профессиональное сообщество.
С чем идём в 2026? С новыми силами и планами.
Открываем набор в группы на 2026 год!
Записывайтесь:
📞 (812) 317-55-56
📧 education@kpda.ru
#Курсы
👍8🔥6🤝3 2
Впервые мы примем участие в выставке Нефтегаз.
Встречаемся:
📍Где: Москва, МВЦ Крокус Экспо, Павильон 2, Зал 8
🗓Когда: 02-05 марта 2026
Покажем работу ОСРВ Нейтрино на российских ПЛК и не только.
Регистрируемся здесь:
Ждем Вас на нашем стенде 8В052!
#Мероприятия
Встречаемся:
📍Где: Москва, МВЦ Крокус Экспо, Павильон 2, Зал 8
🗓Когда: 02-05 марта 2026
Покажем работу ОСРВ Нейтрино на российских ПЛК и не только.
Регистрируемся здесь:
Ждем Вас на нашем стенде 8В052!
#Мероприятия
🔥9👍4 4
18 декабря мы провели вебинар «Применение технологий машинного обучения в ОСРВ Нейтрино» для студентов, аспирантов и преподавателей РГУ нефти и газа имени И.М. Губкина (активный участник нашей академической программы).
Основные темы вебинара:
👍 Общие сведения об ОСРВ «Нейтрино» и её архитектуре.
👍 Интеллектуальная платформа «Синаптика» и машинное обучение во встраиваемых системах.
👍 Применение платформы «Синаптика» для мониторинга аномальной активности в ОСРВ «Нейтрино».
Запись вебинара можно посмотреть здесь ⬅️
#Синаптика #Вебинары
Основные темы вебинара:
Запись вебинара можно посмотреть здесь ⬅️
#Синаптика #Вебинары
Please open Telegram to view this post
VIEW IN TELEGRAM
VK Видео
Видеозаписи au_team | VK Видео
Уважаемые партнеры, коллеги и клиенты!
Мы сердечно поздравляем Вас с наступающим Новым годом!
Пусть грядущий год принесет Вам множество новых свершений, ярких идей и вдохновения для их воплощения.
Мы гордимся тем, что вместе создаем проекты, где ключевыми ценностями являются надежность, безопасность и работа в реальном времени.
Благодарим за доверие и плодотворное сотрудничество. Желаем успеха во всех начинаниях, стабильности, профессионального роста и простых человеческих радостей. Пусть ваши системы будут эффективными, решения — опережающими время, а каждый день — наполнен новыми победами и открытием новых горизонтов!
Мы сердечно поздравляем Вас с наступающим Новым годом!
Пусть грядущий год принесет Вам множество новых свершений, ярких идей и вдохновения для их воплощения.
Мы гордимся тем, что вместе создаем проекты, где ключевыми ценностями являются надежность, безопасность и работа в реальном времени.
Благодарим за доверие и плодотворное сотрудничество. Желаем успеха во всех начинаниях, стабильности, профессионального роста и простых человеческих радостей. Пусть ваши системы будут эффективными, решения — опережающими время, а каждый день — наполнен новыми победами и открытием новых горизонтов!
🤝18🔥7 5