Mascot 3: an informal introductory tutorial
Software Engineering Journal - Special issue on Mascot 3
Queueing networks—exact computational algorithms: a unified theory based on decomposition and aggregation
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Queueing networks with blocking
Queueing networks with blocking
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Performance of Computer Communication Systems: A Model-Based Approach
Performance of Computer Communication Systems: A Model-Based Approach
Real-Time Software Systems: An Introduction to Structured and Object-Oriented Design
Real-Time Software Systems: An Introduction to Structured and Object-Oriented Design
Real Time Systems: Investigating Industrial Practice
Real Time Systems: Investigating Industrial Practice
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Performance Modelling of Communication Networks and Computer Architectures (International Computer S
Software Design Methods for Concurrent and Real-Time Systems
Proceedings of the 7th SEI CSEE Conference on Software Engineering Education
Improved performance model of a real-time software element: the producer-consumer
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Performance analysis of multiclass data transfer elements in soft real-time systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
| Hi-index | 0.00 |
Software packages for designing large real-time systems do not typically provide any performance tools that will enable the designer to analyse the performance of the system that is being designed. In this paper, we present a queueing model of the pool, a software component that is commonly used in every large soft real-time system. This basic component transfers data among tasks without synchronisation in a non-selective manner. This performance model can be used in a software package to complement the automatic design and generation of soft real-time systems. The queueing model is analysed approximately using a decomposition technique. The analytical approximation is based on a new variant of the semaphore queue paradigm. Numerical tests show that the approximation has a good accuracy by comparison with the results obtained from a simulation model of the pool.