On some class of mathematical models for static analysis of critical-mission asynchronous systems
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
On some class of mathematical models for static analysis of critical-mission asynchronous systems
Про один клас математичних моделей статичного аналізу асинхронних систем критичного призначення Об одном классе математических моделей статического анализа асинхронных систем критического назначения |
|
| Creator |
I.D. Perepelytsya
G.M. Zholtkevych І.Д. Перепелиця Г.М. Жолткевич И.Д. Перепелица/ Г.Н. Жолткевич |
|
| Subject |
Теоретичні основи розробки систем озброєння
УДК 004.414.23.042 critical-mission software, asynchronous software system, static analysis, live-lock, queue explosion програмне забезпечення критичного призначення, асинхронні програмні системи, статичний аналіз, активний тупик, вибух черги программное обеспечение критического назначения, асинхронные программные системы, статический анализ, активный тупик, взрыв очереди |
|
| 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 premachine. Authors adduce the criterion of live-lock existence and illustrate it by example.
У статті розглянуто математичну модель асинхронних програмних систем. Ця модель спирається на поняття скінченої абстрактної перед-машини, яке узагальнює поняття абстрактного скінченого автомату. На відміну від загальноприйнятих моделей модель, запропонована в роботі, дозволяє описувати більш складну поведінку системи в порівнянні з моделями скінчених автоматів. Зокрема, аномалія «активний тупик» може бути промодельована в термінах скінченої перед-машини. Автори наводять критерій виникнення активного тупику та ілюструють його застосування на прикладі. В статье рассмотрена математическая модель асинхронных программных систем. Эта модель опирается на понятие абстрактной конечной пред-машины, которое обобщает понятие абстрактного конечного автомата. В отличие от общепринятых моделей модель, предложенная в работе, позволяет описывать более сложное поведение системы по сравнению с моделями конечных автоматов. В частности, аномалия «активный тупик» может быть промоделирована в терминах конечной пред-машины. Авторы приводят критерий возникновения активного тупика и иллюстрируют его применение на примере. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2011
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/1879
|
|
| Source |
Системи озброєння і військова техніка. — 2011. — № 3(27). 60-63
Системы вооружения и военная техника. — 2011. — № 3(27). 60-63 Systems of Arms and Military Equipment. — 2011. — № 3(27). 60-63 1997-9568 |
|
| Language |
eng
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/1879/soivt_2011_3_15.pdf
|
|