loading...
An Approach Towards Formal Verification of Object Oriented Real-Time Systems
Hong Kong, China December 13-December 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811301Sixth International Conference on Rea ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
R.C.M. de Rooij, J. Van Katwijk, "An Approach Towards Formal Verification of Object Oriented Real-Time Systems," Real-Time Computing Systems and Applications, International Workshop on, pp. 474, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.1999.811301,
author = {R.C.M. de Rooij and J. Van Katwijk},
title = {An Approach Towards Formal Verification of Object Oriented Real-Time Systems},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {1999},
issn = {1530-1427},
pages = {474},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811301},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - An Approach Towards Formal Verification of Object Oriented Real-Time Systems
SN - 1530-1427
SP
EP
A1 - R.C.M. de Rooij,
A1 - J. Van Katwijk,
PY - 1999
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
R.C.M. de Rooij, Delft University of Technology
J. Van Katwijk, Delft University of Technology
This paper describes an approach towards verification of object oriented real-time software systems, based on ATL+, a formal specification language of which the syntax and semantics are inspired by the Java programming language. Using a specification language based on an object oriented programming language reduces the semantic gap between the implementation of a system and the model used for verification. We describe the syntax and semantics of ATL+, as well as a transformation procedure by which ATL+ is transformed into a notation suitable for use with an automated verification tool. We show the applicability of our method by giving some verification results, in which properties and constraints on design parameters are derived for a simple example.
Citation:
R.C.M. de Rooij, J. Van Katwijk, "An Approach Towards Formal Verification of Object Oriented Real-Time Systems," rtcsa, pp.474, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.