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

На кафедре КИБЭВС состоялся вебинар «Верификация и сертификация программного обеспечения, критичного к безопасности в среде 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 для ускорения процесса сертификации.

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

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

Другие новости

11 марта 2025

С 4 по 6 марта в ИТ-Академии ТУСУРа прошла первая стажировка из серии «Карьерный код». Первым партнером этого масштабного мероприятия стал Т-Банк. В дальнейшем планируется проведение интенсивов с различными федеральными и региональными компаниями: Газпром Трансгаз Томск, МТС, Прайм Технолоджи, Тернекс и другими. В этом году в «Карьерном коде» принимают участие студенты из 13 университетов, в том числе студенты с Дальнего Востока и из Москвы.

11 апреля 2025

Открытие Технопарка суверенных ИТ-решений состоялось в пятницу в Международной цифровой академии Томского госуниверситета систем управления и радиоэлектроники (ТУСУР). Площадка должна стать центром развития и поддержки отечественного аппаратного и программного обеспечения.

21 января 2025

В Молодежной IoT Академии, созданной в рамках программы развития «Приоритет 2030», разработана система контроля температуры воздуха и влажности в помещениях.

10 апреля 2025

11 апреля в Международной цифровой академии ТУСУРа состоится открытие Технопарка суверенных ИТ-решений — инновационной площадки, призванной стать центром развития и поддержки отечественного аппаратного и программного обеспечения.

НАВЕРХ