DREAM Tool е генерично рамка, която има за цел да предоставя обща семантична домейн, които могат да изразят няколко (в реално време, консумация на енергия, ресурси) ограничения.
Семантичната домейн е изпълним C ++ модел, който е семантично закотвен за хибридна автомати формализъм. Въпреки че моделът на изчисление отговаря хибридна автомати, доколкото ние сме били успешни при анализа на образците от сближаване консервативна използва синхронно автомати на системи умерен по размери.
За да се справят с мащабни примери потребителят има възможността да се използва интерфейс симулация / тестване върху изпълнимия C ++ модел, преди прилагане на системата. Ние планираме да разшири обхвата на генетични алгоритми за решаване на голям брой проблеми.
DREAM е симулация и проверка рамка, която осигурява формален модел и анализ на системата ви по-малко от един ден. Systems в съня се дефинират с XML по прост начин. Надявам се да ви е от полза.
В реално време мидълуер предоставя надеждни и ефективни платформи, поддържащи основни функционални и качество на услугата (QoS) нужди на разпределени в реално време, вградени системи (Dre).
Ключови предизвикателства в развитието Dre система включват безопасна състав на компонентите на системата и картиране на функционалните спецификации върху целевата платформа. Модел-базирани технологии помагат решаване на тези проблеми чрез създаване на възможност анализ дизайн работно време и осигуряването на средствата за бързата оценка на проектните алтернативи по отношение на край до край QoS имоти, предвидимост и мерки за изпълнение, преди извършване на конкретна платформа.
The Разпределени в реално време Embedded Анализ Метод DREAM е инструмент с отворен код и начин за оптимизиране на множествена качество на услугата (QoS) свойства на разпределени в реално време, вградени системи (Dre). Проектът се фокусира върху практическото прилагане на формални методи за анализ в реално време мидълуер за автоматизиране на проверка, развитието, конфигурация и интеграция на мидълуер базирани Dre системи.
Какво е новото в тази версия:
· Тази версия реализира няколко оптимизации за подобрена производителност модел проверка, в резултат на впечатляващите печалби успешно представяне на най-малко 2-3 пъти.
· Не са известни течове, налични в текущото издание памет.
· Балансирани AVL дървета сега се използват, в резултат на експоненциални speedups в няколко стъпки на метода на модел проверка.
· Валидиране на XML Schema се реализира.
· Отчитане на времето за проверка е обновена, за да включва данни за скоростите симулация.
· Random симулация на базата на тестване сега осигурява следи за изпълнение, когато краен срок се пропусне.
Коментари не е намерена