Download or read book Reconfigurable Field Programmable Gate Arrays for Mission Critical Applications written by Niccolò Battezzati and published by Springer Science & Business Media. This book was released on 2010-11-09 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: Embedded systems applications that are either mission or safety-critical usually entail low- to mid- production volumes, require the rapid development of specific tasks, which are typically computing intensive, and are cost bounded. The adoption of re-configurable FPGAs in such application domains is constrained to the availability of suitable techniques to guarantee the dependability requirements entailed by critical applications. This book describes the challenges faced by designers when implementing a mission- or safety-critical application using re-configurable FPGAs and it details various techniques to overcome these challenges. In addition to an overview of the key concepts of re-configurable FPGAs, it provides a theoretical description of the failure modes that can cause incorrect operation of re-configurable FPGA-based electronic systems. It also outlines analysis techniques that can be used to forecast such failures and covers the theory behind solutions to mitigate fault effects. This book also reviews current technologies available for building re-configurable FPGAs, specifically SRAM-based technology and Flash-based technology. For each technology introduced, theoretical concepts presented are applied to real cases. Design techniques and tools are presented to develop critical applications using commercial, off-the-shelf devices, such as Xilinx Virtex FPGAs, and Actel ProASIC FPGAs. Alternative techniques based on radiation hardened FPGAs, such as Xilinx SIRF and Atmel ATF280 are also presented. This publication is an invaluable reference for anyone interested in understanding the technologies of re-configurable FPGAs, as well as designers developing critical applications based on these technologies.

Download or read book Software Implemented Hardware Fault Tolerance written by Olga Goloubeva and published by Springer Science & Business Media. This book was released on 2006-09-19 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the theory behind software-implemented hardware fault tolerance, as well as the practical aspects needed to put it to work on real examples. By evaluating accurately the advantages and disadvantages of the already available approaches, the book provides a guide to developers willing to adopt software-implemented hardware fault tolerance in their applications. Moreover, the book identifies open issues for researchers willing to improve the already available techniques.

Download or read book Through life Engineering Services written by Louis Redding and published by Springer. This book was released on 2014-12-26 with total page 459 pages. Available in PDF, EPUB and Kindle. Book excerpt: Demonstrating the latest research and analysis in the area of through-life engineering services (TES), this book utilizes case studies and expert analysis from an international array of practitioners and researchers – who together represent multiple manufacturing sectors: aerospace, railway and automotive – to maximize reader insights into the field of through-life engineering services. As part of the EPSRC Centre in Through-life Engineering Services program to support the academic and industrial community, this book presents an overview of non-destructive testing techniques and applications and provides the reader with the information needed to assess degradation and possible automation of through-life engineering service activities . The latest developments in maintenance-repair-overhaul (MRO) are presented with emphasis on cleaning technologies, repair and overhaul approaches and planning and digital assistance. The impact of these technologies on sustainable enterprises is also analyzed. This book will help to support the existing TES community and will provide future studies with a strong base from which to analyze and apply techn9olgical trends to real world examples.

Download or read book Formal Modeling and Verification of Cyber Physical Systems written by Rolf Drechsler and published by Springer. This book was released on 2015-06-05 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.

Download or read book FPGAs and Parallel Architectures for Aerospace Applications written by Fernanda Kastensmidt and published by Springer. This book was released on 2015-12-07 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces the concepts of soft errors in FPGAs, as well as the motivation for using commercial, off-the-shelf (COTS) FPGAs in mission-critical and remote applications, such as aerospace. The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these circuits under radiation. Coverage includes radiation effects in FPGAs, fault-tolerant techniques for FPGAs, use of COTS FPGAs in aerospace applications, experimental data of FPGAs under radiation, FPGA embedded processors under radiation and fault injection in FPGAs. Since dedicated parallel processing architectures such as GPUs have become more desirable in aerospace applications due to high computational power, GPU analysis under radiation is also discussed.

Download or read book Design and Test Technology for Dependable Systems on chip written by Raimund Ubar and published by IGI Global. This book was released on 2011-01-01 with total page 580 pages. Available in PDF, EPUB and Kindle. Book excerpt: "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)"--

Download or read book Small and Medium Enterprises written by Information Resources Management Association and published by IGI Global. This book was released on 2013-04-30 with total page 2031 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book provides a comprehensive collection of research on current technological developments and organizational perspectives on the scale of small and medium enterprises"--Provided by publisher.

Download or read book NASA Tech Briefs written by and published by . This book was released on 2004 with total page 890 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Applied Reconfigurable Computing Architectures Tools and Applications written by Francesca Palumbo and published by Springer Nature. This book was released on 2023-09-15 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023. The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.

