Please use this identifier to cite or link to this item:
|Title:||Event count automata: A state-based model for stream processing systems|
|Authors:||Chakraborty, S. |
|Source:||Chakraborty, S.,Phan, L.T.X.,Thiagarajan, P.S. (2005). Event count automata: A state-based model for stream processing systems. Proceedings - Real-Time Systems Symposium : -. ScholarBank@NUS Repository. https://doi.org/10.1109/RTSS.2005.21|
|Abstract:||Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams processed by such applications tend to be highly bursty and exhibit a high data-dependent variability in their processing requirements. As a result, classical event and service models such as periodic, sporadic, etc. can be overly pessimistic when dealing with such applications. In this paper, we present a new model called event count automata (ECA) for capturing the timing properties of such streams. Our model can be used to cleanly formulate properties relevant to stream processing on heterogeneous multiprocessor architectures, such as buffer overflow/underflow constraints. It can also provide the basis for developing analysis methods to compute delay/timing properties of the processed streams under different scheduling policies. Our ECAs, though similar in flavor to timed and hybrid automata, have a different semantics, are more light-weight, and are specifically suited for modeling stream processing applications and architectures. We present the basic aspects of this model and illustrate its modeling potential. We then apply it in a specific stream processing setting and develop an analysis technique based on the formalism of colored Petri nets (CPNs). Finally, we validate our modeling and analysis techniques with the help of preliminary experimental results generated using the CPN simulation tool. © 2005 IEEE.|
|Source Title:||Proceedings - Real-Time Systems Symposium|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 20, 2018
checked on Feb 24, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.