On some class of mathematical models for static analysis of critical-mission asynchronous systems
eKhNUIR
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
On some class of mathematical models for static analysis of critical-mission asynchronous systems
|
|
Creator |
Zholtkevych, G.
Perepelytsya, I. |
|
Subject |
technology
information technology computer Science software engineering critical-mission software queue explosion live-lock static analysis asynchronous software system |
|
Description |
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.
|
|
Date |
2012-03-08T07:32:44Z
2012-03-08T07:32:44Z 2011-12 |
|
Type |
Article
|
|
Identifier |
Системи озброєння і військова техніка. – № 3 (27), 2011. – С. 60 – 63.
1997-9569 http://dspace.univer.kharkov.ua/handle/123456789/5618 |
|
Language |
en
|
|