Приглашаем принять участие в семинаре «Разработка встроенного ПО, удовлетворяющего стандарту IEC 61508 в среде MATLAB и Simulink», который состоится 31 мая в Москве.

Данный семинар посвящен сертификации функциональной безопасности систем по стандарту ГОСТ Р МЭК 61508 (IEC 61508) и производным стандартам ISO 26262 и EN50128. Для решения подобного рода задач применяется подход, называемый модельно-ориентированное проектирование (Model Based Design). Применение такого подхода позволяет проектировать программное обеспечение встраиваемых систем, отслеживая разработку от требований до объектного кода и доказывая отсутствие ошибок формальными методами. Особенное внимание будет уделено вопросу квалификации инструментов верификации. Существует мнение, что квалифицированного генератора кода достаточно для подготовки кода к сертификации, но этот миф легко разрушить.

Более подробная информация: http://sl-matlab.ru/news/detail.php?ID=720