Advertisement

Finding the Suitable Number of Resources to Maximize System Throughput

  • M. Carmen Ruiz
  • Diego Pérez
  • Juan José Pardo
  • Diego Cazorla
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 206)

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.

Keywords

Tool Formal Methods Performance Evaluation Available Resources Timed Process Algebra 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 4.
    Hoare, C.: Communicating Sequential Processes. Prentice Hall (1985)Google Scholar
  5. 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. 6.
    Pep - Programming Environment based on Petri nets, http://parsys.informatik.uni-oldenburg.de/pep/
  7. 7.
    Tina - TIme petri Net Analyzer, http://www.laas.fr/tina/
  8. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • M. Carmen Ruiz
    • 1
  • Diego Pérez
    • 1
  • Juan José Pardo
    • 1
  • Diego Cazorla
    • 1
  1. 1.Escuela Superior de Ingeniería InformáticaUniversidad de Castilla-La ManchaAlbaceteSpain

Personalised recommendations