DREAM (программное обеспечение) - DREAM (software)

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

внешняя ссылка