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

A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs

Mall, R and Patnaik, LM (1991) A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs. In: 1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems. TENCON '91, 28-30 August, New Delhi,India, Vol.2, 335-339.


Download (500kB)


Temporal logic is widely acclaimed to be a highly successful tool for analyzing non-real-time properties of programs. However, a few fundamental problems arise while designing temporal logic-based techniques to verify real-time properties of programs. In this context, we formulate a modal logic called distributed Logic (DL) by using ideas from both the interleaving and partial ordering approach. This logic uses spatial modal operators in addition to temporal operators for representing real-timed concurrency. In addition to the syntax and semantics of the logic, a programming model, and a formal proof technique based on the logic are also presented. Finally, use of the proof method is illustrated through the analysis of the real-time properties of a generic multiprocess producer/consumer program.

Item Type: Conference Paper
Publisher: IEEE
Additional Information: Copyright 1990 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Department/Centre: Division of Interdisciplinary Sciences > Supercomputer Education & Research Centre
Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 25 May 2006
Last Modified: 19 Sep 2010 04:27
URI: http://eprints.iisc.ac.in/id/eprint/6913

Actions (login required)

View Item View Item