A Formalism to Model Task Execution in Distributed Systems

Jayaram, Rajeev and Patnaik, LM (1996) A Formalism to Model Task Execution in Distributed Systems. In: Information Sciences, 88 (1-4). pp. 113-129.

PDF A_Formalism_to_Model_Task_Execution.pdf Restricted to Registered users only Download (691kB) | Request a copy

Abstract

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
Publication:	Information Sciences
Publisher:	Elsevier
Additional Information:	Copyright of this article belongs to Elsevier.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	17 Nov 2006
Last Modified:	19 Sep 2010 04:31
URI:	http://eprints.iisc.ac.in/id/eprint/8578

Actions (login required)

View Item