Доказательство надежности C\C++ кода для систем промышленного применения

Разработка надежного программного обеспечения является дорогостоящим и сложным процессом. Однако, внедрение автоматизации процессов верификации и валидация ПО делает ваш процесс прозрачным не только для самой организации-разработчика, но и для сертифицируощих органов.

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

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

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

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

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