By Topic

Specifying temporal requirements for distributed real-time systems in Z

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 $31
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)
Coombes, A. ; Dept. of Comput. Sci., York Univ., UK ; McDermid, John

It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems, to provide a specification of timeliness properties. Unfortunately, the main methods which seem to provide this form of requirement appear to be based solely on a global model of time, which are inappropriate for the specification of asynchronous distributed systems. This paper introduces a set of definitions for the Z specification language which enables timeliness properties to be represented formally. The toolkit provides a method of framing the temporal specifications, which enables these specifications to be looked at from multiple viewpoints; a feature which allows one to look at the time domain at different levels of abstraction, and to represent the effects of multiple unsynchronised clocks. A formal basis for the toolkit is given, together with justification for the features of the model of time that has been adopted

Published in:

Software Engineering Journal  (Volume:8 ,  Issue: 5 )