System Maintenance:
There may be intermittent impact on performance while updates are in progress. We apologize for the inconvenience.
By Topic

An approach to extending Object-Z with real-time

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)
Huaikou Miao ; Sch. of Comput. Eng. & Sci., Shanghai Univ., China ; Zhicheng Wen

This paper introduces Real-Time Object-Z, a language with real-time extensions to Object-Z, and describes the characters of real-time system: delay, timeout and multithread. Real-Time Object-Z consists two parts: functional specification and filter specification. The both for any time critical system can be developed with two parts. Functional specification developed with Object-Z formerly can be reused. The main benefit is that it is convenient to deal with the timing variables defined in the specification developed with our approach. The effective specification after applying filter part to functional part holds the form of specification developed with Object-Z. Hence, the specification can benefit from existing reasoning systems or inference rules potentially. Using our approach, we can develop real-time specification and reason about the real-time properties conveniently.

Published in:

Electronic Design, Test and Applications, 2006. DELTA 2006. Third IEEE International Workshop on

Date of Conference:

17-19 Jan. 2006