Manifold-based Test Generation for Image Classifiers

Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To effectively test an image classification neural network, one must obtain realistic test data adequate enough to inspire confidence that differences between the implicit requirements and the learned model would be exposed. This raises two challenges: first, an adequate subset of the data points must be carefully chosen to inspire confidence, and second, the implicit requirements must be meaningfully extrapolated to data points beyond those in the explicit training set. This paper proposes a novel framework to address these challenges. Our approach is based on the premise that patterns in a large input data space can be effectively captured in a smaller manifold space, from which similar yet novel test cases---both the input and the label---can be sampled and generated. A variant of Conditional Variational Autoencoder (CVAE) is used for capturing this manifold with a generative function, and a search technique is applied on this manifold space to efficiently find fault-revealing inputs. Experiments show that this approach enables generation of thousands of realistic yet fault-revealing test cases efficiently even for well-trained models

Testability and redundancy techniques for improved yield and reliability of CMOS VLSI circuits

The research presented in this thesis is concerned with the design of fault-tolerant integrated circuits as a contribution to the design of fault-tolerant systems. The economical manufacture of very large area ICs will necessitate the incorporation of fault-tolerance features which are routinely employed in current high density dynamic random access memories. Furthermore, the growing use of ICs in safety-critical applications and/or hostile environments in addition to the prospect of single-chip systems will mandate the use of fault-tolerance for improved reliability. A fault-tolerant IC must be able to detect and correct all possible faults that may affect its operation. The ability of a chip to detect its own faults is not only necessary for fault-tolerance, but it is also regarded as the ultimate solution to the problem of testing. Off-line periodic testing is selected for this research because it achieves better coverage of physical faults and it requires less extra hardware than on-line error detection techniques. Tests for CMOS stuck-open faults are shown to detect all other faults. Simple test sequence generation procedures for the detection of all faults are derived. The test sequences generated by these procedures produce a trivial output, thereby, greatly simplifying the task of test response analysis. A further advantage of the proposed test generation procedures is that they do not require the enumeration of faults. The implementation of built-in self-test is considered and it is shown that the hardware overhead is comparable to that associated with pseudo-random and pseudo-exhaustive techniques while achieving a much higher fault coverage through-the use of the proposed test generation procedures. The consideration of the problem of testing the test circuitry led to the conclusion that complete test coverage may be achieved if separate chips cooperate in testing each other's untested parts. An alternative approach towards complete test coverage would be to design the test circuitry so that it is as distributed as possible and so that it is tested as it performs its function. Fault correction relies on the provision of spare units and a means of reconfiguring the circuit so that the faulty units are discarded. This raises the question of what is the optimum size of a unit? A mathematical model, linking yield and reliability is therefore developed to answer such a question and also to study the effects of such parameters as the amount of redundancy, the size of the additional circuitry required for testing and reconfiguration, and the effect of periodic testing on reliability. The stringent requirement on the size of the reconfiguration logic is illustrated by the application of the model to a typical example. Another important result concerns the effect of periodic testing on reliability. It is shown that periodic off-line testing can achieve approximately the same level of reliability as on-line testing, even when the time between tests is many hundreds of hours

The Fifth NASA Symposium on VLSI Design

The fifth annual NASA Symposium on VLSI Design had 13 sessions including Radiation Effects, Architectures, Mixed Signal, Design Techniques, Fault Testing, Synthesis, Signal Processing, and other Featured Presentations. The symposium provides insights into developments in VLSI and digital systems which can be used to increase data systems performance. The presentations share insights into next generation advances that will serve as a basis for future VLSI design

AN APPRAISAL OF THE DEVELOPMENTS IN THE REPRODUCTION OF COLOUR IN COMPUTER PUBLISHING SYSTEMS

The plethora of coloured images that are reproduced in any printed media is facilitated through a variety of related processes that collectively constitute traditional printing techniques. The aim of this research is to appraise recent developments that have occurred within the colour prepress process. The colour prepress process involves the preparation of colour separated halftone films that are used in the production of offset lithographic printing plates. Over recent years the application of desktop publishing technology to perform many of the functions associated with the colour prepress process has raised a number of significant issues and debates. The reproduction of coloured images in the printed medium demands that certain fundamental criteria are adhered to in order to maintain professional standards of colour fidelity. Such criteria include: successful digital halftone production, the elimination of moiré patterns, and maintaining colour fidelity between the coloured original and the coloured reproduction. This research thesis shall therefore establish the principles and techniques involved in the reproduction of colour in a printed medium. It will also asses whether desktop publishing systems are able to facilitate successful professional colour reproduction by examining current debates that challenge the viability of desktop publishing solutions. Current debates concerning desktop publishing solutions are primarily concerned with assessing the value of Adobe PostScript level 2 solutions, computer interchange spaces for colour matching purposes, and rational supercell techniques that attempt to eliminate moiré patterns. The research also attempts to establish the validity of current debate findings by comparing them with statistics derived hom a questionnaire (undertaken as part of the research program) that seeks the opinions of system users on the effectiveness of their individual systems at processing and delivering acceptable colour separations

