Abstract
iDSL is a language and toolbox for performance prediction of Medical Imaging Systems; It enables system designers to automatically evaluate the performance of their designs, using advanced means of model checking and simulation techniques under the hood, and presents results graphically. In this paper, we present a performance evaluation approach based on iDSL that (i) relies on few measurements; (ii) evaluates many different design alternatives (so-called “designs”); (iii) provides understandable metrics; and (iv) is applicable to real complex systems. Next to that, iDSL supports advanced methods for model calibration as well as ways to aggregate performance results. An extensive case study on interventional X-ray systems shows that iDSL can be used to study the impact of different hardware platforms and concurrency choices on the overall system performance. Model validation conveys that the predicted results closely reflect reality.
This research was supported as part of the Dutch national program COMMIT, and carried out as part of the Allegio project under the responsibility of the ESI group of TNO, with Philips Medical Systems B.V. as the carrying industrial partner.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ayer, M., Brunk, D., Ewing, G., Reid, W., Silverman, E.: An empirical distribution function for sampling with incomplete information. The Annals of Mathematical Statistics 26(4), 641–647 (1955)
Basten, T., van Benthum, E., Geilen, M., Hendriks, M., Houben, F., Igna, G., Reckers, F., de Smet, S., et al.: Model-driven design-space exploration for embedded systems: the octopus toolset. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 90–105. Springer, Heidelberg (2010)
van den Berg, F., Hooman, J., Hartmanns, A., Haverkort, B., Remke, A.: Computing response time distributions using iterative probablistic model checking. In: Computer Performance Engineering, LNCS, vol. 9272. Springer (2015) (to appear)
van den Berg, F., Remke, A., Haverkort, B.R.: A domain specific language for performance evaluation of medical imaging systems. In: 5th Workshop on Medical Cyber-Physical Systems, pp. 80–93. Schloss Dagstuhl (2014)
van den Berg, F., Remke, A., Mooij, A., Haverkort, B.: Performance evaluation for collision prevention based on a domain specific language. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 276–287. Springer, Heidelberg (2013)
Censor, Y.: Pareto optimality in multiobjective problems. Applied Mathematics and Optimization 4(1), 41–59 (1977)
Conway, R.: Some tactical problems in digital simulation. Management Science 10(1), 47–61 (1963)
Devroye, L.: Sample-based non-uniform random variate generation. In: Proceedings of the 18th Winter simulation conference, pp. 260–265. ACM (1986)
Ghodsi, R., Skandari, M., Allahverdiloo, M., Iranmanesh, S.: A new practical model to trade-off time, cost, and quality of a project. Australian Journal of Basic and Applied Sciences 3(4), 3741–3756 (2009)
Groote, J., Osaiweran, A., Wesselius, J.: Analyzing the effects of formal methods on the development of industrial control software. In: 27th IEEE International Conference on Software Maintenance, pp. 467–472. IEEE (2011)
Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 593–598. Springer, Heidelberg (2014)
Haveman, S., Bonnema, G., van den Berg, F.: Early insight in systems design through modeling and simulation. Procedia Computer Science 28, 171–178 (2014)
Igna, G., Vaandrager, F.: Verification of printer datapaths using timed automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 412–423. Springer, Heidelberg (2010)
Johnson, J.: Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules. Morgan Kaufmann (2010)
Wilson, J.: Gantt charts: A centenary appreciation. European Journal of Operational Research 149(2), 430–437 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
van den Berg, F., Remke, A., Haverkort, B.R. (2015). iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. In: Beltrán, M., Knottenbelt, W., Bradley, J. (eds) Computer Performance Engineering. EPEW 2015. Lecture Notes in Computer Science(), vol 9272. Springer, Cham. https://doi.org/10.1007/978-3-319-23267-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-23267-6_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23266-9
Online ISBN: 978-3-319-23267-6
eBook Packages: Computer ScienceComputer Science (R0)