WikiDer > DREAM (программное обеспечение)
В Распределенный метод встроенного анализа в реальном времени (DREAM) это независимая платформа Открытый исходный код инструмент для проверки и анализа распределен в реальном времени и встроенный (DRE) системы, ориентированные на практическое применение формальная проверка и временной анализ в реальном времени промежуточное ПО. DREAM поддерживает формальную проверку расписания на основе задачи синхронизированные автоматы с использованием Уппал средство проверки моделей и набор инструментов Verimag IF, а также случайное тестирование компонентов в реальном времени с помощью симулятора дискретных событий. DREAM разрабатывается в Центр встраиваемых компьютерных систем на Калифорнийский университет в Ирвине, в сотрудничестве с исследователями из Университет Вандербильта.
внешняя ссылка
 | Этот инструмент для программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |