Title :
Error propagation analysis of real-time data-intensive applications
Author :
Kuo, Tei-Wei ; Locke, Doug ; Wang, Farn
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Chung Cheng Univ., Chiayi, China
Abstract :
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
Keywords :
database theory; error analysis; formal verification; real-time systems; C-style programming language; data errors; error propagation analysis; high-level error propagation analysis; real-time data-intensive applications; real-time system designs; symbolic procedure; Application software; Computer errors; Computer science; Data analysis; Data engineering; Databases; Error analysis; Information science; Real time systems; Timing;
Conference_Titel :
Real-Time Technology and Applications Symposium, 1997. Proceedings., Third IEEE
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-8016-4
DOI :
10.1109/RTTAS.1997.601354
