Dependability of Networked Computer-based Systems

Dependability of Networked Computer-based Systems

Author: Ajit Kumar Verma

Publisher: Springer Science & Business Media

Published: 2011-07-21

Total Pages: 212

ISBN-13: 0857293184

DOWNLOAD EBOOK

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages.


Dependable Network Computing

Dependable Network Computing

Author: Dimiter R. Avresky

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 463

ISBN-13: 1461545498

DOWNLOAD EBOOK

Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields. Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.


Design and Test Technology for Dependable Systems-on-chip

Design and Test Technology for Dependable Systems-on-chip

Author: Raimund Ubar

Publisher: IGI Global

Published: 2011-01-01

Total Pages: 580

ISBN-13: 1609602145

DOWNLOAD EBOOK

"This book covers aspects of system design and efficient modelling, and also introduces various fault models and fault mechanisms associated with digital circuits integrated into System on Chip (SoC), Multi-Processor System-on Chip (MPSoC) or Network on Chip (NoC)"--


Co-design Approaches to Dependable Networked Control Systems

Co-design Approaches to Dependable Networked Control Systems

Author: Daniel Simon

Publisher: John Wiley & Sons

Published: 2013-03-04

Total Pages: 261

ISBN-13: 1118620666

DOWNLOAD EBOOK

Networked Control Systems (NCS) is a growing field of application and calls for the development of integrated approaches requiring multidisciplinary skills in control, real-time computing and communication protocols. This book describes co-design approaches, and establishes the links between the QoC (Quality of Control) and QoS (Quality of Service) of the network and computing resources. The methods and tools described in this book take into account, at design level, various parameters and properties that must be satisfied by systems controlled through a network. Among the important network properties examined are the QoC, the dependability of the system, and the feasibility of the real-time scheduling of tasks and messages. Correct exploitation of these approaches allows for efficient design, diagnosis, and implementation of the NCS. This book will be of great interest to researchers and advanced students in automatic control, real-time computing, and networking domains, and to engineers tasked with development of NCS, as well as those working in related network design and engineering fields.


Binary Decision Diagrams and Extensions for System Reliability Analysis

Binary Decision Diagrams and Extensions for System Reliability Analysis

Author: Liudong Xing

Publisher: John Wiley & Sons

Published: 2015-06-05

Total Pages: 199

ISBN-13: 1119178002

DOWNLOAD EBOOK

Recent advances in science and technology have made modern computing and engineering systems more powerful and sophisticated than ever. The increasing complexity and scale imply that system reliability problems not only continue to be a challenge but also require more efficient models and solutions. This is the first book systematically covering the state-of-the-art binary decision diagrams and their extended models, which can provide efficient and exact solutions to reliability analysis of large and complex systems. The book provides both basic concepts and detailed algorithms for modelling and evaluating reliability of a wide range of complex systems, such as multi-state systems, phased-mission systems, fault-tolerant systems with imperfect fault coverage, systems with common-cause failures, systems with disjoint failures, and systems with functional dependent failures. These types of systems abound in safety-critical or mission-critical applications such as aerospace, circuits, power systems, medical systems, telecommunication systems, transmission systems, traffic light systems, data storage systems, and etc. The book provides both small-scale illustrative examples and large-scale benchmark examples to demonstrate broad applications and advantages of different decision diagrams based methods for complex system reliability analysis. Other measures including component importance and failure frequency are also covered. A rich set of references is cited in the book, providing helpful resources for readers to pursue further research and study of the topics. The target audience of the book is reliability and safety engineers or researchers. The book can serve as a textbook on system reliability analysis. It can also serve as a tutorial and reference book on decision diagrams, multi-state systems, phased-mission systems, and imperfect fault coverage models.


Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Author: Wojciech Zamojski

Publisher: Springer

Published: 2014-05-16

Total Pages: 528

ISBN-13: 3319070134

DOWNLOAD EBOOK

DepCoS – RELCOMEX is an annual series of conferences organized by Wrocław University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods. This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brunów Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks or management of transportation networks.


Design for Reliability

Design for Reliability

Author: Eric Bauer

Publisher: John Wiley & Sons

Published: 2011-02-11

Total Pages: 349

ISBN-13: 1118075080

DOWNLOAD EBOOK

System reliability, availability and robustness are often not well understood by system architects, engineers and developers. They often don't understand what drives customer's availability expectations, how to frame verifiable availability/robustness requirements, how to manage and budget availability/robustness, how to methodically architect and design systems that meet robustness requirements, and so on. The book takes a very pragmatic approach of framing reliability and robustness as a functional aspect of a system so that architects, designers, developers and testers can address it as a concrete, functional attribute of a system, rather than an abstract, non-functional notion.


Numerical Methods for Reliability and Safety Assessment

Numerical Methods for Reliability and Safety Assessment

Author: Seifedine Kadry

Publisher: Springer

Published: 2014-09-30

Total Pages: 807

ISBN-13: 331907167X

DOWNLOAD EBOOK

This book offers unique insight on structural safety and reliability by combining computational methods that address multiphysics problems, involving multiple equations describing different physical phenomena and multiscale problems, involving discrete sub-problems that together describe important aspects of a system at multiple scales. The book examines a range of engineering domains and problems using dynamic analysis, nonlinear methods, error estimation, finite element analysis and other computational techniques. This book also: · Introduces novel numerical methods · Illustrates new practical applications · Examines recent engineering applications · Presents up-to-date theoretical results · Offers perspective relevant to a wide audience, including teaching faculty/graduate students, researchers and practicing engineers.


Dependable Systems: Software, Computing, Networks

Dependable Systems: Software, Computing, Networks

Author: Juerg Kohlas

Publisher: Springer

Published: 2006-11-23

Total Pages: 306

ISBN-13: 354036823X

DOWNLOAD EBOOK

Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theories, methods and tools that help to master the problems encountered in the design process and the management of operations are therefore of utmost importance for the future of information and communication technology. The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.


Dependable Computing

Dependable Computing

Author: Marco Vieira

Publisher: Springer

Published: 2013-11-13

Total Pages: 216

ISBN-13: 3642387896

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.