Quantitative System Performance

An overview of queueing network modelling. Conducting a modelling study. Fundamental laws. General analytic technique. Bounds on performance. Models with one job class. Models with multiple job classes. Flow equivalence and hierarchical modelling. Representing specific subsystems. Memory. Disk I/O. Processors. Parameterization. Existing systems. Evolving systems. Proposed systems. Perspective. Using queueing network modelling software. Appendices. Constructing a model from RMF data. An implementation of single class, exact MVA. An implementation of multiple class, exact MVA. Load dependent service centers. Index.

This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.

This book shares key insights into system performance and management analytics, demonstrating how the field of analytics is currently changing and how it is used to monitor companies’ efforts to drive performance.Managing business performance facilitates the effective accomplishment of strategic and operational goals, and there is a clear and direct correlation between using performance management applications and improved business and organizational results. As such, performance and management analytics can yield a range of direct and indirect benefits, boost operational efficiency and unlock employees’ latent potential, while at the same time aligning services with overarching goals.The book addresses a range of topics, including software reliability assessment, testing, quality management, system-performance management, analysis using soft-computing techniques, and management analytics. It presents a balanced, holistic approach to viewing the world from both a technical and managerial perspective by considering performance and management analytics. Accordingly, it offers a comprehensive guide to one of the most pressing issues in today’s technology-dominated world, namely, that most companies and organizations find themselves awash in a sea of data, but lack the human capital, appropriate tools and knowledge to use it to help them create a competitive edge.

This book describes and evaluates existing models of human performance and their use in the design and evaluation of new human-technology systems. Its primary focus is on the modeling of system operators who perform supervisory and manual control tasks. After an introduction on human performance modeling, the book describes information processing, control theory, task network, and knowledge-based models. It explains models of human performance in aircraft operations, nuclear power plant control, maintenance, and the supervisory control of process control systems, such as oil refineries. The book concludes with a discussion of model parameterization and validation and recommends a number of lines of research needed to strengthen model development and application.

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.

This book constitutes the proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (Performance Tools '95) and of the 8th GI/ITG Conference on Measuring, Modelling and Evaluating Computing and Communication Systems, MMB '95, held jointly in Heidelberg, Germany in September 1995. The volume presents 26 full refereed papers selected from a total of 86 submissions, together with two invited contributions. The scope of the papers includes measurement- and model-based approaches for quantitative systems assessment, reports on theoretical and methodological progress, and novel and improved assessment techniques and their tool implementations and applications.

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.