A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Schedulability and Compatibility of Real Time Asynchronous Objects
2008
2008 Real-Time Systems Symposium
We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The behavioral interfaces of real time objects specify (the order and timings of) the messages an object may send and receive. Each object is checked against its behavioral interface; first, to guarantee its correct output behavior, and second to make sure that every message it may receive is processed within the designated deadline
doi:10.1109/rtss.2008.28
dblp:conf/rtss/JaghooriLBC08
fatcat:xf2mxfrlxratte5hqsyrzlrrku