Abstract
In this paper, we show a simulation method for performance prediction of medical image processing chains, based on the real-time calculus of [9]. In particular, we focus on estimating the latency and throughput of a given image processing chain and its distribution over hardware resources. The architectural level of abstraction of the real-time calculus approach makes our method flexible, so that different design decisions can be studied using similar models. The choice for simulation rather than the usual algebraic analysis of real-time calculus equations, gives us the possibility to include a number of performance relevant implementation details in our models for which analytical estimates are not available.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Matlab/Simulink. http://www.mathworks.com
Altilar, D.T., Paker, Y.: Optimal scheduling algorithm for parallel video processing. In: The 1998 International Conference on Multimedia Computing and Systems, Austin, Texas, USA, June, pp. 245–248 (1998)
Thiran, P., Le Boudec, J.-Y.: Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001)
Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use. Springer, Berlin (1992-1997)
Kleinrock, L.: Queuing systems, Volume 1: theory. John Wiley, New York (1975)
Schwarz, P., Donath, U.: Simulation-based performance analysis of distributed systems. In: International Workshop Parallel and Distributed Real-Time Systems, Geneva, Switzerland, pp. 244–249 (1997)
Subhlok, J., Vondran, G.: Optimal latency-throughput tradeoffs for data parallel pipelines. In: Eighth Annual ACM Symposium on Parallel Algorithms and Architectures, Padua, Italy, June 1996, pp. 62–71. ACM Press, New York (1996)
Thiele, L., Chakraborty, S., Gries, M., Künzli, S.: A framework for evaluating design tradeoffs in packet processing architectures. In: DAC ’02: Proceedings of the 39th conference on Design automation, New Orleans, Louisiana, USA, pp. 880–885. ACM Press, New York (2002), doi:10.1145/513918.514136
Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS), vol. 4, pp. 101–104. IEEE Computer Society Press, Los Alamitos (2000)
Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis - a case study. In: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA) (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Cuijpers, P.J.L., Fyukov, A.V. (2007). Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds) Formal Methods: Applications and Technology. PDMC 2006. Lecture Notes in Computer Science, vol 4346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70952-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-70952-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70951-0
Online ISBN: 978-3-540-70952-7
eBook Packages: Computer ScienceComputer Science (R0)