1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 3(27)'2011
  5. On some class of mathematical models for static analysis of critical-mission asynchronous systems

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

I.D. Perepelytsya, G.M. Zholtkevych
УДК 004.414.23.042
Мова статті: англійська
Анотації на мовах:

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.
Ключові слова: critical-mission software, asynchronous software system, static analysis, live-lock, queue explosion
Інформація про авторів публікації:
Reference:
Perepelytsya, I.D. and Zholtkevych, G.M. (2011), On some class of mathematical models for static analysis of critical-mission asynchronous systems, Systems of Arms and Military Equipment, No. 3(27), pp. 60-63.