|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Как разработать простое средство верификации систем реального временистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
- Журнал: Моделирование и анализ информационных систем
- Том: 19
- Номер: 6
- Год издания: 2012
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Первая страница: 45
- Последняя страница: 56
- Аннотация: Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных автоматов. Основным результатом данной статьи является алгоритм трансляции иерархических автоматов в сеть временных автоматов и обоснование его корректности.
- Добавил в систему: Захаров Владимир Анатольевич