СВД ВС

🎓 Завершили очередной практический курс по администрированию и диагностике ЗОСРВ «Нейтрино»!

С 28 сентября по 1 октября участники четыре дня погружались в практическую работу с системой:
👍 разбирались с основами администрирования,
👍 осваивали инструменты диагностики,
👍 учились находить причины возникающих проблем.

💡 Важная часть курса — практика. Полученные знания участники сразу закрепляли на реальных рабочих сценариях, чтобы применять их в своих проектах после обучения.

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

Спасибо всем участникам за интерес к Нейтрино и активную работу на протяжении курса!

До встречи на следующих курсах! 🚀

#Курсы

Ещё один знакомый инструмент — теперь под Нейтрино.

Для работы с системой хороший текстовый редактор — не просто удобство, а жизненно необходимый инструмент.

Мы портировали Vim 9.2 под ЗОСРВ «Нейтрино». Получить редактор можно по запросу — напишите на support@kpda.ru.

Vim может использоваться непосредственно в целевой системе для редактирования конфигурационных файлов, скриптов и других текстовых файлов — в том числе при настройке и сопровождении систем на базе Нейтрино.

Портирование таких инструментов расширяет набор прикладных средств, доступных непосредственно на целевой платформе, и делает работу с системой удобнее для инженеров и разработчиков.

Продолжаем расширять возможности работы с Нейтрино. 🛠️

#Нейтрино

В Уфе на выставке ПТА мы продемонстрировали ДПАК Нева - совместное решение с компаниями Элеси и Промавтоматика-Софт.

ДПАК Нева предназначен для применения в значимых объектах КИИ и полностью построен на российских программных технологиях.

#Партнеры #ДПАК

Когда безопасность сети начинается с драйвера

Можно запретить входящий трафик с помощью firewall. А можно сделать так, чтобы система изначально не имела возможности принимать его.

Именно такой подход реализован в ЗОСРВ «Нейтрино» — на уровне сетевой подсистемы появилась технология data diode, обеспечивающая однонаправленную передачу данных.

В статье на Хабре Тимофей Горнаев рассказывает:
👍 что такое программный data diode и чем он отличается от обычной фильтрации трафика;
👍 почему недостаточно просто запретить входящие пакеты на уровне firewall;
👍 как реализована однонаправленность в Нейтрино — вплоть до уровня сетевого контроллера;
👍 зачем понадобился отдельный сетевой менеджер io-pkt-diode и специализированные диод-драйверы;
👍 как проверить работу диода с помощью системной трассировки;
👍 какие ограничения появляются при работе в однонаправленной сети и почему, например, TCP и DNS здесь не подходят.

Ключевой момент архитектуры: io-pkt-diode загружает только диод-драйверы, а интерфейсы приёма входящих кадров фактически отключены. При этом из сетевого менеджера удалён функционал, не нужный для однонаправленной передачи, благодаря чему его размер уменьшился примерно в два раза.

В результате data diode в Нейтрино — это не просто правило фильтрации, а отдельный уровень сетевой архитектуры, построенный вокруг принципа однонаправленности.

👉 Читать статью на Хабре

#Нейтрино

Модуль центрального процессора МЦП1502 получил поддержку ЗОСРВ «Нейтрино»

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

Совместимость обеспечена выходом специализированного пакета поддержки ЗОСРВ «Нейтрино» для процессорного модулей МЦП1502 в составе комплекта разработчика МЦП905.

Пакет поддержки позволяет операционной системе работать в режиме симметричной мультипроцессорности (SMP) с полноценным использованием всех ядер процессора.

В Нейтрино обеспечена поддержка и функционирование следующих интерфейсов на процессорных модулях на базе процессоров Rockchip серии RK3568: UART, SD/eMMC, Ethernet, GPIO, USB, CAN, I2C, RTC, SPI, SATA, а также контроллер прерываний и сторожевой таймер Watchdog.

Совместимость с Нейтрино делает данный программно-аппаратный стек оптимальным доверенным решением для создания:

👍 Высоконадежных программируемых логических контроллеров (ПЛК);
👍 Бортового оборудования для железнодорожного, морского транспорта и авионики;
👍 Систем связи, хранения, обработки и передачи данных реального времени;
👍 Программно-аппаратных комплексов для объектов критической информационной инфраструктуры (КИИ).

Использование протестированного программно-аппаратного стека позволяет разработчикам и интеграторам существенно сократить сроки проектирования и вывода на рынок конечных систем автоматизации, критичных ко времени отклика и безопасности.

#Партнеры #rockchip #rk3568

Кодовое покрытие — это не просто процент в отчёте

Когда речь идёт об отдельном приложении, собрать Code Coverage относительно просто: инструментировать код, запустить тесты, собрать данные и построить отчёт.

