Наукові роботи. Факультет математики і інформатики
Постійне посилання зібрання
Переглянути
Перегляд Наукові роботи. Факультет математики і інформатики за Ключові слова "asynchronous software system"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ On some class of mathematical models for static analysis of critical-mission asynchronous systems(2011-12) Zholtkevych, G.; Perepelytsya, I.A mathematical model of asynchronous software system is considered in the paper. This model bases on the notion abstract finite pre-machine which generalizes the notion abstract finite automaton. In contrast to generally accepted models the model proposed in the paper makes possible to specify more complex system behaviour than it is provided by finite automata models. Specifically, live-lock anomaly can be specified using the notion pre-machine. Authors adduce the criterion of live-lock existence and illustrate it by example.