Error propagation analysis of real-time data-intensive applications

被引：0
|
作者：
Kuo, TW
Locke, D
Wang, F
机构：
来源：
THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/RTTAS.1997.601354
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 as 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.
引用
收藏
页码：166 / 171
页数：6
相关论文
共 50 条
  • [1] DORIC: An Architecture for Data-intensive Real-time Applications
    Cadaviz, Miguel Kassick
    Farias, Kleinner
    Goncales, Lucian Jose
    Bischoff, Vinicius
    [J]. PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 536 - 542
  • [2] Real-Time Data-Intensive Computing
    Parkinson, Dilworth Y.
    Beattie, Keith
    Chen, Xian
    Correa, Joaquin
    Dart, Eli
    Daurer, Benedikt J.
    Deslippe, Jack R.
    Hexemer, Alexander
    Krishnan, Harinarayan
    MacDowell, Alastair A.
    Maia, Filipe R. N. C.
    Marchesini, Stefano
    Padmore, Howard A.
    Patton, Simon J.
    Perciano, Talita
    Sethian, James A.
    Shapiro, David
    Stromsness, Rune
    Tamura, Nobumichi
    Tierney, Brian L.
    Tull, Craig E.
    Ushizima, Daniela
    [J]. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON SYNCHROTRON RADIATION INSTRUMENTATION (SRI2015), 2016, 1741
  • [3] The Impact of Data Locality on the Performance of a SaaS Cloud with Real-Time Data-Intensive Applications
    Stavrinides, Georgios L.
    Karatza, Helen D.
    [J]. 2017 IEEE/ACM 21ST INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2017, : 180 - 187
  • [4] Similarity-based load adjustment for real-time data-intensive applications
    Ho, SJ
    Kuo, TW
    Mok, AK
    [J]. 18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 144 - 153
  • [5] A Methodology for Real-Time Spatiotemporal Data-Intensive Computation
    Sharker, Moir H.
    Karimi, Hassan A.
    [J]. PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1400 - 1405
  • [6] Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments
    Conde, JF
    GarciaMartinez, A
    Vina, A
    [J]. 1996 IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1996, : 29 - 35
  • [7] Low complexity reconfiguration for real-time data-intensive service-oriented applications
    Garcia-Valls, Marisol
    Uriol-Resuela, Patricia
    Ibanez-Vazquez, Felipe
    Basanta-Val, Pablo
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2014, 37 : 191 - 200
  • [8] Grid Resource Allocation for Real-Time Data-Intensive Tasks
    Qureshi, Muhammad Bilal
    Alqahtani, Mohammed Abdulrahman
    Min-Allah, Nasro
    [J]. IEEE ACCESS, 2017, 5 : 22724 - 22734
  • [9] An architecture and a dynamic scheduling algorithm of grid for providing security for real-time data-intensive applications
    Islam, Mohd Rafiqul
    Hasan, Mohd Toufiq
    Ashaduzzaman, G. M.
    [J]. INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, 2011, 21 (05) : 402 - 413
  • [10] Real-Time Handling of Network Monitoring Data Using a Data-Intensive Framework
    TaheriMonfared, Aryan
    Wlodarczyk, Tomasz Wiktor
    Rong, Chunming
    [J]. 2013 IEEE FIFTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOL 1, 2013, : 258 - 265
12345