• DocumentCode
    3216784
  • 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
  • fYear
    1997
  • fDate
    9-11 Jun 1997
  • Firstpage
    166
  • Lastpage
    171
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Technology and Applications Symposium, 1997. Proceedings., Third IEEE
  • Conference_Location
    Montreal, Que.
  • Print_ISBN
    0-8186-8016-4
  • Type

    conf

  • DOI
    10.1109/RTTAS.1997.601354
  • Filename
    601354
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3216784