Все новости
Цифровой Двойник

Проверка композиции цифровых двойников в системах систем

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

Почему это важно

Важно для разработки методов верификации и валидации цифровых двойников в сложных интегрированных системах.

Созвучно продуктам ЦД

ЦДП
Заголовок оригинала
A System-of-Systems Case Study for the Verification of Composed Digital Twins
Читать первоисточник: arXiv API — полнотекстовый поиск "digital twin"

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.