СВД ВС

Когда безопасность сети начинается с драйвера Можно запретить входящий трафик с помощью 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. 🔗 Регистрация: #Безопасная_разработка #Партнеры #Вебинары