loading...
System Level Models for Real-Time Communication
Milan, Italy September 08-September 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1999.79451725th Euromicro Conference (EUROMICRO ...
 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 
 
P.H.A. Van der Putten, J.P.M. Voeten, M.C.W. Geilen, M.P.J. Stevens, "System Level Models for Real-Time Communication," EUROMICRO Conference, vol. 1, pp. 1496, 25th Euromicro Conference (EUROMICRO '99)-Volume 1, 1999.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1999.794517,
author = {P.H.A. Van der Putten and J.P.M. Voeten and M.C.W. Geilen and M.P.J. Stevens},
title = {System Level Models for Real-Time Communication},
journal ={EUROMICRO Conference},
volume = {1},
year = {1999},
isbn = {0-7695-0321-7},
pages = {1496},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1999.794517},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - System Level Models for Real-Time Communication
SN - 0-7695-0321-7
SP
EP
A1 - P.H.A. Van der Putten,
A1 - J.P.M. Voeten,
A1 - M.C.W. Geilen,
A1 - M.P.J. Stevens,
PY - 1999
VL - 1
JA - EUROMICRO Conference
ER -
 
P.H.A. Van der Putten, Eindhoven University of Technology
J.P.M. Voeten, Eindhoven University of Technology
M.C.W. Geilen, Eindhoven University of Technology
M.P.J. Stevens, Eindhoven University of Technology
This paper reports on system level modeling techniques for specification and verification of real-time distributed systems. The approach uses an object-oriented description technique that yields formal executable system level models, suitable for hardware/software co-specification.The focus in this paper is on finding system level abstractions for modeling real-time communication in distributed systems. A generic LAN model is presented that models the properties of Tightness, Bounded Transmission Delay, and Bounded Omission Degree. The model is evaluated for the quality of verification of real-time properties. This leads to the definition of research goals in new fields of formal verification, such as time continuous qualitative property verification, and probabilistic quantitative verification.
Citation:
P.H.A. Van der Putten, J.P.M. Voeten, M.C.W. Geilen, M.P.J. Stevens, "System Level Models for Real-Time Communication," euromicro, vol. 1, pp.1496, 25th Euromicro Conference (EUROMICRO '99)-Volume 1, 1999
Usage of this product signifies your acceptance of the Terms of Use.