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 |