loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06)
An Approach to Extending Object-Z with Real-Time
Kuala Lumpur, Malaysia
January 17-January 19
ISBN: 0-7695-2500-8
Huaikou Miao, Shanghai University, China
Zhicheng Wen, Shanghai University, China
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.
Citation:
Huaikou Miao, Zhicheng Wen, "An Approach to Extending Object-Z with Real-Time," delta, pp.345-349, Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.