Real-time Systems' Quality of Service

Real-time Systems' Quality of Service
Title Real-time Systems' Quality of Service PDF eBook
Author Roman Gumzej
Publisher Springer Science & Business Media
Pages 145
Release 2010-01-10
Genre Technology & Engineering
ISBN 1848828489

Download Real-time Systems' Quality of Service Book in PDF, Epub and Kindle

"Real-time Systems’ Quality of Service" examines the attainability of efficiency, economy, and ease of use, which make up the quality of service of technologically advanced products. "Real-time Systems’ Quality of Service" reviews the state of the art in quality of service evaluation for real-time systems. It gives a classification of the relevant parameters for quality of service evaluation and also determines the critical points in the design and development process of real-time systems – where performance criteria should be applied or checked. Then, software development and certification standards are assessed, and finally the authors elaborate on how the suggested criteria should be applied to the design, development, and certification process of real-time systems. "Real-time Systems’ Quality of Service" will guide researchers and postgraduates in embedded and real-time systems through the process of introducing quality of service parameters into real-time systems.

Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata

Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata
Title Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata PDF eBook
Author Krause, Christian
Publisher Universitätsverlag Potsdam
Pages 54
Release 2012
Genre Computers
ISBN 3869561718

Download Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata Book in PDF, Epub and Kindle

One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the availability of composite interorganizational services. Such systems are often characterized by a variety of inherent uncertainties, which must be addressed in the modeling and the analysis approach. The different relevant types of uncertainties can be categorized into (1) epistemic uncertainties due to incomplete knowledge and (2) randomization as explicitly used in protocols or as a result of physical processes. In this report, we study a probabilistic timed model which allows us to quantitatively reason about nonfunctional properties for a restricted class of service-oriented real-time systems using formal methods. To properly motivate the choice for the used approach, we devise a requirements catalogue for the modeling and the analysis of probabilistic real-time systems with uncertainties and provide evidence that the uncertainties of type (1) and (2) in the targeted systems have a major impact on the used models and require distinguished analysis approaches. The formal model we use in this report are Interval Probabilistic Timed Automata (IPTA). Based on the outlined requirements, we give evidence that this model provides both enough expressiveness for a realistic and modular specifiation of the targeted class of systems, and suitable formal methods for analyzing properties, such as safety and reliability properties in a quantitative manner. As technical means for the quantitative analysis, we build on probabilistic model checking, specifically on probabilistic time-bounded reachability analysis and computation of expected reachability rewards and costs. To carry out the quantitative analysis using probabilistic model checking, we developed an extension of the Prism tool for modeling and analyzing IPTA. Our extension of Prism introduces a means for modeling probabilistic uncertainty in the form of probability intervals, as required for IPTA. For analyzing IPTA, our Prism extension moreover adds support for probabilistic reachability checking and computation of expected rewards and costs. We discuss the performance of our extended version of Prism and compare the interval-based IPTA approach to models with fixed probabilities.

Quality of Service in Heterogeneous Networks

Quality of Service in Heterogeneous Networks
Title Quality of Service in Heterogeneous Networks PDF eBook
Author Novella Bartolini
Publisher Springer Science & Business Media
Pages 809
Release 2009-11-09
Genre Computers
ISBN 3642106242

Download Quality of Service in Heterogeneous Networks Book in PDF, Epub and Kindle

This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications. Both events were held in Las Palmas de Gran Canaria in November 2009. To each of these events is devoted a specific part of the volume. The first part is dedicated to the proceedings of ICST QShine 2009. The first four chapters deal with new issues concerning the quality of service in IP-based telephony and multimedia. A second set of four chapters addresses some important research problems in mul- hop wireless networks, with a special emphasis on the problems of routing. The following three papers deal with recent advances in the field of data mana- ment and area coverage in sensor networks, while a fourth set of chapters deals with mobility and context-aware services. The fifth set of chapters contains new works in the area of Internet delivery and switching systems. The following chapters of the QShine part of the volume are devoted to papers in the areas of resource management in wireless networks, overlay, P2P and SOA arc- tectures. Some works also deal with the optimization of quality of service and energy consumption in WLAN and sensor networks and on the design of a mobility support in mesh networks.

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
Title Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems PDF eBook
Author Behnaz Ranjbar
Publisher Springer Nature
Pages 205
Release 2023-10-28
Genre Technology & Engineering
ISBN 3031389603

Download Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems Book in PDF, Epub and Kindle

This book addresses the challenges associated with efficient Mixed-Criticality (MC) system design. We focus on application analysis through execution time analysis and task scheduling analysis in order to execute more low-criticality tasks in the system, i.e., improving the Quality-of-Service (QoS), while guaranteeing the correct execution of high-criticality tasks. Further, this book addresses the challenge of enhancing QoS using parallelism in multi-processor hardware platforms.

Quality of Service in IP Networks

Quality of Service in IP Networks
Title Quality of Service in IP Networks PDF eBook
Author Grenville Armitage
Publisher Sams Publishing
Pages 344
Release 2000
Genre Computers
ISBN

Download Quality of Service in IP Networks Book in PDF, Epub and Kindle

Quality of Service (QoS) is a standards effort to provide consistent levels of service despite delivery problems. Providing students with an understanding of the technologies and techniques that will enable Internet QoS, this book is for courses in network management.

Soft Real-Time Systems: Predictability vs. Efficiency

Soft Real-Time Systems: Predictability vs. Efficiency
Title Soft Real-Time Systems: Predictability vs. Efficiency PDF eBook
Author Giorgio C Buttazzo
Publisher Springer Science & Business Media
Pages 281
Release 2006-07-02
Genre Computers
ISBN 0387281479

Download Soft Real-Time Systems: Predictability vs. Efficiency Book in PDF, Epub and Kindle

Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources. Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes. They are also more suited to novel applications of real-time technology, such as multimedia systems, monitoring apparatuses, telecommunication networks, mobile robotics, virtual reality, and interactive computer games. This unique monograph provides concrete methods for building flexible, predictable soft real-time systems, in order to optimize resources and reduce costs. It is an invaluable reference for developers, as well as researchers and students in Computer Science.

Quality of Service in Wireless Networks Over Unlicensed Spectrum

Quality of Service in Wireless Networks Over Unlicensed Spectrum
Title Quality of Service in Wireless Networks Over Unlicensed Spectrum PDF eBook
Author Klara Nahrstedt
Publisher Morgan & Claypool Publishers
Pages 179
Release 2012
Genre Computers
ISBN 1608457311

Download Quality of Service in Wireless Networks Over Unlicensed Spectrum Book in PDF, Epub and Kindle

This Synthesis Lecture presents a discussion of Quality of Service (QoS) in wireless networks over unlicensed spectrum. The topic is presented from the point of view of protocols for wireless networks (e.g., 802.11) rather than the physical layer point of view usually discussed for cellular networks in the licensed wireless spectrum. A large number of mobile multimedia wireless applications are being deployed over WiFi (IEEE 802.11) and Bluetooth wireless networks and the number will increase in the future as more phones, tablets, and laptops are equipped with these unlicensed spectrum wireless interfaces. Achieving QoS objectives in wireless networks is challenging due to limited wireless resources, wireless nodes interference, wireless shared media, node mobility, and diverse topologies. The author presents the QoS problem as (1) an optimization problem with different constraints coming from the interference, mobility, and wireless resource constraints and (2) an algorithmic problem with fundamental algorithmic functions within wireless resource management and protocols. Table of Contents: Preface / Basics of Quality of Service in Wireless Networks / QoS-Aware Resource Allocation / Bandwidth Management / Delay Management / Routing / Acknowledgment / References / Author Biography