МЕЧТА Инструмент является общим механизмом, направленным на обеспечение общего семантического домен, который может выразить несколько (в режиме реального времени, расход энергии, ресурсов) ограничений.
Семантическая домен имеет исполняемый C ++ модель, которая была привязана к семантически гибридного автомата формализма. Хотя модель расчета соответствует гибридного автомата, до сих пор мы добились успеха в анализе моделей от консервативной аппроксимации с помощью приурочен автоматов на умеренных систем размера.
Чтобы справиться с примерами крупномасштабных у пользователя есть возможность использовать интерфейс моделирования / тестирования на исполняемый C ++ модели до реализации системы. Мы планируем расширить генетических алгоритмов, чтобы решить большое количество проблем.
МЕЧТА является моделирование и проверка базы, которая обеспечивает формальную модель и анализ вашей системы менее чем за день. Системы в DREAM задаются с помощью XML в простой способ. Я надеюсь, что вы найдете ее полезной.
В режиме реального времени обеспечивает надежные промежуточного и эффективные платформы, поддерживающие ключевых функциональных и качество обслуживания (QoS) потребности распределенных в режиме реального времени встроенных (DRE) системы.
Основные проблемы в системных разработок DRE включают безопасное состав компонентов системы и отображение функциональных спецификаций на целевой платформе. Модель на основе технологии помогают решать эти проблемы путем разрешения анализ во время разработки и предоставления средств для быстрой оценки проектных альтернатив по отношению к конечным в конец свойства QoS, предсказуемость и меры производительности до совершения конкретной платформы.
Распределенная реальном времени Embedded Метод анализа МЕЧТА является инструментом с открытым исходным кодом и метод оптимизации несколько качество обслуживания (QoS) свойства распределенной в режиме реального времени встроенных (DRE) системы. Проект направлен на практическое применение методов формального анализа к реальном времени промежуточного автоматизации верификации, разработку, настройку и интеграцию промежуточного систем на базе DRE.
Что нового в этой версии:
Эта версия реализована несколько оптимизаций для повышения производительности проверки модели, в результате чего впечатляющих прирост производительности, по крайней мере в 2-3 раза.
· Там нет известных утечек памяти, присутствующие в текущей версии.
· Сбалансированные деревья AVL в настоящее время используются, в результате чего показательных ускорений в несколько этапов метода проверки модели.
· Проверка XML-схемы был реализован.
· Отчетность Время верификации был повышен до включают в себя данные о скоростях моделирования.
· Случайная основе моделирования тестирования теперь предоставляет след выполнения, когда крайний срок пропустили.
Комментарии не найдены