Download or read book Reliable Software for Unreliable Hardware written by Semeen Rehman and published by Springer. This book was released on 2016-04-20 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes novel software concepts to increase reliability under user-defined constraints. The authors’ approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers.
Download or read book Reliable Software for Unreliable Hardware A Cross Layer Approach written by Semeen Rehman and published by . This book was released on 2015 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Optimization and Analysis for Dependable Application Software on Unreliable Hardware Platforms written by Kuan-Hsun Chen and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Reliability written by Glenford J. Myers and published by . This book was released on 1976-10-06 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.
Download or read book Contributions to Hardware and Software Reliability written by P. K. Kapur and published by World Scientific. This book was released on 1999 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt: With better computing facilities now available, there is an ever-increasing need to ensure that elegant theoretical results on hardware reliability are computationally available. This book discusses those aspects which have relevance to computing systems and those where numerical computation was a problem. It is also well known that nearly 70% of the cost goes into software development and hence software reliability assumes special importance. The book not only gives an extensive review of the literature on software reliability but also provides direction in developing models which are flexible and can be used in a variety of testing environments. Besides, several alternative formulations of the release time problem are discussed along with variants such as allocation of testing effort resources to different modules of the software, or the testing effort control problem. Software reliability has now emerged as an independent discipline and requires a strong partnership between computer scientists, statisticians and operational researchers. This aspect is broadly highlighted in the book.
Download or read book Dependable Embedded Systems written by Jörg Henkel and published by Springer Nature. This book was released on 2020-12-09 with total page 606 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches). The book aims at demonstrating how new hardware/software co-design solution can be proposed to ef-fectively mitigate reliability degradation such as transistor aging, processor variation, temperature effects, soft errors, etc. Provides readers with latest insights into novel, cross-layer methods and models with respect to dependability of embedded systems; Describes cross-layer approaches that can leverage reliability through techniques that are pro-actively designed with respect to techniques at other layers; Explains run-time adaptation and concepts/means of self-organization, in order to achieve error resiliency in complex, future many core systems.
Download or read book Ensuring Software Reliability written by Ann Marie Neufelder and published by CRC Press. This book was released on 2018-10-08 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: Explains how software reliability can be applied to software programs of all sizes, functions and languages, and businesses. This text provides real-life examples from industries such as defence engineering, and finance. It is aimed at software and quality assurance engineers and graduate students.
Download or read book High level Estimation and Exploration of Reliability for Multi Processor System on Chip written by Zheng Wang and published by Springer. This book was released on 2017-06-23 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces a novel framework for accurately modeling the errors in nanoscale CMOS technology and developing a smooth tool flow at high-level design abstractions to estimate and mitigate the effects of errors. The book presents novel techniques for high-level fault simulation and reliability estimation as well as architecture-level and system-level fault tolerant designs. It also presents a survey of state-of-the-art problems and solutions, offering insights into reliability issues in digital design and their cross-layer countermeasures.
Download or read book Architectural Support for Improving System Hardware software Reliability written by Martin Dimitrov and published by . This book was released on 2010 with total page 119 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is a great challenge to build reliable computer systems with unreliable hardware and buggy software. On one hand, software bugs account for as much as 40% of system failures and incur high cost, an estimate of $59.5B a year, on the US economy. On the other hand, under the current trends of technology scaling, transient faults (also known as soft errors) in the underlying hardware are predicted to grow at least in proportion to the number of devices being integrated, which further exacerbates the problem of system reliability. We propose several methods to improve system reliability both in terms of detecting and correcting soft-errors as well as facilitating software debugging. In our first approach, we detect instruction-level anomalies during program execution. The anomalies can be used to detect and repair soft-errors, or can be reported to the programmer to aid software debugging. In our second approach, we improve anomaly detection for software debugging by detecting different types of anomalies as well as by removing false-positives. While the anomalies reported by our first two methods are helpful in debugging single-threaded programs, they do not address concurrency bugs in multi-threaded programs. In our third approach, we propose a new debugging primitive which exposes the non-deterministic behavior of parallel programs and facilitates the debugging process. Our idea is to generate a time-ordered trace of events such as function calls/returns and memory accesses in different threads. In our experience, exposing the time-ordered event information to the programmer is highly beneficial for reasoning about the root causes of concurrency bugs.
Download or read book Reliable Systems on Unreliable Networked Platforms written by Fabrice Kordon and published by Springer. This book was released on 2007-06-21 with total page 329 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA in September 2005. Coverage includes model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, and intelligent and robust middleware.
Download or read book Soft Error Reliability Using Virtual Platforms written by Felipe Rocha da Rosa and published by Springer Nature. This book was released on 2020-11-02 with total page 142 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes the benefits and drawbacks inherent in the use of virtual platforms (VPs) to perform fast and early soft error assessment of multicore systems. The authors show that VPs provide engineers with appropriate means to investigate new and more efficient fault injection and mitigation techniques. Coverage also includes the use of machine learning techniques (e.g., linear regression) to speed-up the soft error evaluation process by pinpointing parameters (e.g., architectural) with the most substantial impact on the software stack dependability. This book provides valuable information and insight through more than 3 million individual scenarios and 2 million simulation-hours. Further, this book explores machine learning techniques usage to navigate large fault injection datasets.
Download or read book Computer Safety Reliability and Security written by Friedemann Bitsch and published by Springer. This book was released on 2013-08-27 with total page 317 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
Download or read book Unifying Themes in Complex Systems written by Ali A. Minai and published by Springer Science & Business Media. This book was released on 2010-06-02 with total page 657 pages. Available in PDF, EPUB and Kindle. Book excerpt: In recent years, scientists have applied the principles of complex systems science to increasingly diverse fields. The results have been nothing short of remarkable: their novel approaches have provided answers to long-standing questions in biology, ecology, physics, engineering, computer science, economics, psychology and sociology. "Unifying Themes in Complex Systems" is a well established series of carefully edited conference proceedings that serve the purpose of documenting and archiving the progress of cross-fertilization in this field. About NECSI: For over 10 years, The New England Complex Systems Institute (NECSI) has been instrumental in the development of complex systems science and its applications. NECSI conducts research, education, knowledge dissemination, and community development around the world for the promotion of the study of complex systems and its application for the betterment of society. NECSI hosts the International Conference on Complex Systems and publishes the NECSI Book Series in conjunction with Springer Publishers.
Download or read book Ensuring Software Reliability written by Ann Marie Neufelder and published by CRC Press. This book was released on 2018-10-08 with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt: Explains how software reliability can be applied to software programs of all sizes, functions and languages, and businesses. This text provides real-life examples from industries such as defence engineering, and finance. It is aimed at software and quality assurance engineers and graduate students.
Download or read book Distributed Computer Control Systems in Industrial Automation written by VijayP. Bhatkar and published by Routledge. This book was released on 2017-11-22 with total page 726 pages. Available in PDF, EPUB and Kindle. Book excerpt: A reference guide for professionals or text for graduate and postgraduate students, this volume emphasizes practical designs and applications of distributed computer control systems. It demonstrates how to improve plant productivity, enhance product quality, and increase the safety, reliability, and
Download or read book Infrastructure as Code written by Kief Morris and published by "O'Reilly Media, Inc.". This book was released on 2016-06-09 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: Virtualization, cloud, containers, server automation, and software-defined networking are meant to simplify IT operations. But many organizations adopting these technologies have found that it only leads to a faster-growing sprawl of unmanageable systems. This is where infrastructure as code can help. With this practical guide, author Kief Morris of ThoughtWorks shows you how to effectively use principles, practices, and patterns pioneered through the DevOps movement to manage cloud age infrastructure. Ideal for system administrators, infrastructure engineers, team leads, and architects, this book demonstrates various tools, techniques, and patterns you can use to implement infrastructure as code. In three parts, you’ll learn about the platforms and tooling involved in creating and configuring infrastructure elements, patterns for using these tools, and practices for making infrastructure as code work in your environment. Examine the pitfalls that organizations fall into when adopting the new generation of infrastructure technologies Understand the capabilities and service models of dynamic infrastructure platforms Learn about tools that provide, provision, and configure core infrastructure resources Explore services and tools for managing a dynamic infrastructure Learn specific patterns and practices for provisioning servers, building server templates, and updating running servers
Download or read book Mathematical Approaches to Software Quality written by Gerard O'Regan and published by Springer Science & Business Media. This book was released on 2006-02-16 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive introduction to various mathematical approaches to achieving high-quality software. An introduction to mathematics that is essential for sound software engineering is provided as well as a discussion of various mathematical methods that are used both in academia and industry. The mathematical approaches considered include: Z specification language Vienna Development Methods (VDM) Irish school of VDM (VDM) approach of Dijkstra and Hoare classical engineering approach of Parnas Cleanroom approach developed at IBM software reliability, and unified modelling language (UML). Additionally, technology transfer of the mathematical methods to industry is considered. The book explains the main features of these approaches and applies mathematical methods to solve practical problems. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers.
