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