Real time fault injection using enhanced OCD -- a performance analysis

Fault injection is frequently used for the verification and validation of dependable systems. When targeting real time microprocessor based systems the process becomes significantly more complex. This paper proposes two complementary solutions to improve real time fault injection campaign execution, both in terms of performance and capabilities. The methodology is based on the use of the on-chip debug mechanisms present in modern electronic devices. The main objective is the injection of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented and compared in terms of performance gain and logic overhead.

Using NEXUS compliant debuggers for real time fault injection on microprocessors

As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibility of using the on-chip debug infrastructures present in most current microprocessors to execute real time fault injection campaigns. The proposed methodology is based on a debugger customized for fault injection and designed for maximum flexibility, and consists of injecting bit-flip type faults on memory elements without modifying or halting the target application. The debugger design is easily portable and applicable to different architectures, providing a flexible and efficient mechanism for verifying and validating fault tolerant components.

Avoiding healthy cells extinction in a cancer model

We consider a dynamical model of cancer growth including three interacting cell populations of tumor cells, healthy host cells and immune effector cells. For certain parameter choice, the dynamical system displays chaotic motion and by decreasing the response of the immune system to the tumor cells, a boundary crisis leading to transient chaotic dynamics is observed. This means that the system behaves chaotically for a finite amount of time until the unavoidable extinction of the healthy and immune cell populations occurs. Our main goal here is to apply a control method to avoid extinction. For that purpose, we apply the partial control method, which aims to control transient chaotic dynamics in the presence of external disturbances. As a result, we have succeeded to avoid the uncontrolled growth of tumor cells and the extinction of healthy tissue. The possibility of using this method compared to the frequently used therapies is discussed. (C) 2014 Elsevier Ltd. All rights reserved.

On lattices from combinatorial game theory modularity and a representation theorem: finite case

We show that a self-generated set of combinatorial games, S. may not be hereditarily closed but, strong self-generation and hereditary closure are equivalent in the universe of short games. In [13], the question "Is there a set which will give a non-distributive but modular lattice?" appears. A useful necessary condition for the existence of a finite non-distributive modular L(S) is proved. We show the existence of S such that L(S) is modular and not distributive, exhibiting the first known example. More, we prove a Representation Theorem with Games that allows the generation of all finite lattices in game context. Finally, a computational tool for drawing lattices of games is presented. (C) 2014 Elsevier B.V. All rights reserved.

An introduction to the fractional continuous- time linear systems: the 21st century systems

IEEE CIRCUITS AND SYSTEMS MAGAZINE, Third Quarter

ECG-based biometrics: A real time classification approach

Behavioral biometrics is one of the areas with growing interest within the biosignal research community. A recent trend in the field is ECG-based biometrics, where electrocardiographic (ECG) signals are used as input to the biometric system. Previous work has shown this to be a promising trait, with the potential to serve as a good complement to other existing, and already more established modalities, due to its intrinsic characteristics. In this paper, we propose a system for ECG biometrics centered on signals acquired at the subject's hand. Our work is based on a previously developed custom, non-intrusive sensing apparatus for data acquisition at the hands, and involved the pre-processing of the ECG signals, and evaluation of two classification approaches targeted at real-time or near real-time applications. Preliminary results show that this system leads to competitive results both for authentication and identification, and further validate the potential of ECG signals as a complementary modality in the toolbox of the biometric system designer.

ERICA: leisure-time physical inactivity in Brazilian adolescents

ABSTRACT OBJECTIVE To evaluate the prevalence of leisure-time physical inactivity in Brazilian adolescents and their association with geographical and sociodemographic variables. METHODS The sample was composed by 74,589 adolescents participating in the Study of Cardiovascular Risks in Adolescents (ERICA). This cross-sectional study of school basis with national scope involved adolescents aged from 12 to 17 years in Brazilian cities with more than 100 thousand inhabitants. The prevalence of leisure-time physical inactivity was categorized according to the volume of weekly practice (< 300; 0 min). The prevalences were estimated for the total sample and by sex. Poisson regression models were used to assess associated factors. RESULTS The prevalence of leisure-time physical inactivity was 54.3% (95%CI 53.4-55.2), and higher for the female sex (70.7%, 95%CI 69.5-71.9) compared to the male (38.0%, 95%CI 36.7-39.4). More than a quarter of adolescents (26.5%, 95%CI 25.8-27.3) reported not practicing physical activity in the leisure time, a condition more prevalent for girls (39.8%, 95%CI 38.8-40.9) than boys (13.4%, 95%CI 12.4-14.4). For girls, the variables that were associated with physical inactivity were: reside in the Northeast (RP = 1.13, 95%CI 1.08-1.19), Southeast (RP = 1.16, 95%CI 1.11-1.22) and South (RP = 1.12, 95%CI 1.06-1.18); have 16-17 years (RP = 1.06, 95%CI 1.12-1.15); and belong to the lower economic class (RP = 1.33, 95%CI 1.20-1.48). The same factors, except reside in the Southeast and South, were also associated with not practicing physical activity in the leisure time for the same group. In males, as well as the region, being older (p < 0.001) and declaring to be indigenous (RP = 0.37, 95%CI 0.19-0.73) were also associated with not practicing physical activities in the leisure time. CONCLUSIONS The prevalence of leisure-time physical inactivity in Brazilian adolescents is high. It presents regional variations and is associated with age and low socioeconomic status. Special attention should be given to girls and to those who do not engage in any physical activity during the leisure time, so that they can adopt a more active lifestyle.

Real-time fault injection using enhanced on-chip debug infrastructures

The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.

Robotic manipulators with vibrations: short time fourier transform of fractional spectra

This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. In order to acquire and study the signals an experimental setup is implemented. The signals are treated through signal processing tools such as the fast Fourier transform and the short time Fourier transform. The results show that the Fourier spectrum of several signals presents a non integer behavior. The experimental study provides valuable results that can assist in the design of a control system to deal with the unwanted effects of vibrations.

Time-frequency and time-scale characterisation of the beat-by-beat high-resolution electrocardiogram

Proceedings of the Sixth Portuguese Conference on Bioemedical Engineering faro, Portugal

On the initial conditions in continuous-time fractional linear systems

Signal Processing, Vol. 83, nº 11

Fractional discrete-time signal processing: scale conversion and linear prediction

Nonlinear Dynamics, Vol. 29

Introduction to fractional linear systems. Part 1 : continuous-time case

IEE Proceedings - Vision, Image, and Signal Processing, Vol. 147, nº 1

Introduction to fractional linear systems. Part 2: discrete-time case

IEE Proceedings - Vision, Image, and Signal Processing, Vol. 147, nº 1

The portuguese pharmaceutial market in the near future - A time series exploration approach

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação