Верификация и сертификация программного обеспечения критичного к безопасности в среде MATLAB

Организаторы: Softline, MathWorks
Дата проведения: 11 октября 2011 10.00
 

Уважаемые дамы и господа!
 

Компании Softline и MathWorks приглашают вас принять участие в бесплатном вебинаре «Верификация и сертификация программного обеспечения критичного к безопасности в среде MATLAB».
В этом вебинаре будет сделан обзор инструментов MathWorks, связанных с верификацией программного обеспечения: Simulink Verification and Validation, Simulink Design Verifier, Polyspace, а также инструментов, позволяющих сократить время сертификации по стандартам DO-178B и семейству стандартов IEC 61508: DO Qualification Kit и IEC Certification Kit.
 

Также на примерах будет показано, как:
• Разрабатывать исполняемую спецификацию с привязкой к текстовым документам;
• Доказывать отсутствие run time ошибок (переполнения, деление на ноль) в модели формальными методами;
• Выполнять функциональное тестирование и делать оценку его качества;
• Находить "мертвый код" и выполнять генерацию тестов для 100% охвата тестированием;
• Доказывать выполнение требований при любых входных данных с помощью формальных методов;
• Доказывать отсутствие run time ошибок в C/C++ коде;
• Использовать Qualification Kit и IEC Certification Kit для ускорения процесса сертификации.
 

Вебинар проводят Денис Жегалин и Дмитрий Шидловский - инженеры Департамента MathWorks.