Download or read book Electronics System Design Techniques for Safety Critical Applications written by Luca Sterpone and published by Springer Science & Business Media. This book was released on 2008-10-10 with total page 153 pages. Available in PDF, EPUB and Kindle. Book excerpt: What is exactly “Safety”? A safety system should be defined as a system that will not endanger human life or the environment. A safety-critical system requires utmost care in their specification and design in order to avoid possible errors in their implementation that should result in unexpected system’s behavior during his operating “life”. An inappropriate method could lead to loss of life, and will almost certainly result in financial penalties in the long run, whether because of loss of business or because the imposition of fines. Risks of this kind are usually managed with the methods and tools of the “safety engineering”. A life-critical system is designed to 9 lose less than one life per billion (10 ). Nowadays, computers are used at least an order of magnitude more in safety-critical applications compared to two decades ago. Increasingly electronic devices are being used in applications where their correct operation is vital to ensure the safety of the human life and the environment. These application ranging from the anti-lock braking systems (ABS) in automobiles, to the fly-by-wire aircrafts, to biomedical supports to the human care. Therefore, it is vital that electronic designers be aware of the safety implications of the systems they develop. State of the art electronic systems are increasingly adopting progr- mable devices for electronic applications on earthling system. In particular, the Field Programmable Gate Array (FPGA) devices are becoming very interesting due to their characteristics in terms of performance, dimensions and cost.

Download or read book Innovations in Bio Inspired Computing and Applications written by Václav Snášel and published by Springer. This book was released on 2015-12-14 with total page 571 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Volume contains the papers presented during the 6th International Conference on Innovations in Bio-Inspired Computing and Applications IBICA 2015 which was held in Kochi, India during December 16-18, 2015. The 51 papers presented in this Volume were carefully reviewed and selected. The 6th International Conference IBICA 2015 has been organized to discuss the state-of-the-art as well as to address various issues in the growing research field of Bio-inspired Computing which is currently one of the most exciting research areas, and is continuously demonstrating exceptional strength in solving complex real life problems. The Volume will be a valuable reference to researchers, students and practitioners in the computational intelligence field..

Download or read book VLSI Test Principles and Architectures written by Laung-Terng Wang and published by Elsevier. This book was released on 2006-08-14 with total page 809 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a comprehensive guide to new DFT methods that will show the readers how to design a testable and quality product, drive down test cost, improve product quality and yield, and speed up time-to-market and time-to-volume. - Most up-to-date coverage of design for testability. - Coverage of industry practices commonly found in commercial DFT tools but not discussed in other books. - Numerous, practical examples in each chapter illustrating basic VLSI test principles and DFT architectures.

Download or read book Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science written by Sheng-Lung Peng and published by Springer Nature. This book was released on 2022-06-28 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: The conference proceeding of ICMMCS 2021 presents most recent scientific and technological advances in the fields of engineering mathematics and computational science to strengthen the links in the scientific community. It is a collection of high-quality, peer-reviewed research papers presented at the Second International Conference on Mathematical Modeling and Computational Science (ICMMCS 2021), held online during October 29–30, 2021. The topics covered in the book are mathematical logic and foundations, numerical analysis, neural networks, fuzzy set theory, coding theory, higher algebra, number theory, graph theory and combinatory, computation in complex networks, calculus, differential educations and integration, application of soft computing, knowledge engineering, machine learning, artificial intelligence, big data and data analytics, high-performance computing, network and device security, Internet of Things (IoT).

Download or read book Fault Tolerance Techniques for SRAM Based FPGAs written by Fernanda Lima Kastensmidt and published by Springer Science & Business Media. This book was released on 2007-02-01 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book reviews fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs), outlining many methods for designing fault tolerance systems. Some of these are based on new fault-tolerant architecture, and others on protecting the high-level hardware description before synthesis in the FPGA. The text helps the reader choose the best techniques project-by-project, and to compare fault tolerant techniques for programmable logic applications.

Download or read book ICIW2011 Proceedings of the 6th International Conference on Information Warfare and Secuirty written by Leigh Armistead and published by Academic Conferences Limited. This book was released on 2011-03-17 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: Papers from the conference covering cyberwarfare, malware, strategic information warfare, cyber espionage etc.

Download or read book Reliability Management and Engineering written by Harish Garg and published by CRC Press. This book was released on 2020-06-15 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reliability technology plays an important role in the present era of industrial growth, optimal efficiency, and reducing hazards. This book provides insights into current advances and developments in reliability engineering, and the research presented is spread across all branches. It discusses interdisciplinary solutions to complex problems using different approaches to save money, time, and manpower. It presents methodologies of coping with uncertainty in reliability optimization through the usage of various techniques such as soft computing, fuzzy optimization, uncertainty, and maintenance scheduling. Case studies and real-world examples are presented along with applications that can be used in practice. This book will be useful to researchers, academicians, and practitioners working in the area of reliability and systems assurance engineering. Provides current advances and developments across different branches of engineering. Reviews and analyses case studies and real-world examples. Presents applications to be used in practice. Includes numerous examples to illustrate theoretical results.

Download or read book Proceedings written by and published by . This book was released on 2000 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: