On some class of mathematical models for static analysis of critical-mission asynchronous systems
Вантажиться...
Дата
2011-12
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
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.
Опис
Ключові слова
technology, information technology, computer Science, software engineering, critical-mission software, queue explosion, live-lock, static analysis, asynchronous software system
Бібліографічний опис
Системи озброєння і військова техніка. – № 3 (27), 2011. – С. 60 – 63.