22-23 июня состоится ежегодная уже 10-я конференция OS DAY, организуемая ИСП РАН и посвященная формированию единой экосистемы российских операционных систем. И мы там тоже участвуем, причем сразу с 2 докладами!

В первый день Сергей Барсуков расскажет об одном из подходов по реализации управления процессами в реальном времени с использованием #KasperskyOS. В качестве proof-of-concept - проект по управлению расходом жидкости на ОС «Багет» и контролю коммуникаций на нашей ОС на базе отечественного процессора.

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

Приходите послушать! Это точно будет познавательно 🙂

Вы можете принять участие в конференции как очно, так и удаленно. Расписание докладов, адрес проведения мероприятия, имена докладчиков смотрите на сайте конференции
📍 https://osday.ru

Сегодня говорим о графической подсистеме ОС, и в нашем эфире сразу ✌🏻 двое!

Игорь Подвойский, руководитель группы разработки компонент безопасной платформы «Лаборатории Касперского», рассказывает, с чего начать разработчику в мире графики, и как с этим могут помочь библиотеки Mesa.

Владислав Фофанов, разработчик компонент безопасной платформы, переходит к теме отладки и тестирования и демонстрирует графический стек в #KasperskyOS на примере VirtIO GPU и (внезапно!) Quake.

А в целом, рассуждаем о том, как могла бы выглядеть операционная система будущего.
▶️ Смотреть на YouTube

👏🏼 Вышел первый релиз сборщика проектов под .Net Core для #KasperskyOS.
Самое интересное — работа выполнена независимым энтузиастом-разработчиком Юрием Карайоном по собственной инициативе.

На данный момент пакет поддерживает компиляцию исходников на языке C# в единый файл, пригодный к исполнению на KasperskyOS CE v 1.1.1.13. Поддерживается основной набор модулей, кроме криптографической библиотеки .Net и зависящих от нее. Для компиляции модулей .Net и самого C#-решения под KasperskyOS используется gcc, но с нестандартной конфигурацией build системы.

📌 Скачать и собрать релиз можно по ссылке https://github.com/caraioniurie47/runtime-kos/releases/tag/release_v01

Мы приглашаем всех желающих к тестированию, проверке и участию в развитии кода совместно с автором-разработчиком!

🔥 Напоминаем, что Kaspersky Cyber Immunity Developers Night — открытая обучающая конференция по кибериммунной разработке — стартует сегодня в 15:00 по московскому времени.

Ждем всех, кто заинтересован в безопасной разработке и построении кибериммунного будущего!

👉🏼 Вы еще успеваете присоединиться
https://kas.pr/me41

Зачем нужны формальные методы — это же долго, дорого и трудно?
На самом деле, нет! 🙃

Неформально о формальных методах, как и почему это работает в #KasperskyOS, рассказывает Васил Дядов, руководитель группы разработки формальных методов «Лаборатории Касперского».

▶️ Смотрите на YouTube
https://www.youtube.com/watch?v=WYLgHLjrz8U

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

Узнайте больше о KasperskyOS на официальном сайте: https://os.kaspersky.ru

🧐 Как создавать Secure by Design системы, не пытаясь сделать неуязвимым каждый компонент?

В современных информационных системах все взаимосвязано: взломают один-единственный компонент — и под угрозой окажется вся инфраструктура. Но тщательно защитить совершенно все - просто невозможно! На это банально не хватит ресурсов разработчика.

А вот, что сделать можно (и нужно!): выбрать ключевые компоненты системы, которые не только сами нуждаются в защите, но и служат буфером между системой и «внешним миром». И уже тщательно защищать именно их.

Подробнее о таком подходе рассказал технологический евангелист #KasperskyOS Александр Винявский в авторском блоге: https://kas.pr/kfe1
#InsideCyberImmunity

В 2022 году началось сотрудничество «Лаборатории Касперского» и проектной лаборатории МАИ. А недавно ребята опубликовали статью на Habr, где рассказали о проекте портирования среды исполнения программ распределенных систем управления Eclipse 4diac forte.

Программы для этой среды пишутся в оболочке Eclipse на языках стандарта IEC 61499 (он основан на известнейшем IEC 61131). В качестве рабочей платформы для демонстрации проекта был взят двухколесный робот Alfa Bot, использующий плату Raspberry Pi 4B и операционную систему #KasperskyOS Community Edition.

Подробнее о результатах проекта читать в статье на Habre:
👉 https://habr.com/ru/articles/727562/

Исходники:
на Gitflic - https://gitflic.ru/project/slavikmai/deep-forte-on-kos-with-fboot
на Github https://github.com/ElPallasCat/kos_abot_mqtt

А ребята в проектной лаборатории МАИ – МОЛОДЦЫ! 👏

Просто пожелаем вам хороших выходных 🙂

