• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Об уплощении иерархических временных автоматов

С. 222-225.
Подымов В. В.

Сеть временных автоматов (СВА) и иерархический временной автомат (ИВА) — это математические модели, используемые для формальной верификации систем реального времени (СРВ): систем, выполнение которых происходит в реальном времени и зависит от сроков выполнения задач компонентами системы. ИВА, в отличие от СВА, имеет средства описания иерархии вложенности компонентов СРВ. Верификация ИВА основана на уплощении автомата: трансляции его в эквивалентную СВА. В работе предлагается алгоритм уплощения ИВА, предоставляющий эквивалентную СВА с меньшим порядком числа состояний по сравнению с существующими алгоритмами.