Krasimira Kapitanova, S. Son, Woochul Kang, Wontae Kim
{"title":"Modeling and Analyzing Real-Time Data Streams","authors":"Krasimira Kapitanova, S. Son, Woochul Kang, Wontae Kim","doi":"10.1109/ISORC.2011.21","DOIUrl":"https://doi.org/10.1109/ISORC.2011.21","url":null,"abstract":"Achieving situation awareness is especially challenging for real-time data stream applications because they i) operate on continuous unbounded streams of data, and ii) have inherent real-time requirements. In this paper we show how formal data stream modeling and analysis can be used to better understand stream behavior, evaluate query costs, and improve application performance. We use MEDAL, a formal specification language based on Petri nets, to model the data stream queries and the Quality-of-Service (QoS) management mechanisms in a data stream system. MEDAL's ability to combine query logic and data admission control in one model allows us to design a single comprehensive model of the system. This model can be used to perform a large set of analyses to help improve the application's performance and QoS.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124954490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jing Qian, K. Kim, Zhen Zhang, Juan A. Colmenares, Kyung-Deok Moon, Jun Hee Park, Doohyun Kim, K. Rim
{"title":"Real-Time Multicast and Memory Replication Channels with Delay Bounded Error Detection and Retry Capabilities","authors":"Jing Qian, K. Kim, Zhen Zhang, Juan A. Colmenares, Kyung-Deok Moon, Jun Hee Park, Doohyun Kim, K. Rim","doi":"10.1109/ISORC.2011.15","DOIUrl":"https://doi.org/10.1109/ISORC.2011.15","url":null,"abstract":"In order to accommodate different requirements of reliable multicast applications, the real-time reliable multicasting support framework must possess generic yet rich features for detecting and reporting message losses with tight latency bounds. One highly promising concrete formulation of a multicast framework is the Real-time Multicast & Memory Replication Channel (RMMC) scheme. In this paper, we present the Delay-Bounded Reliable RMMC (DBR-RMMC) scheme, which extends the RMMC scheme in order to yield tight bounds on the latencies in detecting and reporting message losses over RMMCs and to enable application layer to initiate timely recovery actions. The DBR-RMMC scheme offers an API that allows application developers to freely explore the various design dimensions of reliable multicast applications while assuring timeliness. We also discuss a middleware subsystem devised to support DBRRMMC, followed by a summary of several analytical results on the bounds for latencies in reacting to the occurrence of a message loss. Experiments involving a real-time video streaming application have been conducted and encouraging results are presented.","PeriodicalId":431231,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115132566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}