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.
![]()
|
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 |