1. Базовая теория надежного программного обеспечения: механизм глубокого слияния человека, машины и объекта; надежное моделирование, теория анализа и верификации; интеллектуальный алгоритм и теория глубокого анализа
2. Методы и технологии надежного программного обеспечения: обработка промышленных больших данных; безопасность в промышленном Интернете; платформа для разработки программного обеспечения в промышленном Интернете
3. Отраслевое применение надежного программного обеспечения: технический стандарт; демонстрационное приложение; поддержка платформы
