Specification and Verification of Timing Properties of Distributed Real-Time Systems

Mall, R and Patnaik, LM (1990) Specification and Verification of Timing Properties of Distributed Real-Time Systems. In: 1990 IEEE Region 10 Conference on Computer and Communication Systems. TENCON 90, 24-27 September, Hong Kong, Vol.1, 274-278.

Preview

PDF specification_and_verification.pdf Download (435kB)

Abstract

There are no proficient formal tools available till now for specifying and analyzing the timing properties of distributed real-time systems. In this paper, we present a formalism for specification and analysis of timing properties of distributed real-time systems. This formalism is based on the Real-Time Logic of Jahanian and Mok, and it incorporates multiple occurrence functions to take care of the multiple unsynchronized clocks in a distributed system.The fundamental constraints that a distributed real-time system need to satisfy for the correctness of any formal reasoning about its timing properties have been investigated.

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 Aug 2008
Last Modified:	19 Sep 2010 04:27
URI:	http://eprints.iisc.ac.in/id/eprint/7047

Actions (login required)

View Item