ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

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.

[img] PDF
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
Related URLs:
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
URI: http://eprints.iisc.ernet.in/id/eprint/8578

Actions (login required)

View Item View Item