– Хэй, мистер Винк! Я хотел…
– Теперь выходные, Ник. Ты не знаешь меня, я не знаю тебя, ты не существуешь

Сергей Соболев, старший архитектор по информационной безопасности «Лаборатории Касперского», продолжает обучать кибериммунной разработке в необычном формате.

5 июля и 12 июля в 19:00 (мск) в рамках мини-курса состоятся встречи-обсуждения концепции безопасности продукта (КБП), так широко обсуждавшегося в СМИ, - системы управления беспилотниками из космоса.

Участники встреч смогут примерить на себя роль заказчика и заодно архитектора решения.
📍Присоединиться к курсу: https://news.1rj.ru/str/+lILCByk1z1FiYTk0

❗️Участие в курсе бесплатное, но есть вводное задание: опишите КБП в объёме до 2х страниц и предложите свою версию политики архитектуры.
Подробнее о задании и мини-курсе - по ссылке выше.

Одна из стандартных проблем у осваивающих #KasperskyOS — разобраться с классами процессов, их экземплярами и исполнимыми файлами.

Разбираемся в тонкостях именования и назначении классов, экземпляров и исполнимых файлов в KasperskyOS вместе с Александром Лифановым, менеджером по продукту «Лаборатории Касперского»
📌https://kas.pr/1ina

Спойлер: Кстати, это именно он регулярно отвечает на ваши комментарии в канале 🙂

Вы еще не забыли,что в апреле у нас проходил хакатон по кибериммунной разработке – онлайн-соревнование от "Лаборатории Касперского" для разработчиков, которые хотят создавать IT-системы, защищенные на уровне архитектуры?

Больше 2.000 участников в составе 150 команд приняли участие в соревновании. GenericBoys из Российского университета транспорта (бывш. МИИТ, г.Москва) участвовали в хакатоне "Лаборатории Касперского" уже дважды, и в этот раз стали серебряными призерами!

На видео ребята из GenericBoys рассказывают о хакатоне, так сказать, изнутри, глазами участника: почему они приняли участие в хакатоне, что помогло им победить (и как их преподаватели смогли замотивировать ребят).

Хакатоны будут еще! И у вас есть время подготовиться. Группы обучения собирают здесь - https://news.1rj.ru/str/learning_cyberimmunity

Как обычно моделируют угрозы? 🧐
Сперва разработчики проектируют систему, а затем начинают искать риски, с которыми она может столкнуться. Внедряют меры защиты – выявляют новые угрозы. И цикл повторяется снова и снова...

Процесс этот очень долгий и дорогой. Разорвать порочный круг и снизить затраты на разработку безопасной системы поможет метод Secure by Design. Подробнее о нем рассказывает Александр Винявский, технологический евангелист #KasperskyOS, в новой статье в нашем Кибериммунном блоге » https://kas.pr/5fgh

#InsideCyberImmunity

⚡️ МАИ подготовил первых специалистов по разработке на операционной системе KasperskyOS.

В Московском авиационном институте (МАИ) состоялся первый выпуск студентов бакалавриата — участников лаборатории кибериммунных решений на кафедре 307 «Цифровые технологии и информационные системы».

За полтора года с момента открытия лаборатории более 150 учащихся МАИ получили знания, необходимые для разработки на #KasperskyOS. И вот первые 6 студентов защитили дипломные работы по разработке решений на базе операционной системы «Лаборатории Касперского».

🎉 Поздравим ребят и пожелаем им успехов!

Но и те, кто не учится в МАИ, может познакомиться с KasperskyOS и почувствовать себя гуру информационных систем, закончив курс по основам разработки под KasperskyOS на платформе Stepik
📍 https://kas.pr/2xjk

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

В библиотеке обучения разработке в #KasperskyOS пополнение! Это модификация стандартного примера Hello из SDK.

В новой версии вы увидите 2 механики:
▫️Запуск двух процессов с разным функционированием из одного исходника;
▫️Простые механики передачи и приема аргументов и переменных окружения.

💾 Скачивайте, тестируйте: https://github.com/AlxLifanov/hello_env
А Александр Лифанов, наш менеджер по продукту, ответит на любые ваши вопросы о системе KasperskyOS на форуме.

Для тех, кто предпочитает получать концентрированную пользу в сжатые сроки - наш базовый курс по основам разработки под #KasperskyOS на платформе Stepik.
📍https://kas.pr/stepik.tg

Курс состоит из 4 модулей, с теоретическими и практическими материалами и заданиями. 25 коротких уроков займут 3 часа чистого времени. По окончанию обучения вы узнаете об архитектуре KasperskyOS, получите навыки разработки кибериммунных решений и научитесь писать простые приложения. Также сертификат об успешном окончании нашего курса даст вам преимущество и рекомендации при приеме на работу в компании, использующие KasperskyOS.

И да! Курс бесплатный✌😉
Учиться можно сразу.