DREAM Tool

МРІЯ Інструмент загальні рамки, яка спрямована на забезпечення загального семантичного домен, який може висловити кілька (в режимі реального часу, витрата енергії, ресурсів) обмежень.
Семантичної області має виконуваний C ++ модель, яка була прив'язана до семантично гібридного автомата формалізму. Хоча модель обчислень відповідає гібридного автомата, досі ми успішно аналізу моделі консервативної апроксимації за допомогою приурочений автоматів на помірних систем розміру.
Щоб справитися з прикладами великомасштабних у користувача є можливість використовувати інтерфейс моделювання / тестування на виконуваний C ++ моделі до реалізації системи. Ми плануємо розширити генетичні алгоритми для вирішення великої кількості проблем.
Мрія моделювання та перевірка бази, яка забезпечує формальну модель і аналіз вашої системи менш ніж за день. Системи в DREAM задаються за допомогою XML в простий спосіб. Сподіваюся, ви знайдете її корисною.
У режимі реального часу забезпечує надійні проміжного та ефективні платформи, що підтримують ключові функціональні та якість обслуговування (QoS) потреби розподілених в режимі реального часу вбудованих (DRE) системи.
Основні проблеми в системних розробок DRE включають безпечне склад компонентів системи і відображення функціональних специфікацій на цільовій платформі. Модель на основі технології допомагають вирішувати ці проблеми шляхом дозволу аналіз часу розробки та надання коштів для швидкої оцінки проектних альтернатив по відношенню до кінцевих в кінець властивості QoS, передбачуваність і заходи продуктивності до скоєння конкретної платформи.
Розповсюджується в реальному часі Embedded Метод аналізу мрія інструмент з відкритим вихідним кодом і метод оптимізації кілька якість обслуговування (QoS) властивості розподіленої в режимі реального часу вбудованих (DRE) системи. Проект спрямований на практичне застосування методів формального аналізу до реальному часі проміжного автоматизації верифікації, розробку, настройку та інтеграцію проміжного систем на базі DRE.
Що нового в цій версії:
Ця версія реалізована кілька оптимізацій для підвищення продуктивності перевірки моделі, в результаті чого вражаючих приріст продуктивності, принаймні в 2-3 рази.
· Там немає відомих витоків пам'яті, присутні в поточній версії.
· Збалансовані дерева AVL в даний час використовуються, в результаті чого показових прискорень в кілька етапів методу перевірки моделі.
· Перевірка XML-схеми був реалізований.
· Звітність Час верифікації був підвищений до включають в себе дані про швидкості моделювання.
· Випадкова основі моделювання тестування тепер надає слід виконання, коли крайній термін пропустили.