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.

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.

Rapid automated method for on-site determination of sulfadiazine in fish farming: a stainless steel veterinary syringe coated with a selective membrane of PVC serving as a potentiometric detector in a flow-injection-analysis system

Sulfadiazine is an antibiotic of the sulfonamide group and is used as a veterinary drug in fish farming. Monitoring it in the tanks is fundamental to control the applied doses and avoid environmental dissemination. Pursuing this goal, we included a novel potentiometric design in a flow-injection assembly. The electrode body was a stainless steel needle veterinary syringe of 0.8-mm inner diameter. A selective membrane of PVC acted as a sensory surface. Its composition, the length of the electrode, and other flow variables were optimized. The best performance was obtained for sensors of 1.5-cm length and a membrane composition of 33% PVC, 66% onitrophenyloctyl ether, 1% ion exchanger, and a small amount of a cationic additive. It exhibited Nernstian slopes of 61.0 mV decade-1 down to 1.0×10-5 mol L-1, with a limit of detection of 3.1×10-6 mol L-1 in flowing media. All necessary pH/ionic strength adjustments were performed online by merging the sample plug with a buffer carrier of 4-(2-hydroxyethyl)-1-piperazineethanesulfonic acid, pH 4.9. The sensor exhibited the advantages of a fast response time (less than 15 s), long operational lifetime (60 days), and good selectivity for chloride, nitrite, acetate, tartrate, citrate, and ascorbate. The flow setup was successfully applied to the analysis of aquaculture waters. The analytical results were validated against those obtained with liquid chromatography–tandem mass spectrometry procedures. The sampling rate was about 84 samples per hour and recoveries ranged from 95.9 to 106.9%.

Cardiovascular profile after intravenous injection of Africanized bee venom in awake rats

The manifestations caused by Africanized bee stings depend on the sensitivity of the victim and the toxicity of the venom. Previous studies in our laboratory have demonstrated cardiac changes and acute tubular necrosis (ATN) in the kidney of rats inoculated with Africanized bee venom (ABV). The aim of the present study was to evaluate the changes in mean arterial pressure (MAP) and heart rate (HR) over a period of 24 h after intravenous injection of ABV in awake rats. A significant reduction in basal HR as well as in basal MAP occurred immediately after ABV injection in the experimental animals. HR was back to basal level 2 min after ABV injection and remained normal during the time course of the experiment, while MAP returned to basal level 10 min later and remained at this level for the next 5 h. However, MAP presented again a significant reduction by the 7th and 8th h and returned to the basal level by the 24th h. The fall in MAP may contribute to the pathogenesis of ATN observed. The fall in MAP probably is due to several factors, in addition to the cardiac changes already demonstrated, it is possible that the components of the venom themselves or even substances released in the organism play some role in vascular beds.

Traumatic Clivus Epidural Hematoma: Case Report and Review of the Literature

BACKGROUND: Traumatic clival epidural hematoma is an extremely rare reported entity. CASE DESCRIPTION: We describe the case of a 26-year-old woman involved in a car accident who presented with a Glasgow Coma Scale score of 13, bilateral abducens palsy, bilateral numbness on the mandibular territory of the trigeminal nerve, and left hypoglossal palsy. Radiological examinations revealed a clival epidural hematoma. The patient was managed conservatively, with clinical improvement of her neurological condition. This is the first traumatic clival epidural hematoma reported in an adult. From a review of the literature, we found only 8 cases. CONCLUSION: The pathophysiology of these hematomas is still a subject of debate; occipitoatlantoaxial ligamentous instability may play a role in it. In one third of the cases, bilateral cranial nerve palsies were associated. Apparently, they have a benign outcome.

Colocação de Catéter Epidural pelo Neurocirurgião às 2h de Instrumentação Lombar sob Bloqueio Sub-Aracnoideu

Doente 69 anos, sexo masculino com patologia respiratória restritiva e com o diagnóstico de hérnia discal lombar L3-L4 recidivada submetido a laminectomia bilateral de L3, foraminectomia bilateral de L3-L4, discectomia L3-L4 e artrodese com sistema transpedicular de barras e parafusos, sob bloqueio subaracnoideu ao nível de L2-L3 com 10 mg de levobupivacaína e sedação com midazolam e propofol em bólus (grau 4/5 de Ramsay). Ao fim de 2:15 h de bloqueio subaracnoideu e de conseguida a artrodese, o neurocirurgião colocou um cateter no espaço epidural a nível lombar sob visão directa, por intermédio do qual foram administrados 7 ml de levobupivacaína a 0,25%, acrescido de outros 7 ml passados 35 min. A analgesia foi complementada com tramadol 100 mg iv e parecoxib 40 mg iv. Não houve complicações anestésico-cirúrgicas. Esta abordagem anestésica, raramente utilizada, visou acima de tudo, minimizar o impacto da anestesia numa doença concomitante – doença pulmonar restritiva, e foi bem sucedida.

Bloqueio Epidural Torácico em Cirurgia de Nuss: Caso de Sucesso

Os autores descrevem o caso c1ínico de um adolescente com o diagnóstico de pectus excavatum grave, submetido a cirurgia de Nuss sob controlo toracoscópico. Realizou-se anestesia combinada, com cateter epidural torácico que permitiu um periodo intra e pós-operatório estável, sem intercorrências e sem necessidade de suplementação analgésica.

