Antonio Puliafito - Böcker

Assembling Smart Cyber-Physical Systems: Heterogeneous, Diffuse and Green Technological Infrastructures for Cities and Industries offers a comprehensive approach on how to design, implement, and use Cyber Physical Systems (CPSs)-computing systems with a strong interaction between the physical environment (equipped with sensors and actuators) and the cyber realm (the Cloud). Through a carefully structured methodological approach to systems design, readers will learn how the infrastructure continuum represents our environment, where we can move from edge computing to the Cloud, going through fog resources to set up an entire framework for services deployment and application in smart cities and industries.As dealing with complex systems has become increasingly difficult, CPSs are increasingly critical to cope with integrating software, which people are used to, with hardware, which is distributed among different domains. This book shows how to deal with such systems where there is no distinction among the different parts: computing, storage, networking, and IoT all contribute to setting up the modern processing environments, thus it is mandatory to keep them simultaneously under control.Employs a versatile, bottom-up, horizontal approach to CPS infrastructure and applicationsUtilizes the Stack4Things framework, an evolution of the well-known OpenStack environment, to construct a virtual representation of the systems under exam and manage complex systems of systems, both in the fields of smart cities and industry 4.0Considers green aspects as a driving principle in the design and operational phaseExplores systems construction green principles throughout the whole bookFollows a practically oriented approach throughout the book, with theory always supported by guided experiments related to smart cities and smart industries as the main application fields

This text provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modelling is followed; all of the examples described are solved and analyzed using the SHARPE tool. In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modelling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system.The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the "toolchest" that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided. As well as being suitable for use in advanced-level courses covering reliability and performance of computer and communications systems, this book is also intended for researchers and practising engineers whose work involves modelling of system performance and reliability.

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved and analyzed using the SHARPE tool. In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system. The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided. Audience: Suitable for use in advanced level courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.

This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work.

This book presents the latest key research into the performanceand reliability aspects of dependable fault-tolerant systems and featurescommentary on the fields studied by Prof. Kishor S. Trivedi during hisdistinguished career. Analyzing system evaluation as a fundamental tenet in thedesign of modern systems, this book uses performance and dependability ascommon measures and covers novel ideas, methods, algorithms, techniques, andtools for the in-depth study of the performance and reliability aspects ofdependable fault-tolerant systems. It identifies the current challenges thatdesigners and practitioners must face in order to ensure the reliability, availability,and performance of systems, with special focus on their dynamic behaviors anddependencies, and provides system researchers, performance analysts, andpractitioners with the tools to address these challenges in their work. Withcontributions from Prof. Trivedi's former PhD students and collaborators, manyof whom are internationally recognized experts, to honor him on the occasion ofhis 70th birthday, this book serves as a valuable resource for all engineeringdisciplines, including electrical, computer, civil, mechanical, and industrialengineering as well as production and manufacturing.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017. The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. ad-hoc networks; wireless sensor networks;

This book presents the latest key research into the performanceand reliability aspects of dependable fault-tolerant systems and featurescommentary on the fields studied by Prof.