By Topic

Specification and verification of timing properties of distributed real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mall, R. ; Dept. of Comput. Sci. & Autom., Indian Inst. of Sci., Bangalore, India ; Patnaik, L.M.

The authors present a formalism for the specification and analysis of the timing properties of distributed real-time systems. This formalism is based on the real-time logic of F. Jahanian and A. Mok (1986) and it incorporates multiple occurrence functions to take care of the multiple unsynchronized clocks in a distributed system. This is a three-level approach to formal specification and verification of the timing properties of a system. In the first level of specification, the system is described in an event-action model. In the second level, this specification is mechanically transformed into a set of DRTL formulas for carrying out the safety analysis in the next level. DRTL is a first-order logic. The fundamental constraints that a distributed real-time system needs to satisfy for the correctness of any formal reasoning about its timing properties are investigated

Published in:

Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on

Date of Conference:

24-27 Sep 1990