loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
ASCII Text
x 
 
K. Periyasamy, V.S. Alagar, "Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 28, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.
 
 
BibTex
x
 
@article{ 10.1109/WIFT.1998.766295,
author = {K. Periyasamy and V.S. Alagar},
title = {Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems},
journal ={Industrial-Strength Formal Specification Techniques, Workshop on},
volume = {0},
year = {1998},
isbn = {0-7695-0081-1},
pages = {28},
doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766295},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Industrial-Strength Formal Specification Techniques, Workshop on
TI - Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
SN - 0-7695-0081-1
SP
EP
A1 - K. Periyasamy,
A1 - V.S. Alagar,
PY - 1998
VL - 0
JA - Industrial-Strength Formal Specification Techniques, Workshop on
ER -
 
K. Periyasamy, University of Manitoba
V.S. Alagar, Concordia University
We describe Real-Time Object-Z (RTOZ), a language with real-time extensions to Object-Z, and describe infor-mally its semantics. The novelty of our approach lies in the minimal set of syntactic extensions to Object-Z and in the introduction of real-time filters for the separation of real-time constraints from the functional specification of objects. Both the functional specification and filter specification for any time critical system can be developed using the syn-tax of RTOZ. The semantics of RTOZ provides a consistent mapping between the classes in an Object-Z specification and their corresponding real-time constraints. We illustrate the expressive power of RTOZ with a case study.
Citation:
K. Periyasamy, V.S. Alagar, "Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems," wift, pp.28, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
Usage of this product signifies your acceptance of the Terms of Use.