🚀 19-20 июня, в Москве стартует XII научно-практическая конференция OS Day — значимое событие года для специалистов в области операционных систем!

👨‍💻 Наш эксперт по РБПО, Евгений Дужак, выступит с докладом «РБПО как фундамент жизненного цикла ОС Нейтрино».

Что вы узнаете из доклада:
👍 Архитектура Нейтрино
👍 Технологии, лежащие в основе разработки ОС
👍 Почему безопасная разработка — это не просто тренд, а необходимость

🎙 Участие возможно как очно, так и онлайн — выбирайте удобный формат и присоединяйтесь!
📌 Торопитесь регистрация заканчивается!

#OSDay #Мероприятия #РБПО

Лето в разгаре, но уже открыта регистрация на ПТА-Челябинск и ПТА-Новосибирск.

📅 Заноси в календарь:

👍ПТА-Челябинск: 24 сентября (отель Radisson Blu, ул. Труда, д. 179)
👍ПТА-Новосибирск: 29 октября («Гранд Автограф Новосибирск Отель», ул. Орджоникидзе, д. 31)

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

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

Устроим баттл городов.
Пишите в комментариях - Челябинск, если планируете посетить ПТА-Челябинск и Новосибирск, если планируете посетить ПТА-Новосибирск

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

Цикломатическая сложность? Не, не слышал.

Один из поводов включить объект в поверхность атаки - высокая цикломатическая сложность объекта исследования. Звучит просто, но как определить высокую цикломатическую сложность? Да и что это вообще такое?
Поверхность атаки пока что отложим на потом, это отдельный долгий разговор.

Цикломатическая сложность - количество линейно независимых путей через программный код. Абсолютно линейный код (например, типичный HelloWorld) - имеет сложность равную единицы, поскольку путь один. Условие = ветвление, а это +1, а то и +2 к сложности кода.

Можно считать вручную, можно рисовать ориентированные графы, а можно использовать специальные инструменты, например Lizard - проект с открытым исходным кодом на Python, который может вычислять метрики исходного кода на языке Си.

Какую информацию про код он выдает?
👍Цикломатическая сложность (CCN)
👍 Количество уникальных токенов (token - мера лексической сложности - количество уникальных лексем)
👍Количество параметров функции (param)
👍Cтроку с информацие о расположении функции (function@line@file)
👍 Количество строк без комментариев (признак документирования кода)

Также стоит заметить, что он поддерживает далеко не один C, список поддерживаемых языков можно посмотреть тут.

И главное - не стоит забывать про регуляторные требования по цикломатической сложности. Например, как мы говорили ранее, высокая цикломатическая сложность - прямой путь к добавлению в поверхность атаки, это то что касается ИБ, а если говорить про функциональную безопасность, то большинство сертификационных органов считает, что чем выше цикломатическая сложность, тем сложнее покрыть код модульными тестами. Рекомендации, основанные на стандартах кодирования и ГОСТ, советуют ограничиваться значением 10 (MISRA/ГОСТ Р МЭК 61508).

А если вам интересно более подробно узнать про то, как писать качественный и безопасный код, приглашаем посетить нашу конференцию 08-09 октября 2025 года.

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

Форум «Армия-2025» перенесен на следующий год, но кто хотел с нами встретиться и пообщаться - ближайшее мероприятие: ПТА-Челябинск.

👍Дата: 24 сентября
👍Место: Челябинск, отель Radisson Blu, ул. Труда, д. 179

Регистрация на ПТА-Челябинск уже открыта👈

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

🛡️ Вебинар по отказоустойчивости — уже 30 июля в 12:00 (МСК)!

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

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

🔐 Нейтрино — POSIX-совместимая защищённая ОС жёсткого реального времени, включённая в Реестр ПО Минцифры России и сертифицированная по требованиям информационной безопасности.

📍Регистрируемся здесь.

#Вебинары #Нейтрино

🌃 Питер. Жара +32!

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

Все слушатели, несмотря на тяжелые погодные условия, успешно сдали тестирование и получили удостоверения повышения квалификации 💼

Не успел приехать в Питер летом - приезжай осенью.

Ближайшие курсы:
🔹 Администрирование и диагностика ЗОСРВ «Нейтрино»
📍 15–18 сентября
🔹 Разработка приложений для ЗОСРВ «Нейтрино»
📍 20–23 октября

📈 Прокачанные навыки ведут к новым проектам и карьерному росту!

Торопись - записывайся:
📞 (812) 317-55-56
📧 education@kpda.ru

🔔 Напоминание!

Уже завтра, 30 июля в 12:00 (МСК) — вебинар, посвящённый подсистеме отказоустойчивости в ОСРВ «Нейтрино».

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

📍Успейте зарегистрироваться.

#Вебинары #Нейтрино

И это — не просто «приятно», это заслуженно 💥

Аналитический центр TAdviser включил нашу компанию в число 15-ти ведущих российских компаний – разработчиков ОС 🖥️🇷🇺

Но мы же с Вами знаем, кто из них – РЕАЛЬНО – самый лучший 😉🏆

🛡️ Продолжение следует!

Уже 14 августа в 12:00 (МСК) приглашаем на второй вебинар по отказоустойчивости в ОСРВ «Нейтрино».

📌 Мы расскажем:
👍как обеспечить отказоустойчивость клиент-серверных приложений
👍как расширить штатные диагностические инструменты администратора под задачи разработчика

Если пропустили — запись первого вебинара здесь.

📍Регистрация по ссылке

#Вебинары #Нейтрино

О динамическом анализе

Динамический анализ - метод исследования исполнения программы - по сути всё, что требует сборки объекта оценки (ОО) и запуска в тестовом/рабочем окружении. Часто сопряжен с внедрением инструментаций в ОО.

Какие виды динамического анализа бывают:
👍Профилирование - оценка времени выполнения функций, потребления ресурсов
👍 Отладка - пошаговое исполнение программы с анализом поведения и состояний.
👍 Тестирование - оценка корректности поведения модулей, программ и систем.
👍Фаззинг - проверка реакции ПО на некорректные входные данные.
👍Taint-анализ - проверка сохранности важных пользовательских данных.

При динамическом анализе метрикой оценки обычно является покрытие кода (Code coverage). Если говорить про компилируемый язык C - для внедрения этой метрики требуется инструментация.

Большинство видов динамического анализа подразумевают "общую" классификацию по типу знаний о внутреннем устройстве ОО:

- Белый ящик - знаем все устройство ОО, имеем доступ к его коду.
- Серый ящик - частично в курсе кода и устройства ОО - гибрид между белым и черным
- Черный ящик - ничего не знаем про устройство ОО.

В следующей заметке поговорим про каждый вид чуть-чуть поподробнее.

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