А что происходит, если тестировать нужно целую операционную систему?

В ОСРВ «Нейтрино» компоненты поставляются в виде отдельных пакетов, а количество компонентов и тестов исчисляется тысячами. При этом разные подсистемы проверяются разными типами тестирования — от unit-тестов до интеграционных и верификационных.

Иван Растегаев в статье на Хабре разобрал, как организован сбор кодового покрытия в такой системе:
👍 как собираются buildtime- и runtime-артефакты;
👍 зачем нужны отдельные верификационные сборки ОС;
👍 как собирать данные о покрытии непосредственно на целевых устройствах;
👍 почему нельзя просто объединить результаты всех тестовых конвейеров;
👍 как формируется единый отчёт по пакетам и различным составам дистрибутива;
👍 как эта задача решается средствами CI/CD.

Если вам приходилось строить CI/CD для больших систем, где десятки или сотни тестовых наборов должны в итоге дать одну достоверную картину покрытия кода, статья будет особенно интересна.

👉 Читать статью на Хабре

#Нейтрино

Уже завтра, 9 сентября в 12.00 вместе с партнерами PVS-Studio проведём вебинар:
«Применение ЗОСРВ «Нейтрино» и PVS-Studio для разработки ПО согласно требованиям МЭК 61508»

Разберём, как подходы к разработке ПО для ЗОСРВ «Нейтрино» соотносятся с требованиями МЭК 61508 и какую роль в обеспечении функциональной безопасности играет статический анализ.

Наши партнёры представят обзор новой мажорной версии PVS-Studio 8.0 и дальнейшие направления развития.
Поговорим не только о стандартах, но и покажем, как инструменты разработки и статического анализа работают вместе на практике.

👉 Подключайтесь к вебинару вместе с экспертами СВД ВС и PVS-Studio.

🔗 Регистрация:

#Безопасная_разработка #Партнеры #Вебинары

День знаний начинается с Нейтрино.

Начинаем набор на очередной практический курс «Администрирование и диагностика ЗОСРВ «Нейтрино», который пройдет с 28 сентября по 01 октября 2026 г.

💡 За 4 дня участники:
👍 разберутся с основами администрирования ЗОСРВ «Нейтрино»;
👍 освоят инструменты и подходы к диагностике;
👍 научатся выявлять причины возникающих проблем;
👍 получат практический опыт работы с системой.


📜 По результатам успешного обучения и итогового тестирования — удостоверение о повышении квалификации.

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

📌 Записаться можно по телефону: (812) 317-55-56 или по почте: education@kpda.ru

#Курсы

🔐 Функциональная безопасность начинается с кода

9 сентября вместе с партнерами PVS-Studio проведём вебинар:
«Применение ЗОСРВ «Нейтрино» и PVS-Studio для разработки ПО согласно требованиям МЭК 61508»

Разберём, как подходы к разработке ПО для ЗОСРВ «Нейтрино» соотносятся с требованиями МЭК 61508 и какую роль в обеспечении функциональной безопасности играет статический анализ.

Что будет на вебинаре:
👍 требования МЭК 61508 к инструментальным средствам разработки;
👍 практическая демонстрация PVS-Studio в комплекте разработчика «Нейтрино»;
👍 статический анализ как инструмент повышения безопасности и качества ПО;
👍 требования МЭК 61508 и МЭК 26262, их связь с рекомендациями MISRA;
👍 возможности PVS-Studio для контроля качества и соответствия кода требованиям стандартов;
👍 обзор новой мажорной версии PVS-Studio 8.0 и дальнейшие направления развития инструмента, включая функциональную безопасность.

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

📅 Дата - 9 сентября
🕛 Время - 12:00

👉 Подключайтесь к вебинару вместе с экспертами СВД ВС и PVS-Studio.

🔗 Регистрация:

#Безопасная_разработка #Партнеры #Вебинары

🌐 Когда разработка нового сетевого стека начинается с архитектуры

В рамках создания нового сетевого стека io-enginet мы провели работу, которая на первый взгляд может показаться «внутренней кухней» разработки. Но именно такие вещи во многом определяют качество системного ПО.

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

Почему это важно?

Сетевой стек — это не один модуль, а целая система взаимодействующих компонентов: менеджер, протоколы, драйверы, механизмы обработки и передачи пакетов, интерфейсы для прикладных программ. В архитектуре ЗОСРВ «Нейтрино», например, сетевые драйверы и протокольные модули подключаются к менеджеру сетевой подсистемы и взаимодействуют через определённые интерфейсы.

Поэтому хорошая архитектурная документация — это не формальность.

