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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Hoare, C.: Communicating Sequential Processes. Prentice Hall (1985)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 134–152 (1997)
Pep - Programming Environment based on Petri nets, http://parsys.informatik.uni-oldenburg.de/pep/
Tina - TIme petri Net Analyzer, http://www.laas.fr/tina/
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)