Theory and Engineering of Dependable Computer Systems and Networks

Theory and Engineering of Dependable Computer Systems and Networks

Author: Wojciech Zamojski

Publisher: Springer Nature

Published: 2021-05-26

Total Pages: 512

ISBN-13: 3030767736

DOWNLOAD EBOOK

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also—the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.


Advances in System Reliability Engineering

Advances in System Reliability Engineering

Author: Mangey Ram

Publisher: Academic Press

Published: 2018-11-24

Total Pages: 320

ISBN-13: 0128162724

DOWNLOAD EBOOK

Recent Advances in System Reliability Engineering describes and evaluates the latest tools, techniques, strategies, and methods in this topic for a variety of applications. Special emphasis is put on simulation and modelling technology which is growing in influence in industry, and presents challenges as well as opportunities to reliability and systems engineers. Several manufacturing engineering applications are addressed, making this a particularly valuable reference for readers in that sector. - Contains comprehensive discussions on state-of-the-art tools, techniques, and strategies from industry - Connects the latest academic research to applications in industry including system reliability, safety assessment, and preventive maintenance - Gives an in-depth analysis of the benefits and applications of modelling and simulation to reliability


Dependable Computer Systems and Networks

Dependable Computer Systems and Networks

Author: Wojciech Zamojski

Publisher: Springer Nature

Published: 2023-08-10

Total Pages: 361

ISBN-13: 3031377206

DOWNLOAD EBOOK

The book includes papers about various problems of dependable operation of computer systems and networks, which were presented during the 18th DepCoS-RELCOMEX conference. Their collection can be an interesting source material for scientists, researchers, practitioners, and students who are dealing with design, analysis, and engineering of computer systems and networks and must ensure their dependable operation. The increasing role of artificial intelligence algorithms and tools in modern information technology and computer engineering, especially rapid expansion of tools based on deep learning methods, calls for extending our view on system dependability. Selection of papers in these proceedings not only illustrates a wide-ranging variety of multidisciplinary topics which should be considered in this context but also proves that virtually all areas of contemporary computer systems and networks must take into account an aspect of dependability.


Reliability and Availability Engineering

Reliability and Availability Engineering

Author: Kishor S. Trivedi

Publisher: Cambridge University Press

Published: 2017-08-03

Total Pages: 729

ISBN-13: 1107099501

DOWNLOAD EBOOK

Learn about the techniques used for evaluating the reliability and availability of engineered systems with this comprehensive guide.


Network Reliability and Resilience

Network Reliability and Resilience

Author: Ilya Gertsbakh

Publisher: Springer Science & Business Media

Published: 2011-09-05

Total Pages: 86

ISBN-13: 3642223745

DOWNLOAD EBOOK

This book is devoted to the probabilistic description of the behavior of a network in the process of random removal of its components (links, nodes) appearing as a result of technical failures, natural disasters or intentional attacks. It is focused on a practical approach to network reliability and resilience evaluation, based on applications of Monte Carlo methodology to numerical approximation of network combinatorial invariants, including so-called multidimensional destruction spectra. This allows to develop a probabilistic follow-up analysis of the network in the process of its gradual destruction, to identify most important network components and to develop efficient heuristic algorithms for network optimal design. Our methodology works with satisfactory accuracy and efficiency for most applications of reliability theory to real –life problems in networks.


Performance and Reliability Analysis of Computer Systems

Performance and Reliability Analysis of Computer Systems

Author: Robin A. Sahner

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 408

ISBN-13: 1461523672

DOWNLOAD EBOOK

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.


Security Engineering

Security Engineering

Author: Ross Anderson

Publisher: John Wiley & Sons

Published: 2020-12-22

Total Pages: 1232

ISBN-13: 1119642787

DOWNLOAD EBOOK

Now that there’s software in everything, how can you make anything secure? Understand how to engineer dependable systems with this newly updated classic In Security Engineering: A Guide to Building Dependable Distributed Systems, Third Edition Cambridge University professor Ross Anderson updates his classic textbook and teaches readers how to design, implement, and test systems to withstand both error and attack. This book became a best-seller in 2001 and helped establish the discipline of security engineering. By the second edition in 2008, underground dark markets had let the bad guys specialize and scale up; attacks were increasingly on users rather than on technology. The book repeated its success by showing how security engineers can focus on usability. Now the third edition brings it up to date for 2020. As people now go online from phones more than laptops, most servers are in the cloud, online advertising drives the Internet and social networks have taken over much human interaction, many patterns of crime and abuse are the same, but the methods have evolved. Ross Anderson explores what security engineering means in 2020, including: How the basic elements of cryptography, protocols, and access control translate to the new world of phones, cloud services, social media and the Internet of Things Who the attackers are – from nation states and business competitors through criminal gangs to stalkers and playground bullies What they do – from phishing and carding through SIM swapping and software exploits to DDoS and fake news Security psychology, from privacy through ease-of-use to deception The economics of security and dependability – why companies build vulnerable systems and governments look the other way How dozens of industries went online – well or badly How to manage security and safety engineering in a world of agile development – from reliability engineering to DevSecOps The third edition of Security Engineering ends with a grand challenge: sustainable security. As we build ever more software and connectivity into safety-critical durable goods like cars and medical devices, how do we design systems we can maintain and defend for decades? Or will everything in the world need monthly software upgrades, and become unsafe once they stop?


Computing System Reliability: Models and Analysis

Computing System Reliability: Models and Analysis

Author: Min Xie

Publisher: Springer Science & Business Media

Published: 2004-04-30

Total Pages: 298

ISBN-13: 030648496X

DOWNLOAD EBOOK

Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound analysis and simplicity of the approaches, the use of Markov models can be better implemented in the computing system reliability.


Reliability and Maintenance

Reliability and Maintenance

Author: Frank Beichelt

Publisher: CRC Press

Published: 2012-05-22

Total Pages: 340

ISBN-13: 1439826366

DOWNLOAD EBOOK

Reliability and Maintenance: Networks and Systems gives an up-to-date presentation of system and network reliability analysis as well as maintenance planning with a focus on applicable models. Balancing theory and practice, it presents state-of-the-art research in key areas of reliability and maintenance theory and includes numerous examples and ex