Она позволяет:
👍 понимать систему целиком, а не отдельными фрагментами; 👍 видеть зависимости между компонентами и оценивать последствия изменений; 👍 снижать сложность дальнейшей разработки и сопровождения; 👍 создавать основу для развития нового стека без потери архитектурной целостности;
👍 аккумулировать знания и эффективно управлять ими;
👍 ускорять выполнение задач в командах разработки за счет документирования даже низкоуровневых принципов работы кода.

В результате проект io-enginet — это не только разработка нового сетевого стека. Это ещё и работа по формированию понятной, документированной и управляемой архитектуры сетевой подсистемы.

А иногда именно такая работа за кадром и является самым важным результатом разработки.

#Нейтрино

Следующая остановка — Уфа!

22 сентября встречаемся на выставке ПТА-Уфа.

На нашем стенде покажем российские среды разработки для ПЛК под управлением ОСРВ «Нейтрино» — и расскажем, как связка отечественной среды разработки и защищённой ОСРВ помогает создавать надёжные программно-аппаратные комплексы для промышленной автоматизации.

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

Поговорим о требованиях к программной платформе для критической инфраструктуры и о том, какую роль в таких системах играет ОС реального времени.

👍 Дата: 22 сентября
👍 Место: г. Уфа, Верхнеторговая площадь, д. 2, Nesterov Plaza Hotel

👉 Регистрируйтесь на ПТА-Уфа и приходите знакомиться с Нейтрино вживую.

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

Нейтрино поддерживает защищенный накопитель JaCarta.
 
Совместно с компанией Аладдин мы реализовали поддержку защищённого носителя информации JaCarta SF/ГОСТ.
 
JaCarta SF/ГОСТ предназначен для безопасного хранения и транспортировки информации ограниченного доступа — в том числе документов с грифом ДСП и сведений, составляющих государственную тайну.
 
Что даёт такая интеграция?
 
👍 Безопасную работу с информацией ограниченного доступа — защищённый носитель становится частью доверенной программно-аппаратной среды ОС.
 
👍 Защищённое хранение и транспортировку данных — информация может переноситься с использованием специализированного аппаратного USB-токена, а не обычного сменного накопителя.
 
👍 Управляемость — вместе с аппаратным носителем используется специализированное ПО для его ввода в эксплуатацию, управления и администрирования.
 
👍 Расширение применения ОС в защищённых контурах — поддержка специализированных средств защиты позволяет использовать ОС в системах, где предъявляются повышенные требования к работе с информацией ограниченного доступа.
 
Для нас это ещё один шаг к тому, чтобы Нейтрино была не просто защищённой операционной системой, а полноценной основой доверенной вычислительной среды — с поддержкой необходимых средств защиты на разных уровнях системы.
 
И это особенно важно там, где безопасность должна обеспечиваться не отдельным продуктом, а всей цепочкой: от аппаратной платформы и ОС до средств хранения, защиты и управления данными.

#Партнеры

Ловушка уровня зрелости 🪤

Почивать на лаврах всегда легко. И, что особенно важно, приятно. 😌
Думаю, что ни для кого не секрет: человеку свойственно ошибаться. Но в чем особенность некоторых человеческих ошибок? В том, что они со временем формируются в когнитивные искажения.

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

Перейдем к конкретным примерам. 👇
Как мы говорили ранее, существует начальный уровень зрелости, когда многие вопросы закрываются путем панического пожаротушения. 🚒

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

И вот эта ловушка и является, по сути, «ловушкой уровня зрелости». 🪤
«Вопрос решили, сертификат получили — следовательно, и в другой раз также всё решим и получим».
На начальном уровне зрелости стороннему наблюдателю эта ловушка будет очевидна — например, аудитору. 🔎

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

Что делать, чтобы этого избежать?
Для начала — не закукливайтесь внутри организации. 🌐
Участвуйте в профильных мероприятиях, ездите на курсы повышения квалификации (лучше, конечно, на наши 😉), не бойтесь задавать вопросы — даже если они кажутся глупыми.

И самое главное — все участники процесса должны знать о существовании таких «типовых ошибок» и уметь их распознавать.
Потому что настоящий уровень зрелости — это не способность героически решить проблему в очередной раз. 💪
Это способность сделать так, чтобы героизм больше не требовался.

Дорогу осилит идущий. 🚶‍♂️

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

Что важнее для современной АСУ ТП — контроллер, операционная система или среда разработки?

Правильный ответ — все три компонента. Именно поэтому сегодня речь идёт уже не о замене отдельных продуктов, а о создании единой экосистемы.
Только такой подход позволяет получить предсказуемое время отклика, высокую отказоустойчивость, производительность и технологическую независимость.

