Designing single event upset mitigation techniques for large SRAM-Based FPGA components

This thesis presents the study and development of fault-tolerant techniques for programmable architectures, the well-known Field Programmable Gate Arrays (FPGAs), customizable by SRAM. FPGAs are becoming more valuable for space applications because of the high density, high performance, reduced development cost and re-programmability. In particular, SRAM-based FPGAs are very valuable for remote missions because of the possibility of being reprogrammed by the user as many times as necessary in a very short period. SRAM-based FPGA and micro-controllers represent a wide range of components in space applications, and as a result will be the focus of this work, more specifically the Virtex® family from Xilinx and the architecture of the 8051 micro-controller from Intel. The Triple Modular Redundancy (TMR) with voters is a common high-level technique to protect ASICs against single event upset (SEU) and it can also be applied to FPGAs. The TMR technique was first tested in the Virtex® FPGA architecture by using a small design based on counters. Faults were injected in all sensitive parts of the FPGA and a detailed analysis of the effect of a fault in a TMR design synthesized in the Virtex® platform was performed. Results from fault injection and from a radiation ground test facility showed the efficiency of the TMR for the related case study circuit. Although TMR has showed a high reliability, this technique presents some limitations, such as area overhead, three times more input and output pins and, consequently, a significant increase in power dissipation. Aiming to reduce TMR costs and improve reliability, an innovative high-level technique for designing fault-tolerant systems in SRAM-based FPGAs was developed, without modification in the FPGA architecture. This technique combines time and hardware redundancy to reduce overhead and to ensure reliability. It is based on duplication with comparison and concurrent error detection. The new technique proposed in this work was specifically developed for FPGAs to cope with transient faults in the user combinational and sequential logic, while also reducing pin count, area and power dissipation. The methodology was validated by fault injection experiments in an emulation board. The thesis presents comparison results in fault coverage, area and performance between the discussed techniques.

A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Europe’s financial crisis: the Euro’s flawed design and the consequences of lack of a government banker

This paper argues the euro zone requires a government banker that manages the bond market and helps finance country budget deficits. The euro solved Europe’s problem of exchange rate speculation by creating a unified currency managed by a single central bank, but in doing so it replaced the exchange rate speculation problem with bond market speculation. Remedying this requires a central bank that acts as government banker and maintains bond interest rates at sustainable levels. Because the euro is a monetary union, this must be done in a way that both avoids favoring individual countries and avoids creating incentives for irresponsible country fiscal policy that leads to “bail-outs”. The paper argues this can be accomplished via a European Public Finance Authority (EPFA) that issues public debt which the European Central Bank (ECB) is allowed to trade. The debate over the euro’s financial architecture has significant political implications. The current neoliberal inspired architecture, which imposes a complete separation between the central bank and public finances, puts governments under continuous financial pressures. That will make it difficult to maintain the European social democratic welfare state. This gives a political reason for reforming the euro and creating an EPFA that supplements the economic case for reform.

Integrating strategic and sustainable design approach for innovation process: a cement case study

Global society and technology have changed the relationships of the market. Quality and cost are not the main aspects of any industrial product. On the other hand, design, innovation and sustainability became significant requirements to company’s competitiveness. In this context, the design approach has shown evolutions, integrating social and environmental aspects beside traditional aspects such as technical and economic. Still, design has been becoming a strategic opportunity for companies, improving their competitiveness and increasing their market share. Thus, this research has analyzed the integration of both the Sustainable Design and Strategic Design Coaching (SDC) method in the making decision activities of companies. A cement company (BQMIL) was assigned as case study, in which the previous results have pointed out the significant hole of those concepts to generate Eco-innovation and Eco-Brand to increase its market share, corroborating the expectative of the design team

Case-based reasoning in offshore well design

Petroleum well drilling is an expensive and risky operation. In this context, well design presents itself as a fundamental key to decrease costs and risks involved. Experience acquired by engineers is notably an important factor in good drilling design elaborations. Therefore, the loss of this knowledge may entail additional problems and costs. In this way, this work represents an initiative to model a petroleum well design case-based architecture. Tests with a prototype showed that the system built with this architecture may help in a well design and enable corporate knowledge preservation. (C) 2003 Elsevier B.V. B.V. All rights reserved.

The swing-by effect in the Vesta-Magnya case. Single and multiple encounters.

It was verified that the asteroid Magnya has some physical and chemical characteristics similar to the bodies from Vesta family. However, astronomical observations revealed that Magnya is distant from these bodies. In the present work, we assumed that Magnya originated from Vesta and we try to justify its current distant orbital location taking into account the effects of close encounters between Magnya and Vesta. The methodology adopted involved an analytical approach considering the technique of the gravity assisted maneuver, also known as swing-by. We found that the energy variation achieved through a single swing-by between Vesta and Magnya are very small when compared to the variation that would be required to change the orbit of Magnya. The effects of multiple close encounters were also considered and discussed. We concluded that the possibility of multiple encounters is limited, and therefore, that Magnya should suffer other perturbations (such as resonances, collisions or close encounters with other bodies, for instance) that would provide the supposed change in its orbit.

