Факультет математики і інформатики >
Наукові роботи. Факультет математики і інформатики >

Please use this identifier to cite or link to this item: 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
static analysis
asynchronous software system
Issue Date: Dec-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
Appears in Collections:Наукові роботи. Факультет математики і інформатики

Files in This Item:

File Description SizeFormat
On some class of mathematical models for static analysis of critical-mission asynchronous systems.pdf135,48 kBAdobe PDFThumbnail
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! Яндекс цитирования DSpace Software Copyright © 2002-2010  Duraspace - Feedback