🔐 Функциональная безопасность начинается с кода
9 сентября вместе с партнерами PVS-Studio проведём вебинар:
«Применение ЗОСРВ «Нейтрино» и PVS-Studio для разработки ПО согласно требованиям МЭК 61508»
Разберём, как подходы к разработке ПО для ЗОСРВ «Нейтрино» соотносятся с требованиями МЭК 61508 и какую роль в обеспечении функциональной безопасности играет статический анализ.
Что будет на вебинаре:
👍 требования МЭК 61508 к инструментальным средствам разработки;
👍 практическая демонстрация PVS-Studio в комплекте разработчика «Нейтрино»;
👍 статический анализ как инструмент повышения безопасности и качества ПО;
👍 требования МЭК 61508 и МЭК 26262, их связь с рекомендациями MISRA;
👍 возможности PVS-Studio для контроля качества и соответствия кода требованиям стандартов;
👍 обзор новой мажорной версии PVS-Studio 8.0 и дальнейшие направления развития инструмента, включая функциональную безопасность.
🎤 Получится не только поговорить о стандартах, но и показать, как инструменты разработки и статического анализа работают вместе на практике.
📅 Дата - 9 сентября
🕛 Время - 12:00
👉 Регистрируйтесь и подключайтесь к вебинару вместе с экспертами СВД ВС и PVS-Studio.
🔗 Регистрация:
#Безопасная_разработка #Партнеры #Вебинары
«СВД ВС» - канал из категории «Технологии», подключенный к сервису кросспостинга MaxGate. Публикации канала синхронизируются между Telegram и мессенджером MAX, а на этой странице собраны ссылки на обе версии канала.
Сейчас у канала 551 подписчик суммарно в Telegram и MAX. За последние 27 дней в истории MaxGate учтено 7 публикаций, поэтому перед подпиской можно оценить не только размер аудитории, но и регулярность обновлений.
Чтобы подписаться, используйте кнопки «Открыть в MAX» и «Открыть в Telegram» в верхней части страницы. У отдельных постов ссылка может быть доступна в обоих мессенджерах или только в одном из них, если MaxGate получил такой URL из истории обработки.
🌐 Когда разработка нового сетевого стека начинается с архитектуры
В рамках создания нового сетевого стека io-enginet мы провели работу, которая на первый взгляд может показаться «внутренней кухней» разработки. Но именно такие вещи во многом определяют качество системного ПО.
Мы задокументировали общую архитектуру и взаимосвязи компонентов менеджера сетевого стека.
Почему это важно?
Сетевой стек — это не один модуль, а целая система взаимодействующих компонентов: менеджер, протоколы, драйверы, механизмы обработки и передачи пакетов, интерфейсы для прикладных программ. В архитектуре ЗОСРВ «Нейтрино», например, сетевые драйверы и протокольные модули подключаются к менеджеру сетевой подсистемы и взаимодействуют через определённые интерфейсы.
Поэтому хорошая архитектурная документация — это не формальность.
Она позволяет:
👍 понимать систему целиком, а не отдельными фрагментами;
👍 видеть зависимости между компонентами и оценивать последствия изменений;
👍 снижать сложность дальнейшей разработки и сопровождения;
👍 создавать основу для развития нового стека без потери архитектурной целостности;
👍 аккумулировать знания и эффективно управлять ими;
👍 ускорять выполнение задач в командах разработки за счет документирования даже низкоуровневых принципов работы кода.
В результате проект io-enginet — это не только разработка нового сетевого стека. Это ещё и работа по формированию понятной, документированной и управляемой архитектуры сетевой подсистемы.
А иногда именно такая работа за кадром и является самым важным результатом разработки.
#Нейтрино
Следующая остановка — Уфа!
22 сентября встречаемся на выставке ПТА-Уфа.
На нашем стенде покажем российские среды разработки для ПЛК под управлением ОСРВ «Нейтрино» — и расскажем, как связка отечественной среды разработки и защищённой ОСРВ помогает создавать надёжные программно-аппаратные комплексы для промышленной автоматизации.
🎤 А ещё Владимир Махилёв в 14.40 выступит с докладом:
«Нейтрино — доверенная и защищённая ОСРВ для промышленных ПАК объектов КИИ».
Поговорим о требованиях к программной платформе для критической инфраструктуры и о том, какую роль в таких системах играет ОС реального времени.
👍 Дата: 22 сентября
👍 Место: г. Уфа, Верхнеторговая площадь, д. 2, Nesterov Plaza Hotel
👉 Регистрируйтесь на ПТА-Уфа и приходите знакомиться с Нейтрино вживую.
#ПТА #Мероприятия
Нейтрино поддерживает защищенный накопитель JaCarta.
Совместно с компанией Аладдин мы реализовали поддержку защищённого носителя информации JaCarta SF/ГОСТ.
JaCarta SF/ГОСТ предназначен для безопасного хранения и транспортировки информации ограниченного доступа — в том числе документов с грифом ДСП и сведений, составляющих государственную тайну.
Что даёт такая интеграция?
👍 Безопасную работу с информацией ограниченного доступа — защищённый носитель становится частью доверенной программно-аппаратной среды ОС.
👍 Защищённое хранение и транспортировку данных — информация может переноситься с использованием специализированного аппаратного USB-токена, а не обычного сменного накопителя.
👍 Управляемость — вместе с аппаратным носителем используется специализированное ПО для его ввода в эксплуатацию, управления и администрирования.
👍 Расширение применения ОС в защищённых контурах — поддержка специализированных средств защиты позволяет использовать ОС в системах, где предъявляются повышенные требования к работе с информацией ограниченного доступа.
Для нас это ещё один шаг к тому, чтобы Нейтрино была не просто защищённой операционной системой, а полноценной основой доверенной вычислительной среды — с поддержкой необходимых средств защиты на разных уровнях системы.
И это особенно важно там, где безопасность должна обеспечиваться не отдельным продуктом, а всей цепочкой: от аппаратной платформы и ОС до средств хранения, защиты и управления данными.
#Партнеры
