Как записать какие-то данные в файл в виде лога или какую-то статистику в Uppaal? Есть ли какая-то функция fprintf
или какая-то FILE*
, такая как у нас в C
, или нет? Тот же вопрос и по чтению из файла.
Чтение/запись данных из/в файл в Uppaal (для журнала данных)
Ответы (1)
В модели Uppaal нет встроенных функций ввода-вывода. Для отладки вы можете использовать функцию assert
, чтобы остановить проверку, когда условие не выполняется.
Начиная с версии 4.1.4 Uppaal интегрировала запросы проверки статистической модели для оценки производительности смоделированных процессов (см. Учебное пособие по Uppaal SMC). Собранные данные можно экспортировать в формате CSV. В дистрибутив также включен verifyta
интерфейс командной строки.
Uppaal Stratego может загружать пользовательские функции из внешней динамически подключаемой библиотеки (DLL) в модель (где в принципе можно делать что угодно), но для подготовки такой библиотеки требуются технические навыки, проверки отсутствуют, поэтому она не является дружественной. для быстрого прототипирования. Эта опция в основном предназначена для более быстрого выполнения очень сложного кода.