Skip to main content
SpringerLink
Log in

Finding the Suitable Number of Resources to Maximize System Throughput

  • Conference paper
Advances in Information Systems and Technologies

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 206))

  • 2106 Accesses

Abstract

This paper presents a performance analysis tool (BAL) for concurrent systems that involves resources and synchronization. It is based on timed process algebra (BTC) for specifying process systems and their resource requirements. The output of the tool is the minimum time and resources needed to reach a given state. BAL makes the syntactic analysis of the system specification, draws up its relevant transition graph by applying the rules of the operational semantics and solves a performance optimization problem relevant to the minimization of the maximum completion time. A case study is used to assess how BAL works, the degree of usefulness of the results and the time required to obtain them.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.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. Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)

    Google Scholar 

  2. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, A., Yovine, A.: Kronos: A Model-Checking Tool for Real-Time Systems. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 298–302. Springer, Heidelberg (1998)

    Google Scholar 

  3. Behrmann, G., Brinksma, E., Hendriks, M., Mader, A.: Production Scheduling by Reachability Analysis: A Case Study. In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), p. 19 (2005)

    Google Scholar 

  4. Hoare, C.: Communicating Sequential Processes. Prentice Hall (1985)

    Google Scholar 

  5. Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 134–152 (1997)

    Google Scholar 

  6. Pep - Programming Environment based on Petri nets, http://parsys.informatik.uni-oldenburg.de/pep/

  7. Tina - TIme petri Net Analyzer, http://www.laas.fr/tina/

  8. Ruiz, M.C., Cazorla, D., Cuartero, F., Pardo, J.J.: Analysis of the SET e-commerce protocol using a true concurrency process algebra. In: 21st ACM Symposium on Applied Computing (SAC 2006), pp. 879–886 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Escuela Superior de Ingeniería Informática, Universidad de Castilla-La Mancha, Campus Universitario s/n, 02071, Albacete, Spain

    M. Carmen Ruiz, Diego Pérez, Juan José Pardo & Diego Cazorla

Authors
  1. M. Carmen Ruiz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Diego Pérez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Juan José Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Diego Cazorla
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. Carmen Ruiz .

Editor information

Editors and Affiliations

  1. , Faculty of Science and Technology, University Fernando Pessoa, Praça 9 de Abril 349, Porto, 4249-004, Portugal

    Álvaro Rocha

  2. , Instituto Superior de Estatística e, Universidade Nova de Lisboa, Campus de Campolide, Lisboa, 1070-312, Portugal

    Ana Maria Correia

  3. Broomfield Road 9, Sheffield, S10 2SE, United Kingdom

    Tom Wilson

  4. Empirica GmbH, Oxfordstr. 2, Bonn, 53111, Germany

    Karl A. Stroetmann

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ruiz, M.C., Pérez, D., Pardo, J.J., Cazorla, D. (2013). Finding the Suitable Number of Resources to Maximize System Throughput. In: Rocha, Á., Correia, A., Wilson, T., Stroetmann, K. (eds) Advances in Information Systems and Technologies. Advances in Intelligent Systems and Computing, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36981-0_62

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36981-0_62

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36980-3

  • Online ISBN: 978-3-642-36981-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation