1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 3(27)'2011
  5. Об одном классе математических моделей статического анализа асинхронных систем критического назначения

Об одном классе математических моделей статического анализа асинхронных систем критического назначения

И.Д. Перепелица/ Г.Н. Жолткевич
Аннотации на языках:

В статье рассмотрена математическая модель асинхронных программных систем. Эта модель опирается на понятие абстрактной конечной пред-машины, которое обобщает понятие абстрактного конечного автомата. В отличие от общепринятых моделей модель, предложенная в работе, позволяет описывать более сложное поведение системы по сравнению с моделями конечных автоматов. В частности, аномалия «активный тупик» может быть промоделирована в терминах конечной пред-машины. Авторы приводят критерий возникновения активного тупика и иллюстрируют его применение на примере.
Ключевые слова: программное обеспечение критического назначения, асинхронные программные системы, статический анализ, активный тупик, взрыв очереди