Архив электронных ресурсов
[Зарегистрироваться]
 

eKhNUIR >
Механіко-математичний факультет >
Наукові роботи. Механіко-математичний факультет >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.univer.kharkov.ua/handle/123456789/5618

Название: On some class of mathematical models for static analysis of critical-mission asynchronous systems
Авторы: Zholtkevych, G.
Perepelytsya, I.
Ключевые слова: technology
information technology
computer Science
software engineering
critical-mission software
queue explosion
live-lock
static analysis
asynchronous software system
Дата публикации: Дек-2011
Библиографическое описание: Системи озброєння і військова техніка. – № 3 (27), 2011. – С. 60 – 63.
Реферат: 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.
URI: http://dspace.univer.kharkov.ua/handle/123456789/5618
ISSN: 1997-9569
Располагается в коллекциях:Наукові роботи. Механіко-математичний факультет

Файлы этого ресурса:

Файл Описание РазмерФормат
On some class of mathematical models for static analysis of critical-mission asynchronous systems.pdf135,48 kBAdobe PDFЭскиз
Просмотреть/Открыть
Просмотр статистики

Все ресурсы в архиве защищены авторским правом, все права сохранены.

 

Valid XHTML 1.0! Яндекс цитирования DSpace Software Copyright   ©   2002-2008   MIT   and   Hewlett-Packard - Обратная связь