1. Базовая теория надежного программного обеспечения: механизм глубокого слияния человека, машины и объекта; надежное моделирование, теория анализа и верификации; интеллектуальный алгоритм и теория глубокого анализа
2. Методы и технологии надежного программного обеспечения: обработка промышленных больших данных; безопасность в промышленном Интернете; платформа для разработки программного обеспечения в промышленном Интернете
3. Отраслевое применение надежного программного обеспечения: технический стандарт; демонстрационное приложение; поддержка платформы
1. Национальный исследовательский центр разработки надежного встроенного программного обеспечения
2. Международный объединенный исследовательский центр национального надежного программного обеспечения
3. Международная учебная база для отечественных талантливых программистов (Шанхай)
4. Объединенная лаборатория международного сотрудничества в области надежного программного обеспечения Министерства образования
5. Исследовательский центр технологии и применения совместного проектирования аппаратного, программного обеспечения Министерства образования
6. Инновационная база «Система физического слияния надежной информации»
7. Шанхайская ключевая лаборатория высоконадежных вычислений
8. Платформа обслуживания знаний в вузах Шанхая - Шанхайский совместный инновационный центр надежного программного обеспечения в промышленном Интернете
1. Безопасный и надежный метод гарантии и инструментальная цепочка для основного программного обеспечения управления основным промышленным оборудованием
(1) Впервые создана формальная унифицированная теория моделирования и технология многомерной верификации;
(2) Сигнальная система метро (Casco Signal Co., Ltd.), поддержанная этим достижением, стала первой сигнальной системой в нашей стране, получившей наивысший международный сертификат безопасности SIL4;
(3) Технология применяется в пилотируемом космическом проекте «Стыковка», «Тяньгун-1» и «Шэньчжоу-8», и в запуске спутника «Фэнъюнь-4» и др.;
(4) Самостоятельно разработанный инструмент тестирования автоматизации программного обеспечения SmartUnit стал первым отечественным инструментом тестирования, прошедшим международно признанный стандарт сертификации функциональной безопасности TUV;
Smart Testing - это первый в Китае интеллектуальный инструмент для разработки тестовых примеров модулей
(5) Данная технология получила главный приз Шанхайской премии за научно-технический прогресс.
2. Исследование ключевых теорий и методов облачной безопасности
(1) «Безопасное и простое в использовании» облачное решение для обеспечения безопасности;
(2) Содействие безопасному и практическому применению облачных систем передачи данных в отечественных интеллектуальных электросетях, интеллектуальном транспорте, интеллектуальном медицинском обслуживании и других областях;
(3) Мы получили первую премию Министерства образования в области естественных наук и первую премию Министерства образования в области технологических изобретений.
3. Шанхайская инновационная функциональная платформа безопасности промышленной системы управления
(1) Одна из первых 18 функциональных платформ, запланированных в Шанхае;
(2) Разработан первый в Китае инструмент анализа уязвимостей, поддерживающий исходный код и двоичные файлы;
(3) Помогаем ключевым компаниям пройти самую высокую международную сертификацию безопасности бортового программного обеспечения.
Исследовательская группа профессора Цао Чжэньфу
1. VI Международная конференция по компьютерным визуальным медиа(CVM2018)
2. Симпозиум по теориям, инструментам и приложениям надежной программной инженерии (SETTA 2019)
3. 15-я конференция по теоретическим аспектам программной инженерии(TASE 2021)
4. Неделя систем Esweek (Esweek Systems Week, 2022)
5. Репрезентативные академические работы:
(1) Hoare, C.A.R., &Jifeng, H. 1998. Unifying theories of programming. Prentice Hall, Englewood Cliffs. Vol. 14, pp. 184-203
(2) He, J. 1994. Provably correct systems: modelling of communication languages and design of optimized compilers. McGraw-Hill, Inc., New York.
(3) Deng, Y. 2015. Semantics of Probabilistic Processes: An Operational Approach. Springer Berlin, Heidelberg
(4) Chen, M., Qin, X., Koo, H. M., & Mishra, P. 2012. System-level validation: high-level modeling and directed test generation techniques. Springer New York, NY
(5) «Валидация на системном уровне: Высокоуровневое моделирование и управление тестированием» При поддержке ЗАО «СКАН», перевод с англ. под ред. А.Н. Ланцева;
Copyright © 2020 Восточно-китайский педагогический университет
Шанхайский ICP № 05003394-26, Шанхай
Общественная сетевая безопасность № 31009102000042, Восточно-китайский педагогический университет, Шанхай
