The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes

• Autorzy: Polak M. , Majdzik P. , Banaszak Z. , Wójcik R.
• Języki publikacji: EN

Abstrakty

EN

This paper is addressing an issue of distributed systems designing aimed at automated prototyping of Cyclic Concurrent Processes Systems. In such systems concurrent processes compete for access to shared system resources. In order to ensure that a system is deadlock and starvation-free, certain conditions must be satisfied. In this paper, these conditions guarantee that for a given pair (an initial state, a set of dispatching rules) the system - belonging to a specific class - has a steady cyclic state. However, system designers are interested in values of performance indices, such as a rate of resources or processes utilization or the period of the system cycle. Nowadays, the values of performance indices are provided mainly as a result of a simulation process, which requires much more processor power than in case of an analytical method. Thus, in this paper the authors focus on providing a procedure that enables building analytical models of Cyclic Concurrent Processes Systems belonging to a system class considered in the paper. To reach this aim the max-plus algebra formalism is employed. Both the conditions ensuring a cyclic process flow and steps of the procedure are the basis of a software tool, which can be used by designers to prototype systems of desired values of the performance indices. Thanks to the computer program the designers receive a useful tool that helps to validate and allocate distributed control procedures, even in a complex system, which is a composition of simpler systems. The procedure together with the software tool is the main outcome of this paper.

Słowa kluczowe

EN

cyclic process; modelling; max-plus algebra; performance evaluation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 60, nr 1-4
• Strony: 269--289
• Opis fizyczny: Bibliogr. 20 poz., wykr.

Twórcy

autor

Polak M.

• Advanced Digital Broadcast Polska LTD, Zielona Góra, Trasa Północna 16, 65-119 Zielona Góra, Poland

autor

Majdzik P.

• Institute of Computer Computation Engineering, University of Zielona Góra. Podgórna 50, 65-246 Zielona Góra, Poland

autor

Banaszak Z.

• Department of Telecommunications, Technical University of Koszalin, Racławicka 15-17, 75-620 Koszalin, Poland

autor

Wójcik R.

• Institute of Engineering Cybernetics, Wrocław University of Technology, Janiszewskiego 11/17, 50-372 Wrocław, Poland

Bibliografia

• [1] F.L. Baccelli et al. Synchronization and linearity. An algebra for discrete event systems. John Wiley & Sons, N.Y., Toronto, 1992.
• [2] Z. Banaszak, M. Polak. Utilisation and system capacity (In System Flow Prototyping), in series Applied Optimization . Kluwer Academic. 2003, (in print).
• [3] Z. Banaszak, M. Polak. Deadlock-free distributed control for repetitive flows. Proc. of the 6th Int. Workshop on Discrete Event Systems, Zaragoza, Spain, pages 273-278, 2002.
• [4] M.B. Zaremba M.B., Z.A. Banaszak, P. Majdzik, and K.J. Jędrzejek. Distributed Flow control design for repetitive manufacturing processes. Proc. of the 14th Triennial Worlds Congress of IFAC, Beijing, PR. China, Vol. A, pages 1-6, 1999.
• [5] Z.A. Banaszak, M. Polak, and P. Majdzik. Towards Concurrent Processes Prototyping. Preprints of the 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, čagów. Poland, pages 71-76, 2003.
• [6] Z. Banaszak, P. Majdzik, W. Muszyński, and M. Polak. Towards Automation Of Distributed Control Prototyping. Part 1: Modelling, 9th IEEE International Conference MMAR - Methods and Models in Automation and Robotics, Miedzyzdroje. Poland, pages 843-848. 2003.
• [7] Z. Banaszak, P Majdzik, W. Muszyński, M. Polak. Towards Automation Of Distributed Control Prototyping. Part II: Performance Evaluation, 9th IEEE International Conference MMAR - Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, pages 849-854, 2003.
• [8] M. Polak, R. Wójcik, P. Majdzik. Z. Banaszak. Prototyping of Distributed Control Procedures in Concurrent Cyclic Processes Systems. 9th IEEE International Conference on Emerging Technologies and Factorу Automation, Lisbon, Portugal, Vol.2, pages 261-268, 2003.
• [9] M. Abrams. Geometric performance analysis of semaphore program. Tech. Rep. TR-93-25. Dept. Comput. Sci. Univ. Virginia. Charlottesville, 1993.
• [10] B. Gaujal. J.M. Baykal-Gursoy,G. Alpan. Allocation sequences of two processes sharing a resource. IEEE Trans. Robot. Automat., Vol.l1, no.5, pages 748-753, 1995.
• [11] Barts C.T. Periodic-job shedules and resources access control protocols. M.Sc. thesis, Univ. Illinois, Urbana, IL, 1992.
• [12] A. Di Febbraro, R. Minciardi, S. Sacone. Optimal flow assignment and operation sequencing in repetitive manufacturing systems. In Proc. 3rd Europ. Control Conf, Rome, Italy. Sept. Vol.3, pages 2784-2808. 1995.
• [13] B. Shridhar, D. Shukla, P. Agrawal P. A framework for mapping periodic real-time application on multicomputers. IEEE Trans. Parallel Distrib. Syst., Vol.5. no.7. pages 778-784, 1994.
• [14] C. G. Cassandras. Discrete state systems. Modelling and performance analysis. Boston, M A, Aksen, 1993.
• [15] H. P. Hillion. J. M. Proth. Performance evaluation of job-shop systems using timed state-graphs. IEEE Trans. Automat. Contr., Vol.34, no.l. pages 3-9, 1989.
• [16] G. Cohen, D. Dubois, J.P Quadrat, M. Voit. A Linear System Theoretic View of Discrete Event Processes and It’s Use for Performance Evaluation in Manufacturing. IEEE Trans. Automat. Contr., Vol. AC-30, pages 210-220. 1985.
• [17] M. Abrams, N. Doraswamy, A. Mathur. Visual analysis of parallel and distributed programs in the time, event, and frequency domains. IEEE Trans, on Parallel and Distributed Systems, vol.3, no.6, pages 672-685, 1992
• [18]G. Alpan. M.A. Jafari. Dynamic analysis of timed Petri nets: a case of two processes and a shared resource. IEEE Trans, on Robotics and Automation, vol. 13, no.3, pages 338-346, 1997.
• [19] M.B. Zaremba, К. Jędrzejek, Z. Banaszak. Design of steady state behaviour of concurrent repetitive processes: an algebraic approach. IEEE Trans, on Syst., Man. and Cyb., Vol. 28, Part A, No.2, pages 199-212, 1998.
• [20] R. Wójcik. Towards strong stability of concurrent repetitive processes sharing resources. Systems Science, Vol. 27, No. 2, pages 37-47, 2001.