Error Propagation Analysis of Real-Time Data Intensive Applications

  • Authors:

  • Tei-Wei Duo;Doug Locke;Farn Wang

  • Affiliations:

  • -;-;-

  • Venue:
  • RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes a methodology for high-level error propagation analysis in C-style programming language is proposed to provide a research framework for various issues on real-time systems designs. A symbolic procedure is then presented to formally verify the amount of data errors tolerable to systems.