Верификация ПО блока управления электропитанием дефибриллятора
Верификация, включая автоматизированное тестирование, и подготовка сертификационных документов для системы дефибрилляции.
Основные технологии:
C, VectorCAST, Reverse engineering
Команда и продолжительность:
3 инженера, 4 месяца.
История успеха:
Требования восстановлены из общего описания и кода. Успешно выполнены рассмотрения данных, специальные анализы характеристик ПО и тестирование. Найдено более 50 проблем, включая несколько критических багов.
C, VectorCAST, Reverse engineering
Команда и продолжительность:
3 инженера, 4 месяца.
История успеха:
Требования восстановлены из общего описания и кода. Успешно выполнены рассмотрения данных, специальные анализы характеристик ПО и тестирование. Найдено более 50 проблем, включая несколько критических багов.
“
Команда Advalange продемонстрировала превосходную компетенцию по разработке и верификации программного обеспечения в соответствии с требованиями стандарта IEC 62304.