Performance modelling of pools in soft real-time design architectures

Simulation Practice and Theory

Volumn 9, Issue 3-5, 2002, Pages 215-240

  Juiz, Carlos ^a   Puigjaner, Ramon ^a  

^a UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

Interaction protocols; Pools; Priority queues; Semaphore queues; Soft real time systems

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; NETWORK PROTOCOLS; QUEUEING THEORY; SYSTEMS ANALYSIS;

SEMAPHORE QUEUES;

REAL TIME SYSTEMS;

EID: 0037092447     PISSN: 09284869     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0928-4869(01)00053-2     Document Type: Conference Paper

References (27)

1. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. 1995;Wiley, Chichester, UK.
2. Bause F., Kritzinger P.S. Stochastic Petri Nets. An Introduction to the Theory. Advances in Computer Science. 1996;Verlag Vieweg, Wiesbaden, Germany.
3. Cobham A. Priority assigment in waiting line problems. Operations Res. 2:1954;70-76.
4. Cooling J.E. Real-Time Software Systems. An Introduction to Structured and Object-Oriented Design. 1997;International Thomson Computer Press.
5. Conway A.E., Georganas N.D. Schwetman H. Queueing Networks-Exact Computational Algorithms. A Unified Theory Based on Decomposition and Aggregation. Computer Systems. 1989;MIT Press, Cambridge, MA.
6. Courtois P.J., Heymans F., Parnas D.L. Concurrent control with readers and writers. Commun. ACM. 14(10):1971;667-668.
7. Fdida S., Perros H.G., Wilk A. Semaphore queues: modeling multilayered window flow control mechanisms. IEEE Trans. Commun. 38(3):1990;309-317.
8. Gooma H. Habermann N. Software Design Methods for Concurrent and Real-time Systems. The SEI Series in Software Engineering. 1993;Addison-Wesley, Reading, MA.
9. Haverkort B.R. Performance of Computer Communication Systems. A Model-Based Approach. 1998;Wiley, Chichester, UK.
10. Jackson K. Language design for modular software construction. IFIP'77 Congress Proceedings. 1977;577-581.
11. K. Jackson, A. Llamosí, R. Puigjaner, A comparison between two methods for large real-time systems design, Complement Project Document UIB67-1.0, November 1993.
12. Juiz C., Puigjaner R. Approximate performance models of real-time software systems. Dowd P., Gelenbe E. Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. 1995;163-167 IEEE, Durham, NC.
13. Juiz C., Puigjaner R. Composition of real-time software elements: the communications channel. Ni L., Taieb F.Z. Proceedings of the Conference on Communication Networks and Distributed Systems Modeling and Simulation. 1997;131-136 SCS, Phoenix, AZ.
14. Juiz C., Puigjaner R. Performance modeling of data transfer channels in soft real-time systems. Ni L., Taieb F.Z. Proceedings of the Conference on Communication Networks and Distributed Systems Modeling and Simulation. 1998;101-106 SCS, San Diego, CA.
15. Juiz C., Puigjaner R., Jackson K. Performance evaluation of channels for large real-time software systems. Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems. 1998;69-76 IEEE, Jerusalem, Israel.
16. Juiz C., Puigjaner R., Perros H.G. Gelenbe E. Performance Analysis of Multi-Class Data Transfer Elements in Soft Real-Time Systems using Semaphore Queues, System Performance Evaluation: Methodologies and Applications. 2000;275-289 CRC Press, Boca Raton, FL.
17. Juiz C., Puigjaner R. Queueing analysis of pools in soft real-time systems. Haverkort B.R.et al. TOOLS 2000. Lecture Notes in Computer Science. vol. 1786:2000;56-70 Springer, Heidelberg.
18. Lavenberg S. Stability and maximum departure rate of certain open queueing networks having capacity constraints. RAIRO Informat./Comput. Sci. 12:1978;353-378.
19. Lindemann C. Performance Modelling with Deterministic and Stochastic Petri Nets. 1998;Wiley, Chichester, UK.
20. Peterson J.L. Petri Net Theory and the Modeling of Systems. 1981;Prentice-Hall, Englewood Cliffs, NJ.
21. Perros H.G. Queueing Networks with Blocking. 1994;Oxford University Press, New York.
22. Pyle I., Hruschka P., Lissandre M., Jackson K. Tully C., Pyle I. Real-Time Systems, Investigating Industrial Practice. Wiley Series in Software Based Systems. 1993;Wiley, Chichester, UK.
23. Simpson H.R. The Mascot method. Software Eng. J. 1986;103-120.
24. H.R. Simpson, Real time networks in configurable distributed systems, in: Proceedings International Workshop on Configurable Distributed Systems, London, UK, 1992.
25. H.R. Simpson, Protocols for Process Interaction. Part 1- Rationale and Specification. Matra BAe Dynamics document DR20197 Issue 1, 2000, 15 December.
26. Stewart W.J. Introduction to the Numerical Solution of Markov Chains. 1994;Princeton University Press, New Jersey.
27. Wang J. Timed Petri Nets. Theory and Application. The Kluwer International Series on Discrete Event Dynamic Systems. 1998;Kluwer Academic, Norwell, MA.