A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Verification of timing properties in rapid system prototyping
14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings.
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given time and time-series constraints that must be satisfied over a period of time. Traditional schedulability analysis only works for the former kind of timing properties. It is not effective in verifying time-series constraints over a period of time. This paper presents a hybrid approach that combines the traditionaldoi:10.1109/iwrsp.2003.1207029 dblp:conf/rsp/DrusinkyS03 fatcat:rfbsxbdwzrdvlgzvhykqlrhzn4