A single-phase single-stage buck-boost inverter intended for low power alternative energy conversion systems: Analysis, design and experimentation

This paper presents the operational analysis of the single-phase integrated buck-boost inverter. This topology is able to convert the DC input voltage into AC voltage with a high static gain, low harmonic content and acceptable efficiency, all in one single-stage. Main functionality aspects are explained, design procedure, system modeling and control, and also component requirements are detailed. Main simulation results are included, and two prototypes were implemented and experimentally tested, where its results are compared with those corresponding to similar topologies available in literature. © 2012 IEEE.

Reservoir design and operation: Effects on aquatic biota-a case study of planktonic copepods

Copepod assemblages from two cascade reservoirs were analyzed during two consecutive years. The upstream reservoir (Chavantes) is a storage system with a high water retention time (WRT of 400 days), and the downstream one (Salto Grande) is a run-of-river system with only 1. 5 days WRT. Copepod composition, richness, abundance, and diversity were correlated with the limnological variables and the hydrological and morphometric features. Standard methods were employed for zooplankton sampling and analysis (vertical 50-μm net hauls and counting under a stereomicroscope). Two hypotheses were postulated and confirmed through the data obtained: (1) compartmentalization is more pronounced in the storage reservoir and determines the differences in the copepod assemblage structure; and (2) the assemblages are more homogeneous in the run-of-river reservoir, where the abundance decreases because of the predominance of washout effects. For both reservoirs, the upstream zone is more distinctive. In addition, in the smaller reservoir the influence of the input from tributaries is stronger (turbid waters). Richness did not differ significantly among seasons, but abundance was higher in the run-of-river reservoir during summer. © 2012 Springer Science+Business Media Dordrecht.

Case study of children of referrals to health services: an individualizing design?

Nowadays education for all is recommended as an international action. However in Brazil one can observe homogeneous practices for a heterogeneous public. When the student has learning difficulties, there seems to be an attempt to normalization and pathologization by the means of referral, many times being indiscriminate, to health services. This case study aimed to analyze records of pedagogical strategies to meet the students educational needs before sending them to health services. Two records sent to a multidisciplinary team of a Regional Specialty Clinic (ARE) in a city of the state of São Paulo/Brazil, were used. The results reflect that the records of the educators do not show the pedagogical strategies used with the students and that the education system still seeks homogeneous classes, devaluating the diversity present in its context.

An isolated phlebolith on the lip: an unusual case and review of the literature

Background. Calcified thrombi are a common finding, especially in the pelvic veins. There are generally multiple thrombi, and they are generally associated with vascular malformations. Design. Herein we report a rare case of a single labial phlebolith, not associated with any other vascular lesion. We aim to alert clinicians to the possibility of the occurrence of vascular thrombi in the mouth and to describe the clinical and histological characteristics of such lesions in order to simplify the diagnosis and treatment. Furthermore, we have reviewed the English-language literature published since 1970 reporting oral (including masticatory muscles) phleboliths. Results. Twenty-nine cases of phleboliths have been reported in the literature since 1970. Only three of the reported phleboliths were solitary and not associated with other vascular lesions, as in the case presented here. Conclusion. Although phleboliths not associated with other vascular lesions are not common, clinicians should be aware of the existence of this pathology and include it as differential diagnosis of oral lesions.

Differentiation of African Components of Ancestry to Stratify Groups in a Case-Control Study of a Brazilian Urban Population

Background: Balancing the subject composition of case and control groups to create homogenous ancestries between each group is essential for medical association studies. Methods: We explored the applicability of single-tube 34-plex ancestry informative markers (AIM) single nucleotide polymorphisms (SNPs) to estimate the African Component of Ancestry (ACA) to design a future case-control association study of a Brazilian urban sample. Results: One hundred eighty individuals (107 case group; 73 control group) self-described as white, brown-intermediate or black were selected. The proportions of the relative contribution of a variable number of ancestral population components were similar between case and control groups. Moreover, the case and control groups demonstrated similar distributions for ACA <0.25 and >0.50 categories. Notably a high number of outlier values (23 samples) were observed among individuals with ACA <0.25. These individuals presented a high probability of Native American and East Asian ancestral components; however, no individuals originally giving these self-described ancestries were observed in this study. Conclusions: The strategy proposed for the assessment of ancestry and adjustment of case and control groups for an association study is an important step for the proper construction of the study, particularly when subjects are taken from a complex urban population. This can be achieved using a straight forward multiplexed AIM-SNPs assay of highly discriminatory ancestry markers.

Effectiveness of low-level laser therapy for patients with carpal tunnel syndrome: design of a randomized single-blinded controlled trial

