Компания "Лаборатория Безопасных Систем" занимается разработкой и верификацией программного обеспчения с повышенными требованиями к надежности и безопасности. Мы работаем во всех сегментах, в которых безопасность и надежность являются необходимыми, фокусируясь на авиационной промышленности, а нашими заказчиками являются как российские, так и зарубежные компании.Мы выполняем работы на всех этапах жизненного цикла создания программного обеспечения, включая:* Анализ (review) системных требований* Сбор, разработку и анализ (review) требований к ПО* Проектирование и разработку архитектуры ПО* Кодирование* Тестирование* Интеграцию* Поддержку сертификации ПО