Mall, R and Patnaik, LM (1991) A New Approach to Specify Real-time Behavior of Distributed Systems. In: Pacific Rim International Symposium on Fault Tolerant Systems, 1991, 26-27 September, Kawasaki,Japan, pp. 194-198.
![]()
|
PDF
A_new_approach_to_specify.pdf Download (189kB) |
Abstract
Specification of real-time behavior of a system requires a significantly different approach compared to specification of the system's non-real-time behavior. Also, a specification formalism should be easy to use, conceptually simple, and should lead to an intuitive understanding about the specified behavior of the system. With these objectives, the authors develop an event-based approach to specify the real-time behavior and relevant properties of distributed systems. Events are considered as the basic entities and a system is specified by constructing various relations among the events. Based on this formalism, a specification language is also presented. A specification in this language can be automatically transformed into equivalent specifications in many existing formalisms (e.g. temporal logic, first-order logic, etc.) for further analysis. Thus, an event-based specification can be used as a front-end tool for automatically generating specifications in many existing formalisms, which can save the trouble of writing complicated formulas in those formalisms.
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/7048 |
Actions (login required)
![]() |
View Item |