Effects of Local Anesthetic on the Time Between Analgesic Boluses and the Duration of Labor in Patient-Controlled Epidural Analgesia: Prospective Study of Two Ultra-Low Dose Regimens of Ropivacaine and Sufentanil

BACKGROUND: Patient-controlled epidural analgesia with low concentrations of anesthetics is effective in reducing labor pain. The aim of this study was to assess and compare two ultra-low dose regimens of ropivacaine and sufentanil (0.1% ropivacaine plus 0.5 μg.ml-1 sufentanil vs. 0.06% ropivacaine plus 0.5 μg.ml-1 sufentanil) on the intervals between boluses and the duration of labor. MATERIAL AND METHODS: In this non-randomized prospective study, conducted between January and July 2010, two groups of parturients received patient-controlled epidural analgesia: Group I (n = 58; 1 mg.ml-1 ropivacaine + 0.5 μg.ml-1 sufentanil) and Group II (n = 57; 0.6 mg.ml-1 ropivacaine + 0.5 μg.ml-1 sufentanil). Rescue doses of ropivacaine at the concentration of the assigned group without sufentanil were administered as necessary. Pain, local anesthetic requirements, neuraxial blockade characteristics, labor and neonatal outcomes, and maternal satisfaction were recorded. RESULTS: The ropivacaine dose was greater in Group I (9.5 [7.7-12.7] mg.h-1 vs. 6.1 [5.1-9.8 mg.h-1], p < 0.001). A time increase between each bolus was observed in Group I (beta = 32.61 min, 95% CI [25.39; 39.82], p < 0.001), whereas a time decrease was observed in Group II (beta = -1.40 min, 95% CI [-2.44; -0.36], p = 0.009). The duration of the second stage of labor in Group I was significantly longer than that in Group II (78 min vs. 65 min, p < 0.001). CONCLUSIONS: Parturients receiving 0.06% ropivacaine exhibited less evidence of cumulative effects and exhibited faster second stage progression than those who received 0.1% ropivacaine.

Thermo-hydro-mechanical analysis of CO2 injection into deep aquifers

One of the biggest challenges for humanity is global warming and consequently, climate changes. Even though there has been increasing public awareness and investments from numerous countries concerning renewable energies, fossil fuels are and will continue to be in the near future, the main source of energy. Carbon capture and storage (CCS) is believed to be a serious measure to mitigate CO2 concentration. CCS briefly consists of capturing CO2 from the atmosphere or stationary emission sources and transporting and storing it via mineral carbonation, in oceans or geological media. The latter is referred to as carbon capture and geological storage (CCGS) and is considered to be the most promising of all solutions. Generally it consists of a storage (e.g. depleted oil reservoirs and deep saline aquifers) and sealing (commonly termed caprock in the oil industry) formations. The present study concerns the injection of CO2 into deep aquifers and regardless injection conditions, temperature gradients between carbon dioxide and the storage formation are likely to occur. Should the CO2 temperature be lower than the storage formation, a contractive behaviour of the reservoir and caprock is expected. The latter can result in the opening of new paths or re-opening of fractures, favouring leakage and compromising the CCGS project. During CO2 injection, coupled thermo-hydro-mechanical phenomena occur, which due to their complexity, hamper the assessment of each relative influence. For this purpose, several analyses were carried out in order to evaluate their influences but focusing on the thermal contractive behaviour. It was finally concluded that depending on mechanical and thermal properties of the pair aquifer-seal, the sealing caprock can undergo significant decreases in effective stress.

Vascular lesions of the lumbar epidural space: magnetic resonance imaging features of epidural cavernous hemangioma and epidural hematoma

The authors report the magnetic resonance imaging diagnostic features in two cases with respectively lumbar epidural hematoma and cavernous hemangioma of the lumbar epidural space. Enhanced MRI T1-weighted scans show a hyperintense signal rim surrounding the vascular lesion. Non-enhanced T2-weighted scans showed hyperintense signal.

Sperm tail flexibility test: a simple test for selecting viable spermatozoa for intracytoplasmic sperm injection from semen samples without motile spermatozoa

PURPOSE: The objective was to describe the results of the injection of immotile spermatozoa with flexible tails when only immotile spermatozoa are present in the semen sample. METHODS: A retrospective study was conducted to analyze the procedure results for 10 couples who participated in our intracytoplasmic sperm injection program. The sperm tail was considered flexible when it moved up and down independently of the head movement, and it was considered inflexible when the movement occurred together (tail plus head). The fertilization and pregnancy rate were analyzed. RESULTS: The normal fertilization rate (presence of 2 pronuclei) was 30.3% (40/132), and the abnormal fertilization rate (presence of less than or more than 2 pronuclei) was 6.81% (9/132). A total of 52 embryos were obtained with 9 transfer procedures performed (pregnancy rate: 11.12%). CONCLUSIONS: The sperm tail flexibility test (STFT) is an easy and cost-effective way for selecting viable immotile spermatozoa and can be used as an alternative method for determining the viability of spermatozoa. This test seems to be a simple and risk-free method when compared to the swelling test.