Дистанционное обучение
 

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

Тематика: Информационные технологии
Продолжительность: 1 день
Стоимость: договорная

Цель

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


Аудитория

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

   Уточнить дату проведения
Ваше имя:
Ваш e-mail:
Ваш вопрос:

О программе

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

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

Вебинар организован и проведен на платформе Adobe Connect Pro.

Подробности на сайте www.avirta.ru.


Содержание программы дистанционной программы обучения "Вебинар «Верификация и сертификация программного обеспечения критичного к безопасности в среде matlab»"

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


Дополнительная информация

11 октября 2011 года в 10.00 по московскому времени

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

Предварительная регистрация на вебинар является обязательной!

Вносить данные необходимо на русском языке!

После регистрации участник получит письмо с дальнейшими инструкциями.


Организатор
тел.: (843) 527-98-50
   вопросы по данному мероприятию
Ваше имя:
Ваш e-mail:
Ваш вопрос:

Введите символы, изображенные на картинке (*):
   оставить отзыв
1.В какой степени данное мероприятие соответствовало Вашим ожиданиям
Совсем не
соответствовало
Соответствовало
полностью
1234567
2.Сколько из полученного на мероприятии Вы можете использовать в работе
Ничего Большую часть
1234567
Продолжить

3.Насколько эффективными оказалась работа в группе или насколько помогли практические задания
Неэффективны Очень эффективны
1234567

4.Качество подачи материала бизнес-тренером
Неудовлетворительно Отлично
1234567

5.В какой степени методические (раздаточные) материалы помогли вам в работе мероприятия
Не помогли Без них никуда
1234567

6.Как вы оцениваете организационные моменты мероприятия
Совсем не
соответствовал
Соответствовал
полностью
1234567

7.Какие из обсуждавшихся вопросов необходимо рассмотреть глубже:

8.Ваши пожелания бизнес-тренеру:

9.Ваши пожелания организаторам:

10.Порекомендуете ли Вы данный семинар друзьям и партнёрам по бизнесу
да
нет
Отправить
Несколько слов о себе:
Ваши личные данные необходимы нам для связи с вами и нигде отображаться не будут.
Фамилия:

Имя:

Компания:

E-mail:


Введите код на картинке:


Бизнес Образование России

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

добавить на Яндекс