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

Issue

4

fYear

1987

fDate

4/1/1987 12:00:00 AM

Firstpage

500

Lastpage

516

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);

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/TC.1987.1676931

Filename

1676931