Background: Carpal tunnel syndrome is the most common neuropathy in the upper extremity, resulting from the compression of the median nerve at wrist level. Clinical studies are essentials to present evidence on therapeutic resources use at early restoration on peripheral nerve functionality. Low-level laser therapy has been widely investigated in researches related to nerve regeneration. Therefore, it is suggested that the effect of low-level laser therapy associated with other conservative rehabilitation techniques may positively affect symptoms and overall hand function in compressive neuropathies such as carpal tunnel syndrome. The aim of this study is to evaluate the effectiveness of low-level laser therapy in addition to orthoses therapy and home orientations in patients with carpal tunnel syndrome. Methods/Design: Patients older than 18 years old will be included, with clinical diagnosis of carpal tunnel syndrome, excluding comorbidies. A physiotherapist will conduct intervention, with a blinding evaluator. Randomization will be applied to allocate the patients in each group: with association or not to low-level laser therapy. All of them will be submitted to orthoses therapy and home orientations. Outcome will be assessed through: pain visual analogic scale, Semmes Weinstein monofilaments (TM) threshold sensibility test, Pinch Gauge T, Boston Carpal Tunnel Questionnaire and two point discrimination test. Discussion: This paper describes the design of a randomized controlled trial, which aim to assess the effectiveness of conservative treatment added to low-level laser therapy for patients with carpal tunnel syndrome. Trial registration: Brazilian Clinical Trials Registry (ReBec) - 75ddtf / Universal Trial Number: U1111-1121-5184

Design and Characterization of New Luminescent Sensors and Labels

The aim of this Ph.D. project has been the design and characterization of new and more efficient luminescent tools, in particular sensors and labels, for analytical chemistry, medical diagnostics and imaging. Actually both the increasing temporal and spatial resolutions that are demanded by those branches, coupled to a sensitivity that is required to reach the single molecule resolution, can be provided by the wide range of techniques based on luminescence spectroscopy. As far as the development of new chemical sensors is concerned, as chemists we were interested in the preparation of new, efficient, sensing materials. In this context, we kept developing new molecular chemosensors, by exploiting the supramolecular approach, for different classes of analytes. In particular we studied a family of luminescent tetrapodal-hosts based on aminopyridinium units with pyrenyl groups for the detection of anions. These systems exhibited noticeable changes in the photophysical properties, depending on the nature of the anion; in particular, addition of chloride resulted in a conformational change, giving an initial increase in excimeric emission. A good selectivity for dicarboxylic acid was also found. In the search for higher sensitivities, we moved our attention also to systems able to perform amplification effects. In this context we described the metal ion binding properties of three photoactive poly-(arylene ethynylene) co-polymers with different complexing units and we highlighted, for one of them, a ten-fold amplification of the response in case of addition of Zn2+, Cu2+ and Hg2+ ions. In addition, we were able to demonstrate the formation of complexes with Yb3+ an Er3+ and an efficient sensitization of their typical metal centered NIR emission upon excitation of the polymer structure, this feature being of particular interest for their possible applications in optical imaging and in optical amplification for telecommunication purposes. An amplification effect was also observed during this research in silica nanoparticles derivatized with a suitable zinc probe. In this case we were able to prove, for the first time, that nanoparticles can work as “off-on” chemosensors with signal amplification. Fluorescent silica nanoparticles can be thus seen as innovative multicomponent systems in which the organization of photophysically active units gives rise to fruitful collective effects. These precious effects can be exploited for biological imaging, medical diagnostic and therapeutics, as evidenced also by some results reported in this thesis. In particular, the observed amplification effect has been obtained thanks to a suitable organization of molecular probe units onto the surface of the nanoparticles. In the effort of reaching a deeper inside in the mechanisms which lead to the final amplification effects, we also attempted to find a correlation between the synthetic route and the final organization of the active molecules in the silica network, and thus with those mutual interactions between one another which result in the emerging, collective behavior, responsible for the desired signal amplification. In this context, we firstly investigated the process of formation of silica nanoparticles doped with pyrene derivative and we showed that the dyes are not uniformly dispersed inside the silica matrix; thus, core-shell structures can be formed spontaneously in a one step synthesis. Moreover, as far as the design of new labels is concerned, we reported a new synthetic approach to obtain a class of robust, biocompatible silica core-shell nanoparticles able to show a long-term stability. Taking advantage of this new approach we also showed the synthesis and photophysical properties of core-shell NIR absorbing and emitting materials that proved to be very valuable for in-vivo imaging. In general, the dye doped silica nanoparticles prepared in the framework of this project can conjugate unique properties, such as a very high brightness, due to the possibility to include many fluorophores per nanoparticle, high stability, because of the shielding effect of the silica matrix, and, to date, no toxicity, with a simple and low-cost preparation. All these features make these nanostructures suitable to reach the low detection limits that are nowadays required for effective clinical and environmental applications, fulfilling in this way the initial expectations of this research project.