loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
25th IEEE International Real-Time Systems Symposium (RTSS'04)
Automatic Verification of Component-Based Real-Time CORBA Applications
Lisbon, Portugal
December 05-December 08
ISBN: 0-7695-2247-5
ASCII Text
x 
 
Gabor Madl, Sherif Abdelwahed, Gabor Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications," Real-Time Systems Symposium, IEEE International, pp. 231-240, 25th IEEE International Real-Time Systems Symposium (RTSS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/REAL.2004.13,
author = {Gabor Madl and Sherif Abdelwahed and Gabor Karsai},
title = {Automatic Verification of Component-Based Real-Time CORBA Applications},
journal ={Real-Time Systems Symposium, IEEE International},
volume = {0},
year = {2004},
issn = {1052-8725},
pages = {231-240},
doi = {http://doi.ieeecomputersociety.org/10.1109/REAL.2004.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Systems Symposium, IEEE International
TI - Automatic Verification of Component-Based Real-Time CORBA Applications
SN - 1052-8725
SP231
EP240
A1 - Gabor Madl,
A1 - Sherif Abdelwahed,
A1 - Gabor Karsai,
PY - 2004
KW - null
VL - 0
JA - Real-Time Systems Symposium, IEEE International
ER -
 
Gabor Madl, Vanderbilt University
Sherif Abdelwahed, Vanderbilt University
Gabor Karsai, Vanderbilt University
Distributed real-time embedded (DRE) systems often need to satisfy various time, resource and fault-tolerance constraints. To manage the complexity of scheduling these systems many methods use Rate Monotonic Scheduling assuming a time-triggered architecture. This paper presents a method that captures the reactive behavior of complex time- and event-driven systems, can provide simulation runs and can provide exact characterization of timed properties of component-based DRE applications that use the publisher/subscriber communication pattern. We demonstrate our approach on real-time CORBA avionics applications.
Citation:
Gabor Madl, Sherif Abdelwahed, Gabor Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications," rtss, pp.231-240, 25th IEEE International Real-Time Systems Symposium (RTSS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.