Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Моделирование и анализ информационных систем, 2012, том 19, номер 6, страницы 45–56 (Mi mais269)  
Как разработать простое средство верификации систем реального времени

Д. Ю. Волкановa, В. А. Захаровa, Д. А. Зоринa, И. В. Конновb, В. В. Подымовa

a Московский государственный университет им. М. В. Ломоносова
b Technische Universität Wien
PDF полного текста (471 kB)
Список литературы:
PDF
HTML
Аннотация: Исследуется задача верификации систем реального времени (СРВ). Для описания СРВ удобно использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных автоматов. Основным результатом данной статьи является алгоритм трансляции иерархических автоматов в сеть временных автоматов и обоснование его корректности.
Ключевые слова: верификация, система реального времени, диаграмма состояний, иерархический автомат, временной автомат.
Поступила в редакцию: 22.07.2012
Тип публикации: Статья
УДК: 519.7
Образец цитирования: Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, И. В. Коннов, В. В. Подымов, “Как разработать простое средство верификации систем реального времени”, Модел. и анализ информ. систем, 19:6 (2012), 45–56
Цитирование в формате AMSBIB
\RBibitem{VolZakZor12}
\by Д.~Ю.~Волканов, В.~А.~Захаров, Д.~А.~Зорин, И.~В.~Коннов, В.~В.~Подымов
\paper Как разработать простое средство верификации систем реального времени
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 6
\pages 45--56
\mathnet{http://mi.mathnet.ru/mais269}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais269
  • https://www.mathnet.ru/rus/mais/v19/i6/p45
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:368
    PDF полного текста:164
    Список литературы:51
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024