Делимся записью вебинара "Применение ЗОСРВ "Нейтрино" и PVS-Studio для разработки ПО согласно требованиям МЭК 61508"! 🔥
На вебинаре разобрали подходы к разработке функционально безопасного ПО для ЗОСРВ «Нейтрино» в соответствии с требованиями МЭК 61508 и показали, какую роль в этом процессе играют инструменты статического анализа.
В первой части поговорили о принципах разработки ПО для «Нейтрино», рассмотрели требования МЭК 61508 к инструментальным средствам, и продемонстрировали работу PVS-Studio в комплекте разработчика «Нейтрино».
Во второй части подробнее остановились на статическом анализе как инструменте для обеспечения безопасности. Разобрали требования МЭК 61508 и МЭК 26262, их связь со стандартами MISRA и рассмотрели, как PVS-Studio помогает контролировать качество и соответствие кода требованиям стандартов.
В завершение рассказали о новой мажорной версии PVS-Studio 8.0: рассмотрели ключевые изменения и нововведения релиза и обозначили дальнейшие направления развития инструмента, включая функциональную безопасность.
Посмотреть можно тут:
- VK Video
- Rutube
- YouTube
- Наш сайт
#вебинар #видео
На вебинаре разобрали подходы к разработке функционально безопасного ПО для ЗОСРВ «Нейтрино» в соответствии с требованиями МЭК 61508 и показали, какую роль в этом процессе играют инструменты статического анализа.
В первой части поговорили о принципах разработки ПО для «Нейтрино», рассмотрели требования МЭК 61508 к инструментальным средствам, и продемонстрировали работу PVS-Studio в комплекте разработчика «Нейтрино».
Во второй части подробнее остановились на статическом анализе как инструменте для обеспечения безопасности. Разобрали требования МЭК 61508 и МЭК 26262, их связь со стандартами MISRA и рассмотрели, как PVS-Studio помогает контролировать качество и соответствие кода требованиям стандартов.
В завершение рассказали о новой мажорной версии PVS-Studio 8.0: рассмотрели ключевые изменения и нововведения релиза и обозначили дальнейшие направления развития инструмента, включая функциональную безопасность.
Посмотреть можно тут:
- VK Video
- Rutube
- YouTube
- Наш сайт
#вебинар #видео
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from javaswag
https://www.youtube.com/watch?v=zgvO5Dds4Ns
В 96-м выпуске подкаста Javaswag поговорили с Егором Пишим, молодым но опытным разработчиком из команды PVS-Studio
Обсудили, как войти в Java через моды и серверы Minecraft, почему майнкрафт живет на Netty и Gradle, как грамотно организовать мультимодульные проекты с помощью build-logic и type-safe accessor'ов, а также заглянули под капот разработки статических анализаторов кода (от поиска багов и до соответствия ГОСТам).
00:00 Как войти в Java через свой Minecraft-сервер
2:06 Архитектура Minecraft под капотом
7:09 Производительность и многопоточность в Minecraft: 50 мс на тик, Netty и проект Folia
14:07 Почему экосистема Minecraft выбирает сборку через Gradle
18:56 Проект Shop и вебинары по Gradle
21:30 Эволюция плагинов в проекте
25:19 Type-safe accessors и Version Catalogs
32:30 Плагины
41:09 Новый статический анализатор в PVS-Studio
45:30 Как работает анализатор кода
51:38 Интеграция в SourceCraft и ГОСТы безопасности
54:57 Непопулярное мнение
56:22 Пет-проект гостя: java-file-api (альтернатива JavaPoet)
Курс «Современный Gradle для Java-разработчика»
https://github.com/not-pishii/java-file-api — пет-проект Егора, альтернатива JavaPoet
В 96-м выпуске подкаста Javaswag поговорили с Егором Пишим, молодым но опытным разработчиком из команды PVS-Studio
Обсудили, как войти в Java через моды и серверы Minecraft, почему майнкрафт живет на Netty и Gradle, как грамотно организовать мультимодульные проекты с помощью build-logic и type-safe accessor'ов, а также заглянули под капот разработки статических анализаторов кода (от поиска багов и до соответствия ГОСТам).
00:00 Как войти в Java через свой Minecraft-сервер
2:06 Архитектура Minecraft под капотом
7:09 Производительность и многопоточность в Minecraft: 50 мс на тик, Netty и проект Folia
14:07 Почему экосистема Minecraft выбирает сборку через Gradle
18:56 Проект Shop и вебинары по Gradle
21:30 Эволюция плагинов в проекте
25:19 Type-safe accessors и Version Catalogs
32:30 Плагины
application и java-library: в чем разница между api и implementation41:09 Новый статический анализатор в PVS-Studio
45:30 Как работает анализатор кода
51:38 Интеграция в SourceCraft и ГОСТы безопасности
54:57 Непопулярное мнение
56:22 Пет-проект гостя: java-file-api (альтернатива JavaPoet)
Курс «Современный Gradle для Java-разработчика»
https://github.com/not-pishii/java-file-api — пет-проект Егора, альтернатива JavaPoet
YouTube
#96 - Gradle, плагины для Minecraft и статический анализ в PVS-Studio
В 96-м выпуске подкаста Javaswag поговорили с Егором Пишим, Java-разработчиком из команды PVS-Studio
Обсудили, как войти в Java через моды и серверы Minecraft, почему мир кубов живет на Netty и Gradle, как грамотно организовать мультимодульные проекты с…
Обсудили, как войти в Java через моды и серверы Minecraft, почему мир кубов живет на Netty и Gradle, как грамотно организовать мультимодульные проекты с…
Java 27 вышла в релиз. В него вошли четыре узконаправленные правки и пять превью/инкубаторов. Разбираем изменения в сборщике мусора, улучшения JFR, постквантовый TLS 1.3 и компактные заголовки объектов, экономящие треть памяти.
Переходите по ссылке🔗
#java #статья
Переходите по ссылке
#java #статья
Please open Telegram to view this post
VIEW IN TELEGRAM
Должен ли тимлид быть лучшим разработчиком в команде? 🤔
На новом вебинаре поговорим о том, в чём на самом деле заключается ценность тимлида, можно ли эффективно руководить командой, не являясь техническим экспертом, и как решать проблемы, в которых вы сами не разбираетесь.
Инна Пристягина (руководитель развития персонала в PVS-Studio) расскажет о Практиках хорошего тимлида, но плохого тех.эксперта. Разберёт, почему неумение лично выполнять задачи команды — не слабость руководителя, а вполне осознанная и эффективная модель работы.
Александра Бутузова (TeamLead кросс-функциональной команды в F.Doc) разберёт, как Решать проблемы как тимлид. Ведь лидеру регулярно приходится сталкиваться с задачами и ситуациями, в которых он не является экспертом. Как действовать в таких случаях и в чём заключается истинная ценность работы руководителя — обсудим на вебинаре.
Встречаемся 25 сентября в 14:00 🗓
Регистрация доступна по ссылке🔗
Всем зарегистрировавшимся мы обязательно пришлем запись!
#вебинар #тимлид
На новом вебинаре поговорим о том, в чём на самом деле заключается ценность тимлида, можно ли эффективно руководить командой, не являясь техническим экспертом, и как решать проблемы, в которых вы сами не разбираетесь.
Инна Пристягина (руководитель развития персонала в PVS-Studio) расскажет о Практиках хорошего тимлида, но плохого тех.эксперта. Разберёт, почему неумение лично выполнять задачи команды — не слабость руководителя, а вполне осознанная и эффективная модель работы.
Александра Бутузова (TeamLead кросс-функциональной команды в F.Doc) разберёт, как Решать проблемы как тимлид. Ведь лидеру регулярно приходится сталкиваться с задачами и ситуациями, в которых он не является экспертом. Как действовать в таких случаях и в чём заключается истинная ценность работы руководителя — обсудим на вебинаре.
Встречаемся 25 сентября в 14:00 🗓
Регистрация доступна по ссылке
Всем зарегистрировавшимся мы обязательно пришлем запись!
#вебинар #тимлид
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Бестиарий программирования
Всем привет. Я уже делал цикл из 5 вебинаров про ГОСТ Р 71207—2024 (Статический анализ программного обеспечения): Общее описание и актуальность, Терминология, Критические ошибки, Технологии анализа кода, Процессы.
С тех времён я переосмыслил некоторые моменты. Прошли испытания статических анализаторов. Вышел ГОСТ Р 56939—2024 и так далее.
Поэтому меня посетила мысль вновь сделать обзор стандарта, но немного в другом формате: брать разные фрагменты из него и комментировать/обсуждать. Образно говоря, читать и разбирать ГОСТ вслух с интонацией, комментариями и отсылками :)
Это можно сделать по-разному:
1. Просто сесть и сделать записи. Потом это можно будет слушать как мини аудио-книгу/подкаст.
2. Сделать стрим, где попутно будут задаваться вопросы по разбираемому месту.
Второй вариант подразумевает, что это будет интересно аудитории и люди соберутся, иначе теряется смысл и проще пойти по первому пути. Решил сделать предварительный опрос.
С тех времён я переосмыслил некоторые моменты. Прошли испытания статических анализаторов. Вышел ГОСТ Р 56939—2024 и так далее.
Поэтому меня посетила мысль вновь сделать обзор стандарта, но немного в другом формате: брать разные фрагменты из него и комментировать/обсуждать. Образно говоря, читать и разбирать ГОСТ вслух с интонацией, комментариями и отсылками :)
Это можно сделать по-разному:
1. Просто сесть и сделать записи. Потом это можно будет слушать как мини аудио-книгу/подкаст.
2. Сделать стрим, где попутно будут задаваться вопросы по разбираемому месту.
Второй вариант подразумевает, что это будет интересно аудитории и люди соберутся, иначе теряется смысл и проще пойти по первому пути. Решил сделать предварительный опрос.
Forwarded from Бестиарий программирования
Please open Telegram to view this post
VIEW IN TELEGRAM
Друзья, мы участвуем в форуме "Безопасность транспортных средств". И приглашаем вас!
На форуме будет обсуждаться функциональная безопасность, интеллектуальные транспортные системы, автоматизация, автономное управление и электронные системы автомобилей и железнодорожного транспорта.
Андрей Карпов, сооснователь PVS-Studio, расскажет о применении статического анализа в задачах функциональной безопасности — "Анализатор PVS-Studio как средство достижения целей верификации ГОСТ Р ИСО 26262-6". А также там будет работать наш стенд, где мы подробнее расскажем об анализаторе и его возможностях😉
🗓23 сентября
📍 Павильон «Умный город» на ВДНХ. Проспект Мира, 119, стр. 461
🔗Регистрация и подробности по ссылке
#мероприятия #PVS_Studio
На форуме будет обсуждаться функциональная безопасность, интеллектуальные транспортные системы, автоматизация, автономное управление и электронные системы автомобилей и железнодорожного транспорта.
Андрей Карпов, сооснователь PVS-Studio, расскажет о применении статического анализа в задачах функциональной безопасности — "Анализатор PVS-Studio как средство достижения целей верификации ГОСТ Р ИСО 26262-6". А также там будет работать наш стенд, где мы подробнее расскажем об анализаторе и его возможностях
🗓23 сентября
📍 Павильон «Умный город» на ВДНХ. Проспект Мира, 119, стр. 461
🔗Регистрация и подробности по ссылке
#мероприятия #PVS_Studio
Please open Telegram to view this post
VIEW IN TELEGRAM
Вышел PVS-Studio 8.0! Мы добавили поддержку анализа Go проектов и многое другое. В новой статье мы разберем интересные диагностические правила для Go, которые мы подготовили с выходом новой версии нашего анализатора.
Переходите по ссылке🔗
#go #статья
Переходите по ссылке
#go #статья
Please open Telegram to view this post
VIEW IN TELEGRAM
Красивый и надёжный код почти никогда не рождается с первого раза. Сначала появляются ошибки, а уже потом – идиомы, которые помогают их избегать.
На вебинаре рассмотрели реальные фрагменты кода из открытых проектов на языке C++, нашли в них проблемные места с помощью статического анализа, и разобрали более 10 идиом и паттернов, которые позволят защитить ваш код.
Посмотреть запись можно тут:
- VK Video
- Rutube
- YouTube
- Наш сайт
Приятного просмотра! Ждём ваши комментарии!
#вебинар #cpp #идиома
На вебинаре рассмотрели реальные фрагменты кода из открытых проектов на языке C++, нашли в них проблемные места с помощью статического анализа, и разобрали более 10 идиом и паттернов, которые позволят защитить ваш код.
Посмотреть запись можно тут:
- VK Video
- Rutube
- YouTube
- Наш сайт
Приятного просмотра! Ждём ваши комментарии!
#вебинар #cpp #идиома
Статический анализатор — это полезный инструмент, и Go разработчики знают это не понаслышке благодаря go vet. Но что, если его возможностей не хватает? Искать новый инструмент? Или сделать… свой?!
В докладе разберём встроенные в Go инструменты и возможности для разбора кода. Узнаем, что лежит под капотом статического анализа, что такое семантическая модель, и построим синтаксическое дерево.
А нужно это всё для того, чтобы в итоге написать собственный анализатор, который будет искать ошибки под ваш конкретный проект.
Встречаемся 28 сентября в 15:00 🗓
Регистрация по ссылке🔗
#вебинар #go
В докладе разберём встроенные в Go инструменты и возможности для разбора кода. Узнаем, что лежит под капотом статического анализа, что такое семантическая модель, и построим синтаксическое дерево.
А нужно это всё для того, чтобы в итоге написать собственный анализатор, который будет искать ошибки под ваш конкретный проект.
Встречаемся 28 сентября в 15:00 🗓
Регистрация по ссылке
#вебинар #go
Please open Telegram to view this post
VIEW IN TELEGRAM
"Лаборатория Касперского" использует PVS-Studio в разработке операционной системы KasperskyOS с 2016 года. За это время некоторые обращения разработчиков в нашу поддержку превратились в новые функции анализатора, доступные теперь всем пользователям PVS-Studio.
Разбираем пять таких случаев и показываем, как обратная связь корпоративного клиента влияет на развитие продукта. Подробности по ссылке🔗
#PVS_Studio #кейс
Разбираем пять таких случаев и показываем, как обратная связь корпоративного клиента влияет на развитие продукта. Подробности по ссылке
#PVS_Studio #кейс
Please open Telegram to view this post
VIEW IN TELEGRAM
Стек мы расширили, время расширять и рубрику "Найди ошибку в коде"!
Получится найти ошибку в этом фрагменте кода на Go? Ошибка, кстати, из проекта Gitea. А еще больше интересных ошибок на Go можно найти тут 🔗
#go #ошибка
Получится найти ошибку в этом фрагменте кода на Go? Ошибка, кстати, из проекта Gitea. А еще больше интересных ошибок на Go можно найти тут 🔗
#go #ошибка
Media is too big
VIEW IN TELEGRAM
Конкурс с пасхалками продолжается 🔥
Если вы вдруг пропустили эту новость, то рассказываем 👇🏻
В честь выхода PVS-Studio 8.0 мы решили устроить небольшую охоту. Нами спрятано несколько пасхалок. Всем, кто активно использует анализатор, будет несложно отыскать хотя бы одну из них. А если вы еще не пробовали запускать PVS-Studio, то вот тут можно забрать пробную лицензию и поучаствовать в охоте!
Первые 10 человек, которые найдут спрятанные нами пасхалки и напишут нам, получат две бумажные книги по C++ в подарок. Не забудьте указать в сообщении, где вы отыскали нашу пасхалку.
Охота завершится 31 октября!
Подробные условия и как забрать приз — здесь 👈🏻
#PVS_Studio #книги #cpp
Если вы вдруг пропустили эту новость, то рассказываем 👇🏻
В честь выхода PVS-Studio 8.0 мы решили устроить небольшую охоту. Нами спрятано несколько пасхалок. Всем, кто активно использует анализатор, будет несложно отыскать хотя бы одну из них. А если вы еще не пробовали запускать PVS-Studio, то вот тут можно забрать пробную лицензию и поучаствовать в охоте!
Первые 10 человек, которые найдут спрятанные нами пасхалки и напишут нам, получат две бумажные книги по C++ в подарок. Не забудьте указать в сообщении, где вы отыскали нашу пасхалку.
Охота завершится 31 октября!
Подробные условия и как забрать приз — здесь 👈🏻
#PVS_Studio #книги #cpp
Please open Telegram to view this post
VIEW IN TELEGRAM
PVS-Studio: поиск ошибок в коде
Должен ли тимлид быть лучшим разработчиком в команде? 🤔 На новом вебинаре поговорим о том, в чём на самом деле заключается ценность тимлида, можно ли эффективно руководить командой, не являясь техническим экспертом, и как решать проблемы, в которых вы сами…
Уже завтра встречаемся на вебинаре "Можно ли быть тимлидом, но не быть экспертом? Или тренеры не играют"! Начинаем в 14:00 ⏰
Как шаг за шагом организовать процесс внедрения статического анализа по ГОСТ Р 71207—2024: рассказываем простыми словами с отсылками на соответствующие пункты стандарта.
Новая статья будет полезна компаниям, планирующим внедрять разработку безопасного ПО (РБПО) или проходить сертификацию по методике ВУ и НДВ ФСТЭК России.
Переходите по ссылке🔗
#PVS_Studio #статья #ГОСТ #РБПО
Новая статья будет полезна компаниям, планирующим внедрять разработку безопасного ПО (РБПО) или проходить сертификацию по методике ВУ и НДВ ФСТЭК России.
Переходите по ссылке
#PVS_Studio #статья #ГОСТ #РБПО
Please open Telegram to view this post
VIEW IN TELEGRAM