4 resultados para requirement-based testing
em Universidad de Alicante
Resumo:
Commercial off-the-shelf microprocessors are the core of low-cost embedded systems due to their programmability and cost-effectiveness. Recent advances in electronic technologies have allowed remarkable improvements in their performance. However, they have also made microprocessors more susceptible to transient faults induced by radiation. These non-destructive events (soft errors), may cause a microprocessor to produce a wrong computation result or lose control of a system with catastrophic consequences. Therefore, soft error mitigation has become a compulsory requirement for an increasing number of applications, which operate from the space to the ground level. In this context, this paper uses the concept of selective hardening, which is aimed to design reduced-overhead and flexible mitigation techniques. Following this concept, a novel flexible version of the software-based fault recovery technique known as SWIFT-R is proposed. Our approach makes possible to select different registers subsets from the microprocessor register file to be protected on software. Thus, design space is enriched with a wide spectrum of new partially protected versions, which offer more flexibility to designers. This permits to find the best trade-offs between performance, code size, and fault coverage. Three case studies have been developed to show the applicability and flexibility of the proposal.
Resumo:
Based on Tversky and Kahneman’s Prospect Theory, we test the existence of reference dependence, loss aversion and diminishing sensitivity in Spanish tourism. To do this, we incorporate the reference-dependent model into a Multinomial Logit Model with Random Parameters -which controls for heterogeneity- and apply it to a sample of vacation choices made by Spaniards. We find that the difference between reference price and actual price is considered to make decisions, confirming that reference dependence exists; that people react more strongly to price increases than to price decreases relative to their reference price, which represents evidence in favor of the loss aversion phenomenon; and that there is diminishing sensitivity for losses only, showing convexity for these negative values.
Resumo:
Different types of crystalline carbon nanomaterials were used to reinforce polyaniline for use in electromechanical bilayer bending actuators. The objective is to analyze how the different graphitic structures of the nanocarbons affect and improve the in situ polymerized polyaniline composites and their subsequent actuator behavior. The nanocarbons investigated were multiwalled carbon nanotubes, nitrogen-doped carbon nanotubes, helical-ribbon carbon nanofibers and graphene oxide, each one presenting different shape and structural characteristics. Films of nanocarbon-PAni composite were tested in a liquid electrolyte cell system. Experimental design was used to select the type of nanocarbon filler and composite loadings, and yielded a good balance of electromechanical properties. Raman spectroscopy suggests good interaction between PAni and the nanocarbon fillers. Electron microscopy showed that graphene oxide dispersed the best, followed by multiwall carbon nanotubes, while nitrogen-doped nanotube composites showed dispersion problems and thus poor performance. Multiwall carbon nanotube composite actuators showed the best performance based on the combination of bending angle, bending velocity and maximum working cycles, while graphene oxide attained similarly good performance due to its best dispersion. This parallel testing of a broad set of nanocarbon fillers on PAni-composite actuators is unprecedented to the best of our knowledge and shows that the type and properties of the carbon nanomaterial are critical to the performance of electromechanical devices with other conditions remaining equal.
Resumo:
There is an increasing concern to reduce the cost and overheads during the development of reliable systems. Selective protection of most critical parts of the systems represents a viable solution to obtain a high level of reliability at a fraction of the cost. In particular to design a selective fault mitigation strategy for processor-based systems, it is mandatory to identify and prioritize the most vulnerable registers in the register file as best candidates to be protected (hardened). This paper presents an application-based metric to estimate the criticality of each register from the microprocessor register file in microprocessor-based systems. The proposed metric relies on the combination of three different criteria based on common features of executed applications. The applicability and accuracy of our proposal have been evaluated in a set of applications running in different microprocessors. Results show a significant improvement in accuracy compared to previous approaches and regardless of the underlying architecture.