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.

Identification of neuronal alterations induced by Shank3 mutations using iPS cells from Phelan-McDermid Patients' Fibroblasts

A família de proteínas Shank é o principal conjunto de proteinas de suporte e está localizada na densidade pós-sináptica das sinapses excitatórias. Existem 3 genes na família Shank, Shank1, Shank2 e Shank3 e são caracterizados por múltiplos domínios repetidos de anquirina próximo ao N-terminal seguido pelos domínios Src homologo 3 e PDZ, uma região longa rica em prolina e um domínio de motivo α estéril próximo ao C-terminal. Shank proteínas conectam duas subunidades de receptors glutamatérgicos, recetores NMDA e recetores metabotrópicos de glutamato do tipo-I (mGluRs). O domínio PDZ da Shank conecta-se ao C-terminal do GKAP e este, liga-se, ao complexo recetor PSD-95-NMDA. Por outro lado, a proteína Homer interage com o domínio rico em prolina para confirmar a associação entre a proteína Shank com o mGluR tipo-I. A proteína específica em estudo, Shank3, é haploinsuficiente em pacientes com sindrome Phelan-McDermid devido à deleções no braço comprido do cromossoma 22 levando à danos intelectuais, ausência ou atraso no discurso, comportamentos semelhantes ao autismo, hipotonia e características dismórficas. Neste trabalho, investigamos o papel da Shank3 na função sináptica para compreender a relação entre alterações nesta proteína e as características neurológicas presente em Pacientes com síndrome Phelan-McDermid. Foram utilizados dois modelos diferentes, ratinhos knockout Shank3 e hiPSC de pacientes com PMS. Ratinhos geneticamente modificados são ferramentas uteis no estudo de genes e na compreensão dos mecanismos que experiências in vitro não são capazes de reproduzir, mas de maneira a compreender melhor as patologias humanas, decidimos trabalhar também com células humanas. Os fibroblastos dos pacientes com síndrome Phelan-McDermid fora reprogramados em hiPS cells, diferenciados em neurónios e comparados com os neurónios obtidos a partir de doadores saudavéis e da mesma idade. A reprogramação em iPSC foi realizada por infecção de lentivirus com quatro genes de reprogramação OCT4, c-MYC, SOX2 e KFL4 para posteriormente serem diferenciados em neurónios, com cada passo sendo positivamente confirmado através de marcadores neuronais. Através dos neurónios diferenciados, analisamos a expressão de proteínas sinápticas. Pacientes com haploinsuficiencia na proteína Shank3 apresentam níveis elevados de proteína mGluR5 e decrescidos de proteína Homer sugerindo que a haploinsuficiencia leva a desregulação do complexo mGluR5-Homer-Shank3 conduzindo também, a defeitos na maturação sináptica. Assim, a expressão da proteína mGluR5 está alterada nos pacientes com PMS podendo estar relacionada com defeitos encontrados na diferenciação neuronal e maturação sináptica observados nos neurónios de pacientes. Conclusivamente, iPS cells representam um modelo fundamental no estudo da proteína Shank3 e a sua influência no sindrome de Phelan-McDermid.

A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures

On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution to shorten the time-to-market justifies the industry investment in this area, where a number of competing or complementary proposals are available or under development, e.g. NEXUS, CJTAG, IJTAG. The controllability and observability features provided by OCD infrastructures provide a valuable toolbox that can be used well beyond the debugging arena, improving the return on investment rate by diluting its cost across a wider spectrum of application areas. This paper discusses the use of OCD features for validating fault tolerant architectures, and in particular the efficiency of various fault injection methods provided by enhanced OCD infrastructures. The reference data for our comparative study was captured on a workbench comprising the 32-bit Freescale MPC-565 microprocessor, an iSYSTEM IC3000 debugger (iTracePro version) and the Winidea 2005 debugging package. All enhanced OCD infrastructures were implemented in VHDL and the results were obtained by simulation within the same fault injection environment. The focus of this paper is on the comparative analysis of the experimental results obtained for various OCD configurations and debugging scenarios.

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 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.

A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

Executive Function Impairments in Patients with Depression

Depression, the most prevalent psychiatric disorder, has a lifelong risk of 20% and is related to high rates of death among the patients. Thus, this study aims to conduct a systematic review of changes in executive functions of adult patients diagnosed with depression. We found 1381 articles; however, only 28 were selected and recovered. The inclusion criteria was the assessment of executive functions with at least one neuropsychological test, and articles that evaluated primarily adult individuals with depression, without comparison to other psychiatric disorders. Although most of the studies (25 out of 28 analyzed) have shown deficits in some executive subcomponents, these findings are not conclusive because they used different parameters of assessment. Moreover, many variables were not controlled, such as the different subtypes of the disorder, the high level of severity, comorbidity and the use of drugs. Most studies showed different deficits in executive functions in depressed patients, but further longitudinal studies are needed in order to confirm these findings.