By Topic

Schedulability and Compatibility of Real Time Asynchronous Objects

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)

We apply automata theory to specifying behavioralinterfaces of objects and show how to check schedulabilityand compatibility of real time asynchronous objects.The behavioral interfaces of real time objects specify(the order and timings of) the messages an object maysend and receive. Each object is checked against itsbehavioral interface; first, to guarantee its correct outputbehavior, and second to make sure that every messageit may receive is processed within the designateddeadline (schedulability analysis). Next, we propose anew technique for testing whether every object is usedas expected (i.e., according to its behavioral interface)when combined with other objects (compatibility check).Compatibility additionally implies schedulability in thecontext of the actual system. The analyses are automatedusing the Uppaal model checker.

Published in:

Real-Time Systems Symposium, 2008

Date of Conference:

Nov. 30 2008-Dec. 3 2008