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
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.