Static Dataflow Analysis for Soft Real-Time System Design
Synchronous (deterministic) dataflow (SDF) has been extensively used to model flow constraints of digital signal processing (DSP) applications executed on (hard) real-time (RT) operating system (OS). Modern internet-of-things are, however, are often equipped with (soft) RTOSs such as embedded Linux. To reduce design iterations for the latter, the paper proposes a stochastic approach to SDF graphs where the response time of each node is modeled as probability density function (pdf). With increasing number of iterations over the graph, the individual PDFs propagate through the network. The first and second central moments of the resulting joint pdf correspond to the expected system latency and jitter, respectively. The scheduler may execute the code sequentially or in parallel. The proposed analysis tool is helpful in identifying bottlenecks within the system.
KeywordsProbability Soft real-time Service time Latency Jitter Synchronous density flow
- 1.Bekooij, M., Hoes, R., Moreira, O., Poplavko, P., Pastrnak, M., Mesman, B., Mol, J.D., Stuijk, S., Gheorghita, V., van Meerbergen, J.: Dataflow Analysis for Real-Time Embedded Multiprocessor System Design, Philips Research, vol. 3. Springer, Dordrecht (2005)Google Scholar
- 2.Durfee, E., Rosenschein, J.: Distributed problem solving and multiagent systems: comparisons and examples. In: Proceedings of 13th International Workshop on Distributed Artificial Intelligence, pp. 94–104 (1994)Google Scholar
- 6.Papoulis, A.: Probability, Random Variables, and Stochastic Processes. McGraw Hill Inc. (1991)Google Scholar