Event Count Automata: A State-Based Model for Stream Processing Systems

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 dif...

• Type: Conference
• Year: 2005
• Where: RTSS
• Authors: Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan
• Keywords: Applied Computing, RTSS 2005, Stream Processing, Stream Processing Applications, Stream Processing Setting