Проверка композиции цифровых двойников в системах систем
В статье представлен подход к формальной проверке качеств цифровых двойников (ЦД) в системах систем (SoS). Авторы используют тематическое исследование на основе тепличного SoS, моделируемого в VDM-RT, с исполняемыми формальными моделями и свойствами ЦД. Анализируются препятствия при композиции артефактов ЦД на уровне SoS.