Space station automation of common module power management and distribution

The purpose is to automate a breadboard level Power Management and Distribution (PMAD) system which possesses many functional characteristics of a specified Space Station power system. The automation system was built upon 20 kHz ac source with redundancy of the power buses. There are two power distribution control units which furnish power to six load centers which in turn enable load circuits based upon a system generated schedule. The progress in building this specified autonomous system is described. Automation of Space Station Module PMAD was accomplished by segmenting the complete task in the following four independent tasks: (1) develop a detailed approach for PMAD automation; (2) define the software and hardware elements of automation; (3) develop the automation system for the PMAD breadboard; and (4) select an appropriate host processing environment

Building interactive distributed processing applications at a global scale

Along with the continuous engagement with technology, many latency-sensitive interactive applications have emerged, e.g., global content sharing in social networks, adaptive lights/temperatures in smart buildings, and online multi-user games. These applications typically process a massive amount of data at a global scale. In this cases, distributing storage and processing is key to handling the large scale. Distribution necessitates handling two main aspects: a) the placement of data/processing and b) the data motion across the distributed locations. However, handling the distribution while meeting latency guarantees at large scale comes with many challenges around hiding heterogeneity and diversity of devices and workload, handling dynamism in the environment, providing continuous availability despite failures, and supporting persistent large state. In this thesis, we show how latency-driven designs for placement and data-motion can be used to build production infrastructures for interactive applications at a global scale, while also being able to address myriad challenges on heterogeneity, dynamism, state, and availability. We demonstrate a latency-driven approach is general and applicable at all layers of the stack: from storage, to processing, down to networking. We designed and built four distinct systems across the spectrum. We have developed Ambry (collaboration with LinkedIn), a geo-distributed storage system for interactive data sharing across the globe. Ambry is LinkedIn's mainstream production system for all its media content running across 4 datacenters and over 500 million users. Ambry minimizes user perceived latency via smart data placement and propagation. Second, we have built two processing systems, a traditional model, Samza, and the avant-garde model, Steel. Samza (collaboration with LinkedIn) is a production stream processing framework used at 15 companies (including LinkedIn, Uber, Netflix, and TripAdvisor), powering >200 pipelines at LinkedIn alone. Samza minimizes the impact of data motion on the end-to-end latency, thus, enabling large persistent state (100s of TB) along with processing. Steel (collaboration with Microsoft) extends processing to the emerging edge. Integrated with Azure, Steel dynamically optimizes placement and data-motion across the entire edge-cloud environment. Finally, we have designed FreeFlow, a high performance networking mechanisms for containers. Using the container placement, FreeFlow opportunistically bypasses networking layers, minimizing data motion and reducing latency (up to 3 orders of magnitude)

Monitoring of the piston ring-pack and cylinder liner interface in diesel engines through acoustic emission measurements

Investigation of novel condition monitoring systems for diesel engines has received much recent attention due to the increasing demands placed upon engine components and the limitations of conventional techniques. This thesis documents experimental research conducted to assess the monitoring capabilities of Acoustic Emission (AE) analysis. In particular it focuses on the possibility of monitoring the piston ring-pack and cylinder liner interface, a critical engine sub-system for which there are currently few practical monitoring options. A series of experiments were performed on large, two-stroke and small, four-stroke diesel engines. Tests under normal operating conditions developed a detailed understanding of typical AE generation in terms of both the source mechanisms and the characteristics of the resulting activity. This was supplemented by specific tests to investigate possible AE generation at the ring-pack/liner interface. For instance, for the small engines measures were taken to remove known AE sources in order to accentuate any activity originating at the interface whilst for the large engines the interfacial conditions were purposely deteriorated through the removal of the lubricating oil supply to one cylinder. Interpretation of the results was based mainly upon comparisons with published work encompassing both the expected ring-pack behaviour and AE generation from tribological processes. This provided a strong indication that the source of the ring-pack/liner AE activity was the boundary frictional losses. The ability to monitor this process may be of significant benefit to engine operators as it enhances the diagnostic information currently available and may be incorporated into predictive maintenance strategies. A further diagnostic technique considered was the possibility of using AE parameters combined with information of crankshaft speed fluctuations to evaluate engine balance and identify underperforming cylinders.EU Competitive and Sustainable Growth Programme, Project no: GRD2-2001-5001