МЕЧТА (программное обеспечение)
Метод встроенного анализа в реальном времени (DREAM) — это независимый от платформы инструмент с открытым исходным кодом для проверки и анализа распределенных систем реального времени и встроенных (DRE) систем, который фокусируется на практическом применении формальной проверки и временного анализа для реальных задач. -время промежуточного программного обеспечения . DREAM поддерживает формальную проверку планирования на основе автоматов с синхронизацией задач с использованием средства проверки моделей Uppaal и набора инструментов Verimag IF, а также выборочное тестирование компонентов в реальном времени с использованием симулятора дискретных событий. DREAM разрабатывается в Центре встраиваемых компьютерных систем в Калифорнийского университета в Ирвине сотрудничестве с исследователями из Университета Вандербильта .