Certifying Software Component Performance Specifications - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Certifying Software Component Performance Specifications write by Groenda, Henning. This book was released on 2014-07-30. Certifying Software Component Performance Specifications available in PDF, EPUB and Kindle. In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
Modeling and Simulating Software Architectures
Modeling and Simulating Software Architectures - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Modeling and Simulating Software Architectures write by Ralf H. Reussner. This book was released on 2016-10-28. Modeling and Simulating Software Architectures available in PDF, EPUB and Kindle. A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states. Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. This book presents a new, quantitative architecture simulation approach to software design, which allows software engineers to model quality of service in early design stages. It presents the first simulator for software architectures, Palladio, and shows students and professionals how to model reusable, parametrized components and configured, deployed systems in order to analyze service attributes. The text details the key concepts of Palladio's domain-specific modeling language for software architecture quality and presents the corresponding development stage. It describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions. Readers will learn how to approach systematically questions about scalability, hardware resources, and efficiency. The text features a running example to illustrate tasks and methods as well as three case studies from industry. Each chapter ends with exercises, suggestions for further reading, and “takeaways” that summarize the key points of the chapter. The simulator can be downloaded from a companion website, which offers additional material. The book can be used in graduate courses on software architecture, quality engineering, or performance engineering. It will also be an essential resource for software architects and software engineers and for practitioners who want to apply Palladio in industrial settings.
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Specification Languages for Preserving Consistency between Models of Different Languages write by Kramer, Max Emanuel. This book was released on 2019-01-30. Specification Languages for Preserving Consistency between Models of Different Languages available in PDF, EPUB and Kindle. When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments write by Hauck, Michael. This book was released on 2014-02-11. Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments available in PDF, EPUB and Kindle. The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach write by Frank, Markus Kilian. This book was released on 2022-07-18. Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach available in PDF, EPUB and Kindle. Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.
