Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System


S.M. Goddard and K. Jeffay
Proceedings of the Fourth IEEE International Symposium on High Assurance Systems Engineering
Washington, DC, November 1999
pages 141-150.

An expanded version of this paper also appears in:
International Journal of Reliability, Quality and Safety Engineering
Volume 7, Number 4, December 2000, to appear.

Abstract: The state of the art in verifying the real-time require-ments of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend the state of the art by presenting analytical meth-ods that support the analysis of cyclic processing graphs executed with on-line schedulers. We show that it is possi-ble to compute the latency inherent in a processing graph independent of the hardware hosting the application. We also show how to compute the real-time execution rate of each node in the graph. Using the execution rate of each node and the time it takes per execution on a given pro-cessor, the resulting CPU utilization can be computed, as shown here for the Directed Low Frequency Analysis and Recording (DIFAR) acoustic signal processing application from the Airborne Low Frequency Sonar (ALFS) system of the SH-60B LAMPS MK III anti-submarine helicopter.


Get a PostScript - or - a PDF of the conference version of this paper.
Get a PostScript - or - a PDF of the journal version of this paper.



Back to Real-Time Systems Research at UNC page.