1. Безопасный и надежный метод гарантии и инструментальная цепочка для основного программного обеспечения управления основным промышленным оборудованием
(1) Впервые создана формальная унифицированная теория моделирования и технология многомерной верификации;
(2) Сигнальная система метро (Casco Signal Co., Ltd.), поддержанная этим достижением, стала первой сигнальной системой в нашей стране, получившей наивысший международный сертификат безопасности SIL4;
(3) Технология применяется в пилотируемом космическом проекте «Стыковка», «Тяньгун-1» и «Шэньчжоу-8», и в запуске спутника «Фэнъюнь-4» и др.;
(4) Самостоятельно разработанный инструмент тестирования автоматизации программного обеспечения SmartUnit стал первым отечественным инструментом тестирования, прошедшим международно признанный стандарт сертификации функциональной безопасности TUV;
Smart Testing - это первый в Китае интеллектуальный инструмент для разработки тестовых примеров модулей
(5) Данная технология получила главный приз Шанхайской премии за научно-технический прогресс.
