Error propagation analysis of real-time data-intensive applications
Tei‐Wei Kuo, D. Locke, Farn Wang · 2002
This paper proposes a methodology for high-level error propagation analysis of real-time data-intensive systems. A formal system in C-style programming language is proposed to provide a research framework for various issues on real-time system designs. A symbolic procedure is then presented to formally verify the amount of data errors tolerable to systems.