|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВдоклад на конференции
- Авторы: Зорин Д.А., Подымов В.В., Волканов Д.Ю., Захаров В.А., Коннов И.В.
- Международная Конференция : Моделирование-2012
- Даты проведения конференции: 2012
- Тип доклада: Устный
- Докладчик: Зорин Д.А.
- Место проведения: Киев
-
Аннотация доклада:
In this paper we present a tool to transform UML statecharts to UPPAAL automata. The tool allows one to check temporal properties against statecharts modeling a real-time system. We give the constraints on statecharts, the tool description, and the results of its application to a well-known traffic control real-time system.
- Добавил в систему: Зорин Даниил Александрович