On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

In this paper, we consider a schedulability analysis problem for real-time modular computer systems (RT MCS). A system configuration is called schedulable if all the jobs finish within their deadlines. The authors propose a stopwatch automata-based general model of RT MCS operation. A model instance...

Full description

Bibliographic Details
Main Authors: Alevtina B. Glonina, Vasily V. Balashov
Format: Article
Language:English
Published: Yaroslavl State University 2018-04-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/678