Real time fault injection using a modified debugging infrastructure

Dependability is a critical factor in computer systems, requiring high quality validation & verification procedures in the development stage. At the same time, digital devices are getting smaller and access to their internal signals and registers is increasingly complex, requiring innovative debugging methodologies. To address this issue, most recent microprocessors include an on-chip debug (OCD) infrastructure to facilitate common debugging operations. This paper proposes an enhanced OCD infrastructure with the objective of supporting the verification of fault-tolerant mechanisms through fault injection campaigns. This upgraded on-chip debug and fault injection (OCD-FI) infrastructure provides an efficient fault injection mechanism with improved capabilities and dynamic behavior. Preliminary results show that this solution provides flexibility in terms of fault triggering and allows high speed real-time fault injection in memory elements

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.

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

IEEE CIRCUITS AND SYSTEMS MAGAZINE, Third Quarter

Ajustes posturais antecipatórios no alcance em crianças com hemiparésia espástica

Objectivos: Verificar o comportamento dos Ajustes Posturais Antecipatórios no alcance, em três crianças com hemiparésia espástica, face à aplicação de uma intervenção em Fisioterapia baseada numa abordagem segundo o conceito de Bobath. Pretendeu-se também perceber as modificações ao nível das actividades e participação, bem como ao nível da capacidade de modificação das componentes neuromotoras. Metodologia: A avaliação foi realizada antes e três meses após a intervenção através da electromiografia de superfície, máquina fotográfica Canon EOS, Classificação Internacional de Funcionalidade para Crianças e Jovens (CIF-CJ) e Sistema de Classificação da Função Motora Global (GMFCS). Resultados: Verificou-se melhorias nos Ajustes Posturais Antecipatórios no alcance com os dois membros superiores, nomeadamente no tempo de activação e na duração da actividade muscular, bem como alterações positivas nas componentes neuromotoras, como na sequência de movimento de sentado para de pé, e de pé para sentado, e marcha mais especificamente na fase pendular com o membro inferior predominantemente comprometido. Também se verificou após a intervenção uma maior funcionalidade nas três crianças, verificando-se alterações positivas nos qualificadores nas actividades e participação. Conclusão: A intervenção com base no conceito de Bobath induziu mudanças positivas quanto à funcionalidade das crianças, reflectindo-se nos Ajustes Posturais Antecipatórios e na reorganização de componentes de movimento.

Efficient feature selection filters for high-dimensional data

Feature selection is a central problem in machine learning and pattern recognition. On large datasets (in terms of dimension and/or number of instances), using search-based or wrapper techniques can be cornputationally prohibitive. Moreover, many filter methods based on relevance/redundancy assessment also take a prohibitively long time on high-dimensional. datasets. In this paper, we propose efficient unsupervised and supervised feature selection/ranking filters for high-dimensional datasets. These methods use low-complexity relevance and redundancy criteria, applicable to supervised, semi-supervised, and unsupervised learning, being able to act as pre-processors for computationally intensive methods to focus their attention on smaller subsets of promising features. The experimental results, with up to 10(5) features, show the time efficiency of our methods, with lower generalization error than state-of-the-art techniques, while being dramatically simpler and faster.

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

Study of the interactions in a three-way crossed classification model

Crossed classification models are applied in many investigations taking in consideration the existence of interaction between all factors or, in alternative, excluding all interactions, and in this case only the effects and the error term are considered. In this work we use commutative Jordan algebras in the study of the algebraic structure of these designs and we use them to obtain similar designs where only some of the interactions are considered. We finish presenting the expressions of the variance componentes estimators.

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