Вери-ция и серт-ция ПО критичного к без-ти в среде MATLAB

Семинары, конференции, мероприятия, вакансии softline и прочее

Модератор: Admin

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Вери-ция и серт-ция ПО критичного к без-ти в среде MATLAB

Сообщение Admin » Пт сен 16, 2011 7:51 pm

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

Организаторы: 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.

Вебинар будет интересен разработчикам программного обеспечения критичного к безопасности, тестировщикам и руководителям проектов.

Вебинары – это мероприятия, проходящие в режиме онлайн. Они похожи на обычные семинары – последовательные доклады, показ демонстраций, вопросы и ответы, однако все это происходит в режиме реального времени через Интернет. Таким образом, несмотря на то, что все участники физически находятся далеко друг от друга, образуется виртуальная «аудитория», объединяющая всех.
Предварительная регистрацияна вебинар является обязательной!

Вносить данные необходимо на русском языке!
После регистрации участник получит письмо с дальнейшими инструкциями.

Технические требования:
• Поддерживаемые браузеры: IE 6.0 и выше, Firefox, Opera;
• Скорость соединения: от 128 Кбит/с.;
• Блокировка всплывающих окон должна быть выключена;
• Должны быть открыты порты 80 и 443 на файерволе;
• Необходимо сделать следующие изменения в настройках IE 7.0: снять галочку «Проверять аннулированные сертификаты издателей» и «Проверять, не отозван ли сертификат сервером».
Ориентировочный объем интернет-трафика для вебинара 60-90 Мб.


Adobe Connect Pro – ПО, с помощью которого организован и проведен вебинар. Подробности на сайте www.avirta.ru.