Современное программное обеспечение представляет собой сложную систему, которая должна быть надежна. Несмотря на существование различных методологий создания надежного программного обеспечения, их применение не означает того, что полученный продукт будет соответствующим. Для доказательства надежности ПО требуется формальное подтверждение его качества. 

Мы проведем вебинар по разработке надежного программного обеспечения для автоматических систем с инструментами тестирования LDRA. Основной фокус будет сделан на базовых принципах разработки:

  • Проследить разработку от требований до работы на вычислителе;

  • Убедиться, что все разработчики пишут код одинаково и одинаково хорошо;

  • Доказать, что весь код протестирован и статически, и динамически.

Вебинар полезен тем, кто хочет быть уверенным в качестве своего ПО и, крайне необходим тем, кто обязан следовать промышленным стандартам по безопасности систем: КТ-178, ГОСТ Р ИСО 26262, ГОСТ Р 51904, ГОСТ Р МЭК 61508 и производные стандарты.

29 октября
Четверг
Онлайн

11:00

8 дней до начала

Спикеры

Филаретов Николай Филаретов Николай

Николай Филаретов

Николай Филаретов – старший инженер ЦИТМ Экспонента по встраиваемым системам, а также процессам верификации и валидации для систем повышенной надежности. Николай закончил НИУ ИТМО и имеет многолетний опыт работы с инструментами MathWorks. До перехода в ЦИТМ Экспонента Николай работал в области авионики.

Поделиться

${message}

${message}