On some class of mathematical models for static analysis of critical-mission asynchronous systems

dc.contributor.author	Zholtkevych, G.
dc.contributor.author	Perepelytsya, I.
dc.date.accessioned	2012-03-08T07:32:44Z
dc.date.available	2012-03-08T07:32:44Z
dc.date.issued	2011-12
dc.description.abstract	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.	en
dc.identifier.citation	Системи озброєння і військова техніка. – № 3 (27), 2011. – С. 60 – 63.	en
dc.identifier.issn	1997-9569
dc.identifier.uri	https://ekhnuir.karazin.ua/handle/123456789/5618
dc.language.iso	en	en
dc.subject	technology	en
dc.subject	information technology	en
dc.subject	computer Science	en
dc.subject	software engineering	en
dc.subject	critical-mission software	en
dc.subject	queue explosion
dc.subject	live-lock
dc.subject	static analysis
dc.subject	asynchronous software system
dc.title	On some class of mathematical models for static analysis of critical-mission asynchronous systems	en
dc.type	Article	en

Файли

Зараз показуємо 1 - 1 з 1

Назва:: On some class of mathematical models for static analysis of critical-mission asynchronous systems.pdf
Розмір:: 135.48 KB
Формат:: Adobe Portable Document Format

Зараз показуємо 1 - 1 з 1