Вместе с партнерами из компании Адваланж мы подробно разобрали эту тему в новой статье журнала «СТА».
В ней Вы узнаете:
👍 почему микроядерная архитектура ЗОСРВ «Нейтрино» обеспечивает детерминированную работу и помогает строить отказоустойчивые системы;
👍 как среда разработки «АРМА ПЛК» компилирует программы IEC 61131-3 напрямую в нативный код, раскрывая возможности современных аппаратных платформ;
👍 почему именно связка ПЛК + ЗОСРВ + среда разработки становится новым ориентиром для отечественной промышленной автоматизации.

📖 Если вас интересует будущее российских АСУ ТП и реальные инженерные подходы к построению современных систем управления — рекомендуем к прочтению.

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

🚀 Мы портировали новую версию библиотеки OpenCV 5.0!

С момента официального выхода новой версии прошло всего около двух месяцев, так что это самый свежак. 🔥

✨ OpenCV 5 предлагает:
👍 новый движок DNN;
👍 расширенную поддержку моделей ONNX;
👍 улучшения аппаратного ускорения;
👍 новые типы данных;
👍 расширенные возможности 3D-зрения;
👍 обновленный API.

📦 Мы планируем включить OpenCV 5 в состав следующей редакции Нейтрино.

#Нейтрино

📢 У нас важная новость!

Чтобы провести конференцию в максимально комфортное время и не пересекаться с насыщенным осенним графиком отраслевых мероприятий, мы приняли решение перенести ее на весну.

🗓 Встречаемся 24 марта 2027
📍 Альфа Измайлово (Москва)

Уже сейчас рекомендуем сохранить дату в календаре!

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

Следите за новостями — будет интересно!

Развитие Комплекта разработчика для ЗОСРВ «Нейтрино».
 
В настоящее время мы ведём работы по созданию нового набора инструментов (тулчейна) для текущей версии Нейтрино и последующих. В качестве базовых компонентов предполагаются к использованию кросс-компиляторы GCC 14.2 для языков C и C++ (включая поддержку санитайзеров ASan и UBSan), набор утилит binutils 2.44 и отладчик GDB 16.3 с полноценной поддержкой удалённой отладки через отладочный агент gdbserver.
 
Приоритетные целевые платформы, на которых сейчас сосредоточены усилия - x86, ARMv7 и AArch64, другие платформы планируем добавлять постепенно (в т.ч. исходя из востребованности со стороны пользователей). По текущей степени готовности: инструментарий для платформ x86 и ARMv7 - примерно 80% от запланированного объёма работ, по AArch64 - 60%.
 
Если у Вас есть заинтересованность в новом инструментарии (в т.ч. для целевых платформ, отсутствующих в списке), а также при наличии вопросов по каким-либо компонентам или подсистемам данного инструментария, Вы можете обращаться на адрес Технической поддержки для получения дополнительной информации (support@kpda.ru).

#Комплект_разработчика

Статический анализатор — мощный, но не всегда простой инструмент.

Поэтому мы подготовили для вас курс "Статический анализатор PVS-Studio на практике"!

Что вас ждет:
- Вы узнаете возможности анализатора, актуальные требования ГОСТ и как устроено лицензирование PVS-Studio.
- Познакомитесь с локальной работой с PVS-Studio в плагине для IDE.
- Поймёте, как встроить PVS-Studio в рабочий процесс разработки и минимизировать ручную работу.
- Узнаете про использование PVS-Studio в роли SAST-инструмента для автоматического поиска ошибок и потенциальных уязвимостей в исходном коде.
- Разберётесь с системой мониторинга компиляции и разметкой предупреждений по стандартам MISRA на практике.

Подробнее о курсе по этой ссылке 🔗

P.s. курс абсолютно бесплатный 😉

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

Наши партнеры из PVS-Studio подготовили практический курс, который поможет быстрее освоить анализатор и интегрировать его в процесс разработки.

#Безопасная_разработка

Можно ли превратить Grafana в систему управления доступом к тестовым стендам? Оказывается, да.

📖 В статье на Хабре Алексей Васюнин рассказывает о решении проблемы совместного использования тестовых устройств в команде разработки.

Когда десятки разработчиков и тестировщиков работают с одними и теми же аппаратными платформами, неизбежно возникают вопросы:
👍 кто сейчас использует устройство;
👍 свободен ли стенд;
👍 как быстро получить доступ к нужной плате;
👍 как избежать конфликтов между ручной работой и автоматизированным тестированием.

Если Вы занимаетесь разработкой, тестированием или эксплуатацией сложных ПАК-ов, статья может подсказать интересные идеи для автоматизации собственной инфраструктуры.

👍 Будем рады Вашим лайкам, репостам и комментариям!

#Хабр