Размер шрифта:
+
Цвет сайта:
Изображения:

На кафедре КИБЭВС состоялся вебинар «Верификация и сертификация программного обеспечения, критичного к безопасности в среде MATLAB»

13 октября 2011
На кафедре КИБЭВС состоялся вебинар «Верификация и сертификация программного обеспечения, критичного к безопасности в среде MATLAB»
11 октября на кафедре комплексной информационной безопасности электронно-вычислительных систем ФВС ТУСУР состоялся вебинар, организованный компаниями Softline и MathWorks.

11 октября на кафедре комплексной информационной безопасности электронно-вычислительных систем ФВС ТУСУР состоялся вебинар, организованный компаниями Softline и MathWorks.

Традиционные очные семинары по программному обеспечению, которые Softline проводит уже много лет, пользуются заслуженной популярностью среди IT-специалистов и руководителей. Однако не все и не всегда имеют возможность посетить такой семинар, поэтому большой актуальностью пользуется альтернативный вариант – вебинар.

На кафедре КИБЭВС вебинары проводятся для студентов регулярно, так как являются неотъемлемой частью образовательного процесса.

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

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

Также на примерах было показано, как:

  • разрабатывать исполняемую спецификацию с привязкой к текстовым документам,
  • доказывать отсутствие runtime-ошибок (переполнения, деление на ноль) в модели формальными методами,
  • выполнять функциональное тестирование и делать оценку его качества,
  • находить «мёртвый код» и выполнять генерацию тестов для стопроцентного охвата тестированием,
  • доказывать выполнение требований при любых входных данных с помощью формальных методов,
  • доказывать отсутствие runtime-ошибок в C/C++ коде,
  • использовать Qualification Kit и IEC Certification Kit для ускорения процесса сертификации.

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

В завершение вебинара все желающие смогли в режиме реального времени задать вопросы по теме и получить на них ответы.

Материалы по теме

27 сентября 2017

ТУСУР, организатор межвузовского турнира по информационной безопасности SibirCTF – 2017, в преддверии соревнований провёл вебинар по обмену опытом проведения CTF-мероприятий.

26 сентября 2017

В ТУСУРе в рамках юбилейных мероприятий в честь 55-летия вуза пройдёт SibirCTF – 2017, главный межвузовский CTF-турнир Сибири, который соберёт российских специалистов в области информационной безопасности.

27 октября 2017

Победителей ежегодного спортивного праздника факультета безопасности (ФБ) ТУСУРа наградят на праздновании Дня факультета, который состоится 28 октября.

17 января 2018

Преподаватели Томского государственного университета систем управления и радиоэлектроники выступили авторами эксклюзивных интерактивных рабочих тетрадей по робототехнике для школьников, выпущенных известной российской компанией.