|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systemsдоклад на конференции
- Авторы: Подымов В.В., Зорин Д.А.
- Конференция : Syrcose-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 testing it on a well-known traffic control example.
- Добавил в систему: Зорин Даниил Александрович