Другое: Uppaal - описание
Описание
Характеристики учебной работы
Список файлов
- Uppaal - описание
- uppaaltutorial.pdf 620,94 Kb
- Как запускать uppaal в обход ошибок.txt 2,29 Kb
- Прочти меня!!!.txt 136 b
Здравствуйте,
Я писал вам об ошибках с uppaal и проблемами его запуска.
Вот, что я выяснил:
В целом всё состоит из 2-х частей:
1) Frontend - java gui
2) некий "server", который либо java пытается запустить сама (и всегда имела в этом неудачу, ибо что-то да падало)
некий "socketserver" - тут запуск приводил к успеху, но была проблема с тем, что он есть лишь в версии 4.1 и только под linux
Поведение java frontend:
Windows (x64):
1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор
2) v4.1.19 - запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries
3) v4.1.19x64 - запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries
Linux (разрядность не влияла на результат):
1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор
2) v4.1.19 - не запускается
3) v4.1.19x64 - не запускается
Теоретически этого достаточно для выполнения задания номер 2, потому что сам верификатор и симулятор из под gui пользовать не нужно,
потому что всё, что нужно это запустить verifyta с флагом -u и указанной моделью и query (которые надо было сгенерировать через gui)
(полезно почитать страницы 16 и 13 в uppaaltutor.pdf)
Если же необходимо сделать так, чтобы полностью работал интерфейс со всеми возможностями, то нужно:
1) запустить socketserver под linux (взять из нужного пакета v4.1, в зависимости от разрядности системы)
2) запустить java из версии v.4.1.19 x64 под windows и указать там --serverHost и --serverPort в командной строке, чтобы оно подключилось к socketserver
(под linux у меня всё время появлялась ошибка Bug: Word Expected (хотя её не было и под windows всё работало))
(у меня была windows - host и linux - виртуалка)
(java -jar .\uppaal64-4.1.19\uppaal.jar --serverHost 192.168.20.128 --serverPort 2350)
3) Всё заработало (обе моих системы - x64)
uppaal(merged) - там jar из 4.1.19 x64, а папка bin - из 4.1.19
Есть подозрение, что чтобы запустить uppaal на windows без ошибок - нужно скачать себе
Visual C++ Tools
которые далеко не всегда идут в комплекте к операционке
(так сказал знающий аспер, но я не пробовал)
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Начать зарабатывать