Jayaram, Rajeev and Patnaik, LM (1996) A Formalism to Model Task Execution in Distributed Systems. In: Information Sciences, 88 (1-4). pp. 113-129.
Restricted to Registered users only
Download (675Kb) | Request a copy
This paper introduces a formalism to model task execution in distributed computing systems. The proposed formalism, based on a partial order semantic model, extends standard temporal logic to specify task execution in distributed systems. It allows derivation of a set of inequalities sufficient to ensure deadline constraints. Task execution in an onboard computer is modeled and verified using the developed formalism. Extensions for task refinement are also presented.
|Item Type:||Journal Article|
|Additional Information:||Copyright of this article belongs to Elsevier.|
|Department/Centre:||Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)|
|Date Deposited:||17 Nov 2006|
|Last Modified:||19 Sep 2010 04:31|
Actions (login required)