Abstract
This paper describes an event analytical model for the workload characterization of multimedia applications with several scenarios of operation. This model describes the application tasks as timed actors of a Scenario-Aware Dataflow Graph (SADF), so that the multiple application scenarios are defined in terms of the variable execution times previously identified in the timing characterization of every application task. A Max-Plus linear representation between the input and output event sequences of the SADF Graph states the basis of a model of scenario-based workload curves and a model of scenario-based service curves that allow to characterize the behavioral dynamism of the application in its design phase. By a detailed study, we show the applicability of our model for the performance evaluation of a multimedia application, whose tasks are implemented in general purpose processors.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Schaumont, P.: A Practical Introduction to Hardware/Software Codesign -, 2nd edn. Springer, Heidelberg (2013). ISBN 978-1-4614-3736-9
Stuijk, S., Basten, T., Mesman, B., Geilen, M.: Predictable embedding of large data structures in multiprocessor networks-on-chip. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2005, vol. 1, pp. 254–255. IEEE Computer Society, Washington (2005). doi:http://dx.doi.org/10.1109/DATE.2005.244
Rosson, M.B., Carroll, J.M.: Scenario-based design. In: Jacko, J.A., Sears, A. (eds.) The human-computer interaction handbook, pp. 1032–1050. L. Erlbaum Associates Inc., Hillsdale (2002)
Gheorghita, S.V., Basten, T., Corporaal, H.: Application scenarios in streaming-oriented embedded-system design. IEEE Des. Test 25(6), 581–589 (2008). doi:10.1109/MDT.2008.158
Geilen, M., Stuijk, S.: Worst-case performance analysis of synchronous dataflow scenarios. In: Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES/ISSS 2010), pp. 125–134. ACM, New York (2010). doi:http://dx.doi.org/10.1145/1878961.1878985
Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: Proceedings of the 4th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 185–194. IEEE Computer Society Press (2006)
Skelin, M., Wognsen, E.R., Olesen, M.C., Hansen, R.R., Larsen, K.G.: Model checking of finite-state machine-based scenario-aware dataflow using timed automata. In: 10th IEEE International Symposium on Industrial Embedded Systems (SIES), Siegen (2015). doi:10.1109/SIES.2015.7185065
Maxiaguine, A., Künzli, S., Thiele, L.: Workload characterization model for tasks with variable execution demand. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2004, vol. 2. IEEE Computer Society, Washington (2004)
Baccelli, F.L., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, Hoboken (2001). http://www.rocq.inria.fr/metalau/cohen/SED/book-online.html
Addad, B., Amari, S., Lesage, J.-J.: Linear time-varying (Max, +) representation of conflicting timed event graphs. In: 10th International Workshop on Discrete Event Systems, August 2010, pp. 310–315, Berlin, Germany (2010)
Maxiaguine, A., Zhu, Y., Chakraborty, S., Wong, W.-F.: Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs. In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 08–10 September 2004, Stockholm, Sweden (2004)
Liu, Y., Chakraborty, S., Ooi, W.T.: Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design. In: Proceedings. 42nd Design Automation Conference, 2005, pp. 248–253 (2005) doi:10.1109/DAC.2005.193810
Geilen, M.: Synchronous dataflow scenarios. ACM Trans. Embed. Comput. Syst. 10(2), Article 16, 31 pp. (2011). doi:http://dx.doi.org/10.1145/1880050.1880052
Geilen, M.: Reduction techniques for synchronous dataflow graphs. In: Proceedings of the 46th Annual Design Automation Conference (DAC 2009), pp. 911–916. ACM, New York (2009). doi:http://dx.doi.org/10.1145/1629911.1630146
Fidler, M.: Survey of deterministic and stochastic service curve models in the network calculus. IEEE Commun. Surv. Tutorials 12(1), 59–86 (2010)
Gustavo, A.P.A., Gonzalez, J., Chau, W.J., Strum, M.: Workload and task characterization based on operation modes timing analysis. In: 2012 IEEE International SOC Conference (SOCC), pp. 248–253, 12-14 September 2012
Meijer, S., Kienhuis, B., Turjan, A., de Kock, E.: A process splitting transformation for kahn process networks. In: 2007 Design, Automation & Test in Europe Conference & Exhibition, Nice, pp. 1–6 (2007)
Kahn, G.: The semantics of a simple language for parallel programming. Inf. Process. 74, 471–475 (1974). North-Holland
SCICOSLAB. http://www.scicoslab.org
Acknowledgement
The given work was supported by CAPES (in Brazil), University of São Paulo (USP), and by CODI at the University of Antioquia (UdeA).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Alvarez, G.P., Chau, W.J. (2016). Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation. In: Fränzle, M., Markey, N. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2016. Lecture Notes in Computer Science(), vol 9884. Springer, Cham. https://doi.org/10.1007/978-3-319-44878-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-44878-7_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44877-0
Online ISBN: 978-3-319-44878-7
eBook Packages: Computer ScienceComputer Science (R0)