Кейсы аудита и сертификации программного обеспечения для систем промышленной автоматизации.
Полный аудит исходного кода и архитектуры системы управления распределённой энергосетью на соответствие стандартам кибербезопасности IEC 62443.
Проверка отказоустойчивости и валидация кода системы управления конвейерным производством для автомобильной промышленности.
Комплексный аудит программного обеспечения систем управления критической инфраструктурой муниципального водоснабжения.