Download or read book SIMPLE A Prototype Software Fault Injection Tool written by and published by . This book was released on 2002 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-injection techniques can be used to methodically assess the degree of fault tolerance afforded by a system. In this thesis, we introduce a Java-based, semi-automatic fault-injection test harness, called Software Fault Injection Mechanized Prototype Lightweight Engine (SIMPLE). SIMPLE employs a state-based fault injection approach designed to validate test suites. It also can assist developers to assess the properties of a system such as robustness, reliability, and performance. SIMPLE employs fault acceleration to test a system's fault- tolerant capabilities. We present an object-oriented analysis of the system and several case studies, using software fault injection on specific, targeted systems, to assess SIMPLE's effectiveness.
Download or read book Simple written by Neil John P. Acantilado and published by . This book was released on 2002-12-01 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-injection techniques can be used to methodically assess the degree of fault tolerance afforded by a system. In this thesis, we introduce a Java-based, semi-automatic fault-injection test harness, called Software Fault Injection Mechanized Prototype Lightweight Engine (SIMPLE). SIMPLE employs a state-based fault injection approach designed to validate test suites. It also can assist developers to assess the properties of a system such as robustness, reliability, and performance. SIMPLE employs fault acceleration to test a system's fault- tolerant capabilities. We present an object-oriented analysis of the system and several case studies, using software fault injection on specific, targeted systems, to assess SIMPLE's effectiveness.
Download or read book Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation written by Alfredo Benso and published by Springer Science & Business Media. This book was released on 2005-12-15 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is a comprehensive guide to fault injection techniques used to evaluate the dependability of a digital system. The description and the critical analysis of different fault injection techniques and tools are authored by key scientists in the field of system dependability and fault tolerance.
Download or read book Software Fault Injection written by Jeffrey M. Voas and published by . This book was released on 1998-02-11 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the first to describe the unique benefits and challenges associated with fault injection methods. Using real world case-studies and applications data, the authors explain fault injection to the programmer and the developer. CD-ROM includes demo versions of fault injection tools and some basic algorithms for the reader to customize.
Download or read book A Software Fault Injection Tool written by Gautham Devalapalli and published by . This book was released on 2013 with total page 92 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software testing is a very important phase in the software development life cycle. The quality and reliability of software are two major concerns of software testing. Developers assume that there are hidden bugs in software products because it is improbable to encounter all error paths of a complex system in a controlled test environment. Software has been an integral part of safety and mission critical systems. Software fault injection can help achieve this criterion. Fault injection involves deliberately inducing faults into software systems to observe their behavior in real time. This helps in identification of dependencies and improves fault tolerance algorithms and mechanisms. Compile time injection is an experimental-based approach to system's reliability and resilience. This approach requires injecting faults into source code of system under test and examining its behavior during the system's compilation phase. The goal of the project is to develop a software fault injection tool (C-SWFIT). This tool is capable of injecting faults during the pre-execution phase of a program/software and assessing fault injection effects. This tool is designed to be intuitive and easy to use by software developers looking to test software tolerance and resilience.
Download or read book A Method for Developing a Software based Fault Injection Tool written by D. R. Avresky and published by . This book was released on 1995 with total page 42 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book A framework for developing a software based fault injection tool for validation of software fault tolerant techniques under hardware faults written by Dimitri Ranguelov Avresky and published by . This book was released on 1994 with total page 34 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book A multi staged software design approach for fault tolerance written by Dimitri Ranguelov Avresky and published by . This book was released on 1993 with total page 30 pages. Available in PDF, EPUB and Kindle. Book excerpt: A tool, named Software Fault-Injection Tool (SFIT), is developed to estimate the reliability of a software system."
Download or read book Software Fault Injection written by Jeffrey M. Voas and published by . This book was released on 1998 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fiesta written by Ameya Suhas Chaudhari and published by . This book was released on 2014 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer systems, even when correctly designed, can suffer from temporary errors due to radiation particles striking the circuit or changes in the operating conditions such as the temperature or the voltage. Such transient errors can cause systems to malfunction or even crash. Fault injection is a technique used for simulating the effect of such errors on the system. Fault injection tools inject errors in either the software running on the processors or in the underlying computer hardware to simulate the effect of a fault and observe the system behavior. These tools can be used to determine the different responses of the system to such errors and estimate the probability of occurrence of errors in the computations performed by the system. They can also be used to test the fault tolerance capabilities of the system under test or any proposed technique for providing fault tolerance in circuits or software. As a part of this thesis, I have developed a software implemented fault injection tool, Fiesta++, for evaluating the fault tolerance and fault response of software applications. Software implemented fault injection tools inject faults into the software state of the application as it runs on a processor. Since such fault injection tools are used to conduct experiments on applications executing natively on a processor, the experiments can be carried out at almost the same speed as the application execution and can be run on the same hardware as used by the software application in the field. Fiesta++ offers two modes of operation: whitebox and blackbox. The whitebox mode assumes that users have some degree of knowledge of the structure of the software under test and allows them to specify fault injection targets in terms of the application variables and fault injection time in terms of code locations and events at run time. It can be used for precise fault injection to get reproducible outcomes from the fault injection experiments. The blackbox mode is targeted for the case where the user has very little or no knowledge of the application code structure. In this mode, Fiesta++ provides the user with a view of the active process memory and an array of associated information which a user can use to inject faults.
Download or read book Fault Injection Testing Method of Software Implemented Fault Tolerance Mechanisms of Web Service Systems written by Khaled Ali Saleh Farj and published by . This book was released on 2012 with total page 155 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Fault Tolerant Systems written by Israel Koren and published by Elsevier. This book was released on 2010-07-19 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software. No other text on the market takes this approach, nor offers the comprehensive and up-to-date treatment that Koren and Krishna provide. This book incorporates case studies that highlight six different computer systems with fault-tolerance techniques implemented in their design. A complete ancillary package is available to lecturers, including online solutions manual for instructors and PowerPoint slides. Students, designers, and architects of high performance processors will value this comprehensive overview of the field. The first book on fault tolerance design with a systems approach Comprehensive coverage of both hardware and software fault tolerance, as well as information and time redundancy Incorporated case studies highlight six different computer systems with fault-tolerance techniques implemented in their design Available to lecturers is a complete ancillary package including online solutions manual for instructors and PowerPoint slides
Download or read book Multi Domain Fault Simulation Using Virtual Prototypes written by Raghavendra Koppak and published by . This book was released on 2022 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Industrial electronic systems that control manufacturing and machine motion in modern, highly automated production facilities have become highly complex, which combine a variety of electronic, electrical, and mechanical components that need to interact smoothly during their operation. The high critical issues in the development of future production plants are imposed by motion control systems, which manage the fast and most accurate positioning and motion control of conveyor belts and robot arms, for instance. These systems are required to properly cope with failures of all kinds to guarantee safety of operators and machine integrity at any time. But what happens, if for instance single chips in a robot's control unit fail, if a motor due to a bearing damage overheats or a sensor delivers faulty data? Is it possible to develop and test the control software of these systems in a way that in case of faults in one or more components the total system always remains in a safe state? Is it guaranteed that humans near to these machines are not harmed and expensive parts like motors or robot arms are not destroyed? As of today, the final tests of those systems are mainly based on physical prototypes to ensure the correct and safe operation. In conventional system development, physical prototypes and extensive system tests are needed. However, those prototypes are available only in later phases of the design process. These tests are complex and expensive already today and are not able to completely cover all possible kinds of failures, as certain failures cannot be provoked in real hardware. Moreover, the late execution of the tests may cause long iteration loops in case weaknesses are detected in the final tests. The validation becomes even more challenging for the highly flexible, self-configuring, self-healing control systems of future manufacturing scenarios with focus on automation of small lot sizes, which requires much higher configurability of the systems and closer interaction between humans and manufacturing machines. Fault injection into low level simulation models is widely used for validating the satisfactory operation under unexpected conditions like intrinsic failures of electronics or failures caused by the environment. However, a high level of abstraction of models is required for fast simulation of the systems and fault simulation is a trade-off between accuracy and simulation performance. Virtual prototypes (VPs) provide a possibility to perform system tests in an early stage of development. But they still suffer from less tool support and methodology features e.g. VPs lack simulator support with inherent fault-injection features. Additionally, engineering groups of different domains exploit different modeling languages and tools to develop models and evaluate their designs in industry. In this work, combined techniques to model faults in multi-domain systems are proposed which make early validation of these heterogeneous systems possible. The validation is performed by conducting virtual stress tests after bringing together different domains into one simulation platform. Suitable techniques are described, to enhance or develop physical component models such that they incorporate fault injection possibilities before being imported into a virtual platform. Only physical components models that are modeled using MATLAB/Simulink are considered, as non-digital parts of the system are often modeled in industry using MATLAB/Simulink. The TLM-based fault injection infrastructure developed under the EffektiV project is used to inject faults in digital parts by developing appropriate fault models. Furthermore, a generic fault injection framework is proposed and implemented to conduct fault injection experiments based on virtual prototypes. Using this framework, the faults in heterogeneous parts of the industrial systems (motion control systems) are either activated interactively during simulation runtime or executed as regression tests using scripts. Also, the post processing techniques are proposed to automatically evaluate the results of regression tests. Later, these pre-validated fault models are integrated in a hardware-in-the-loop (HIL) test system at Siemens, which enables a final validation of the systems' safety against faults before product release. The proposed methodologies are evaluated using an industrial motor control application example with two virtual HIL and one HIL demonstrators: (i) Industrial motor control system with motor signal conditioning using acceleration sensor. (ii) Industrial motor control system along with conveyor-belt application based on the V-REP (Virtual Robotic Experimentation Platform) simulator. (iii) HIL test system based on a Siemens SINAMICS G120 drive. It has been shown that the contributions from this study provided further directions in future product development for industrial electronic systems at Siemens AG. Keywords: Industrial 4.0, Cyber Physical Systems, Virtual Prototype, Fault Simulation, Hardware-in-the-loop (HIL), Virtual Hardware-In-the-Loop (vHIL), Physical Component Models, Fault Transfer, SystemC/TLM, Multi-Domain Simulation, MATLAB/Simulink, Simscape, Validation.
Download or read book Assessing and Assuring the Genericness of Fault Injection Tools written by Michael Tretter and published by . This book was released on 2013 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Radiation Effects in Semiconductors written by Krzysztof Iniewski and published by CRC Press. This book was released on 2018-09-03 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: Space applications, nuclear physics, military operations, medical imaging, and especially electronics (modern silicon processing) are obvious fields in which radiation damage can have serious consequences, i.e., degradation of MOS devices and circuits. Zeroing in on vital aspects of this broad and complex topic, Radiation Effects in Semiconductors addresses the ever-growing need for a clear understanding of radiation effects on semiconductor devices and circuits to combat potential damage it can cause. Features a chapter authored by renowned radiation authority Lawrence T. Clark on Radiation Hardened by Design SRAM Strategies for TID and SEE Mitigation This book analyzes the radiation problem, focusing on the most important aspects required for comprehending the degrading effects observed in semiconductor devices, circuits, and systems when they are irradiated. It explores how radiation interacts with solid materials, providing a detailed analysis of three ways this occurs: Photoelectric effect, Compton effect, and creation of electron-positron pairs. The author explains that the probability of these three effects occurring depends on the energy of the incident photon and the atomic number of the target. The book also discusses the effects that photons can have on matter—in terms of ionization effects and nuclear displacement Written for post-graduate researchers, semiconductor engineers, and nuclear and space engineers with some electronics background, this carefully constructed reference explains how ionizing radiation is creating damage in semiconducting devices and circuits and systems—and how that damage can be avoided in areas such as military/space missions, nuclear applications, plasma damage, and X-ray-based techniques. It features top-notch international experts in industry and academia who address emerging detector technologies, circuit design techniques, new materials, and innovative system approaches.
Download or read book Improving Software Fault Injection written by and published by . This book was released on 2016 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dependable Computing Systems written by Hassan B. Diab and published by John Wiley & Sons. This book was released on 2005-10-05 with total page 693 pages. Available in PDF, EPUB and Kindle. Book excerpt: A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.
