Skip to main content

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

  • Conference paper
  • First Online:
Computer Performance Engineering (EPEW 2015)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9272))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Article  MathSciNet  MATH  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. Censor, Y.: Pareto optimality in multiobjective problems. Applied Mathematics and Optimization 4(1), 41–59 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  7. Conway, R.: Some tactical problems in digital simulation. Management Science 10(1), 47–61 (1963)

    Article  Google Scholar 

  8. Devroye, L.: Sample-based non-uniform random variate generation. In: Proceedings of the 18th Winter simulation conference, pp. 260–265. ACM (1986)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Haveman, S., Bonnema, G., van den Berg, F.: Early insight in systems design through modeling and simulation. Procedia Computer Science 28, 171–178 (2014)

    Article  Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Johnson, J.: Designing with the Mind in Mind: Simple Guide to Understanding User Interface Design Rules. Morgan Kaufmann (2010)

    Google Scholar 

  15. Wilson, J.: Gantt charts: A centenary appreciation. European Journal of Operational Research 149(2), 430–437 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Freek van den Berg .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics