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 for a given RT MCS configuration is a network of sto