Title :
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
Author :
Peng, Dartzen ; Shin, Kang G.
Author_Institution :
Department of Electrical Engineering and Computer Science, University of Michigan
fDate :
4/1/1987 12:00:00 AM
Abstract :
In a distributed system that implements real-time control, computational tasks are distributed over different nodes for execution to improve response time and system reliability. To model system behavior, tasks in each node are first decomposed into activities. The activities and precedence constraints among them are then modeled by a generalized stochastic Petri net (GSPN). Finally, a sequence of homogeneous continuous-time Markov chains (CTMC´s) is built from the GSPN to model the concurrent task execution in the system.
Keywords :
Activity selection; communication primitives; continuous-time Markov chain (CTMC); first passage time; generalized stochastic Petri nets (GSPN); reachability analysis; real-time control; task flow graph (TFG); Communication system control; Control system synthesis; Control systems; Delay; Distributed computing; Power system modeling; Process control; Real time systems; Reliability; Stochastic processes; Activity selection; communication primitives; continuous-time Markov chain (CTMC); first passage time; generalized stochastic Petri nets (GSPN); reachability analysis; real-time control; task flow graph (TFG);
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1987.1676931
